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


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

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

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


Содержание

М.С. Акопян Использование многопоточных процессов в среде ParJava Стр. 5-22.

М. К. Ермаков, С. П. Вартанов Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Стр. 23-38.

М.К. Ермаков, С.П. Вартанов Поиск состояний гонки в программах на языке Java при помощи динамического анализа Стр. 39-52.

А.А. Белеванцев, Е.А. Велесевич Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Стр. 53-64.

В.Ю.Ефимов, К.А. Батузов, В.А.Падарян Об особенностях детерминированного воспроизведения при минимальном наборе устройств Стр. 65-92.

Севак Саргсян Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Стр. 93-104.

В.В. Каушан, А.Ю. Мамонтов, В.А. Падарян, А.Н. Федотов Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Стр. 105-126.

М.А. Климушенкова, П.М. Довгалюк Методы повышения производительности обратной отладки Стр. 127-144.

А.В.Никешин, Н.В.Пакулин, В.З. Шнитман Тестирование реализаций клиента протокола TLS Стр. 145-160.

Р.И. Подловченко Конечные автоматы в теории алгебраических схем программ Стр. 161-172.

А. Э. Молчанов Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Стр. 173-188.

Игорь Бурдонов, Александр Косачев Параллельные вычисления на динамически меняющемся графе Стр. 189-220.

В.А.Захаров Моделирование и анализ поведения последовательных реагирующих программ Стр. 221-250.

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