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


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

Под редакцией академика РАН В.П. Иванникова

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


Содержание

А.С. Аничкин, В.А. Семенов. Современные модели и методы теории расписаний. Стр. 5-50.

М.П. Галанин, М.М. Горбунов-Посадов, А.В. Ермаков, В.В. Лукин, А.С. Родин, К.Л. Шаповалов. Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования. Стр. 51-68.

К.Ю. Долгорукова. Обзор масштабируемых систем межмодульных оптимизаций. Стр. 69-90.

А.В. Монаков, В.А. Платонов. Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA. Стр. 91-102.

А.Е. Бородин. Статический поиск ошибок повторной блокировки семафора. Стр. 103-112.

А.Р.Нурмухаметов. Ш.Ф. Курмангалеев, В.В. Каушан, С.С. Гайсарян. Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения. Стр. 113-126.

В.А. Падарян, В.В. Каушан, А.Н. Федотов. Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке. Стр. 127-144.

В.В. Подымов, В.А.Захаров. Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами. Стр. 145-166.

Н.П. Варновский, В.А.Захаров, Н.Н. Кузюрин, А.В. Шокуров. Современное состояние исследований в области обфускации программ: определения стойкости обфускации. Стр. 167-198.

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