Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 31, выпуск 5, 2019, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией члена-корреспондента РАН А.И. Аветисяна

Скачать полный выпуск
PDF


Содержание

Колтунов Д.С., Ефимов В.Ю., Падарян В.А. Автоматизированное тестирование фронтенда транслятора TCG для Qemu Стр. 7-24.

Фурсова Н.И., Довгалюк П.М. Интроспекция конфигурации периферийных устройств эмулятора QEMU Стр. 25-36.

Костюков Ю.О., Батоев К.А., Мордвинов Д.А., Костицын М.П., Мисонижник А.В. Автоматическое доказательство корректности программ с динамической памятью Стр. 37-62.

Намаконов Е.С., Подкопаев А.В. Компиляция модели памяти OCaml в Power Стр. 63-78.

Саргсян С.С. Акопян Дж.А., Мовсисян О.М., Меграбян М.С., Сирунян В.Т., Курмангалеев Ш.Ф. Повышение эффективности фаззинга с помощью интервальных мутаций Стр. 79-88.

Недоря А.Е. Разработка языка: OOP or not OOP or better OOP Стр. 89-94.

Лаврищева Е.М., Зеленов С.В., Пакулин Н.В. Методы оценки надежности программных и технических систем Стр. 95-108.

Хан А. DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Стр. 109-126.

Зубарев Д.В., Соченков И.В. Методы кросс-языкового поиска похожих документов Стр. 127-136.

Аветисян А.А., Дробышевский М.Д., Турдаков Д.Ю. Методы оценки популярности новостных материалов на ранних стадиях Стр. 137-144.

Рындин М.А., Турдаков Д.Ю. Проактивная разметка примеров для адаптации к домену Стр. 145-152.

Берзинь А.У. Применение i-векторов для автоматизированного определения уровня близости языков Стр. 153-164.

Самонов А.В. Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Стр. 165-182.

Ивашко Е.Е., Литовченко В.С. Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid Стр. 183-190.

Авдошин С.М., Лазаренко А.В., Чичилева Н.И., Наумов П.А., Ключарев П.Г. Примеры использования машинного обучения в кибербезопасности Стр. 191-202.

Андрианов П.С. Анализ корректности синхронизации компонентов ядра операционных систем Стр. 203-232.

Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов Стр. 233-248.

Вернуться к списку всех томов