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


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

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

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


Содержание

Козачок А.В., Кочетков Е.В. Подход к реализации системы верифицированного исполнения программного кода Стр. 7-24.

Захаров И.С., Новиков Е.М. Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Стр. 25-48.

Ефремов Д.В, Мандрыкин М.У. Формальная верификация библиотечных функций ядра Linux Стр. 49-76.

Ефимов В.Ю., Беззубиков А.А., Богомолов Д.А., Горемыкин, О.В., Падарян В.А. Автоматизация разработки моделей устройств и вычислительных машин для QEMU Стр. 77-104.

Михайлов А.А., Хмельнов А.Е. Декомпиляция объектных файлов DCUIL Стр. 105-116.

Якимов И.А., Кузнецов А.С. Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Стр. 117-134.

Когтенков А.В. Эталонные тесты безопасности нулевых ссылок при инициализации объекта Стр. 135-150.

Федотов А.Н., Каушан В.В., Гайсарян С.С., Курмангалеев Ш.Ф. Построение предикатов безопасности для некоторых типов программных дефектов Стр. 151-162.

Нурмухаметов А.Р., Жаботинский Е.А., Курмангалеев Ш.Ф., Гайсарян С.С., Вишняков А.В. Мелкогранулярная рандомизация адресного пространства программы при запуске Стр. 163-182.

Зеленова С.А., Зеленов С.В. Критерий существования бесконфликтного расписания для системы строго периодических задач Стр. 183-202.

Аксенова Е.Л., Швецова В.В, Борисенко О.Д., Богомолов И.В. Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack Стр. 203-212.

Кузюрин Н.Н., Лазарев Д.О. Исследование максимального размера плотного подграфа случайного графа Стр. 213-220.

Лазарев Д.О., Кузюрин Н.Н. Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Стр. 221-228.

Грушин Д.А., Кузюрин Н.Н. Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах Стр. 229-244.

Никитин М.Н. Моделирование смешанной конвекции над горизонтальной пластиной Стр. 245-252.

Лукашин П.С., Мельникова В.Г., Стрижак С.В., Щеглов Г.А. Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Стр. 253-270.

Котеров В.Н., Кривцов В.М., Зубов В.И. Программный пакет для расчета аэродинамических характеристик летательных аппаратов Стр. 271-288.

Теллез-Альварез Дж., Гомез М., Руссо Б. Технология обработки изображений для гидравлических приложений Стр. 289-298.

Ряховский А.И., Шмидт А.А., Антонов В.И. Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Стр. 299-310.

Санчес-Кордеро Э., Гомез М., Блейд Э. Трехмерный численный анализ прорыва плотины с использованием OpenFOAM Стр. 311-320.

Авдеев Е.В., Волкова К.А., Овчинников В.А. Моделирование смазочной системы главной передачи Стр. 321-330.

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