|
Автоматизированное тестирование фронтенда транслятора TCG для Qemu
Д. С. Колтунов, В. Ю. Ефимов, В. А. Падарян
|
7–24 |
|
|
Интроспекция конфигурации периферийных устройств эмулятора QEMU
Н. И. Фурсова, П. М. Довгалюк
|
25–36 |
|
|
Автоматическое доказательство корректности программ с динамической памятью
Ю. О. Костюков, К. А. Батоев, Д. А. Мордвинов, М. П. Костицын, А. В. Мисонижник
|
37–62 |
|
|
Компиляция модели памяти OCaml в Power
Е. С. Намаконов, А. В. Подкопаев
|
63–78 |
|
|
Improving fuzzing performance by applying interval mutations
S. S. Sargsyan, J. A. Hakobyan, H. M. Movsisyan, M. S. Mehrabyan, V. T. Sirunyan, Sh. F. Kurmangaleev
|
78–88 |
|
|
Разработка языка: OOP or not OOP or better OOP
А. Е. Недоря
|
89–94 |
|
|
Методы оценки надежности программных и технических систем
Е. М. Лаврищева, С. В. Зеленов, Н. В. Пакулин
|
95–108 |
|
|
DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей
А. Хан
|
109–126 |
|
|
Cross-lingual similar document retrieval methods
D. V. Zubarev, I. V. Sochenkov
|
127–136 |
|
|
Methods for news items popularity estimation on early stages
A. A. Avetisyan, M. D. Drobyshevskiy, D. Yu. Turdakov
|
137–144 |
|
|
Проактивная разметка примеров для адаптации к домену
М. А. Рындин, Д. Ю. Турдаков
|
145–152 |
|
|
Применение i-векторов для автоматизированного определения уровня близости языков
А. У. Берзинь
|
153–164 |
|
|
Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов»
А. В. Самонов
|
165–182 |
|
|
Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid
Е. Е. Ивашко, В. С. Литовченко
|
183–190 |
|
|
Machine learning use cases in cybersecurity
S. M. Avdoshin, A. V. Lazarenko, N. I. Chichileva, P. A. Naumov, P. G. Klyucharev
|
191–202 |
|
|
Анализ корректности синхронизации компонентов ядра операционных систем
П. С. Андрианов
|
203–232 |
|
|
Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов
С. А. Абрамов, Д. Е. Хмельнов, А. А. Рябенко
|
233–247 |
Обратная связь: