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


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

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

Содержание

Васильев А.А, Мутилин В.С. Анализ корректности работы с памятью с использованием расширения теории символьных графов памяти предикатами над символьными значениями Стр. 7-20.

Герасимов А.Ю., Куц Д.О., Новиков А.А. Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Стр. 21-32.

Бугеря А.Б., Ефимов В.Ю., Кулагин И.И., Падарян В.А., Соловьев М.А., А.Ю. Тихонов. Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода. Стр. 33-64.

Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А. Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Стр. 65-88.

Иванов Г.С., Пальчиков П.М., Тарасов А.Ю., Акимов Г.С., Асланян А.К., Варданян В.Г., Арутюнян А.С., Керопян Г.С. Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Стр. 89-98.

Вишняков А.В., Нурмухаметов А.Р. Обзор методов автоматизированной генерации эксплойтов повторного использования кода Стр. 99-124.

Грушин Д.А., Лазарев Д.О., Фомин С.А. Кэширование данных в мультиконтейнерных системах Стр. 125-144.

Шокуров А.В., Абрамова И.В., Варновский Н.П., Захаров В.А. О возможности стойкой обфускации программ в одной модели облачных вычислений Стр. 145-162.

Иванов А.В., Стрижак С.В., Захаров М. И. Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси Стр. 163-176.

Кошелев К.Б., Стрижак С.В. Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке Стр. 177-186.

Муха Т.Д. Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Стр. 187-194.

Овчинников К.Д. Анализ полного сопротивления корпуса судна на различных скоростях хода Стр. 195-202.

Али Рами, Тряскин Н.В. Численное изучение влияния начальных турбулентных параметров на переходный режим над плоским крылом. Стр. 203-214.

Михайлов Е.А., Сибгатуллин И.Н. Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик Стр. 215-224.

Малиновская Е.А. Исследование условий возникновения эолова микрорельефа Стр. 225-236.

Хохлов Н.И., Петров. И.Б. Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах Стр. 237-252.

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