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


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

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

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


Содержание

В.П. Иванников. Предисловие. Стр. 7-8.

В.В. Кулямин, А.К. Петренко. Развитие подхода к разработке тестов UniTESK. Стр. 9-26.

И.Б. Бурдонов, А.С. Косачев. Развитие теории конформности: семантики, формальные модели, алгоритмы. Стр. 27-72.

Е.А. Герлиц, В.В. Кулямин, А.В. Максимов, А.К. Петренко, А.В. Хорошилов, А.В. Цыварев. Тестирование операционных систем. Стр. 73-108.

Н.В. Пакулин, В.З. Шнитман, А.В. Никешин. Автоматизация тестирования соответствия для телекоммуникационных протоколов. Стр. 109-148.

А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. Средства функциональной верификации микропроцессоров. Стр. 149-200.

Д.В. Буздалов, С.В. Зеленов, Е.В. Корныхин, А.К. Петренко, А.В. Страх, А.А. Угненко, А.В. Хорошилов. Инструментальные средства проектирования систем интегрированной модульной авионики. Стр. 201-230.

В.П. Иванников, А.А. Белеванцев, А.Е. Бородин, В.Н. Игнатьев, Д.М. Журихин, А.И. Аветисян, М.И. Леонов. Статический анализатор Svace для поиска дефектов в исходном коде программ. Стр. 231-250.

В.А. Падарян, А.И. Гетьман, М.А. Соловьев, М.Г. Бакулин, А.И. Борзилов, В.В. Каушан, И.Н. Ледовских, Ю.В. Маркин, С.С. Панасенко. Методы и программные средства, поддерживающие комбинированный анализ бинарного кода. Стр. 251-276.

П.М. Довгалюк, В.А. Макаров, В.А. Падарян, М.С. Романеев, Н.И. Фурсова. Применение программных эмуляторов в задачах анализа бинарного кода. Стр. 277-296.

Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин. Методы динамической и предварительной оптимизации программ на языке JavaScript. Стр. 297-314.

С.С. Гайсарян, Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, С.С. Саргсян. Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища. Стр. 315-326.

Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян. Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM. Стр. 327-342.

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

Александр Монаков, Евгений Велесевич, Владимир Платонов, Арутюн Аветисян. Инструменты анализа и разработки эффективного кода для параллельных архитектур. Стр. 357-374.

С.П. Вартанов, А.Ю. Герасимов. Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных. Стр. 375-394.

С.В. Сыромятников, И.Е. Бронштейн, Н.Л. Луговской. Рефакторинг в рамках программного проекта. Стр. 395-402.

О.И. Самоваров, С.С. Гайсарян. Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack. Стр. 403-420.

Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов. Texterra: инфраструктура для анализа текстов. Стр. 421-438.

Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов. Анализ социальных сетей: методы и приложения. Стр. 439-456.

В.А. Семенов, А.С. Аничкин, С.В. Морозов, О.А. Тарлапан, В.А. Золотов. Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений. Стр. 457-482.

Н.Н. Кузюрин, Д.А. Грушин, А. Фомин. Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах. Стр. 483-502.

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