20 Years of Experience in Organizing and Holding of Programming Competitions at the Novosibirsk State University

Churina, T. & Nesterenko, T., 6 окт. 2020, Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020. Tomilin, A. N. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 139-144 6 стр. 9464935. (Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

An ontology-based approach to support formal verification of concurrent systems

Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Compact Interface Method Table Layout

Trepakov, I. & Pavlov, P., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 62-68 7 стр. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Evaluation of thread-local garbage collection

Filatov, A. & Mikheev, V., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 15-21 7 стр. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование