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


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

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

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


Содержание

М.К. Ермаков, С.П. Вартанов Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Стр. 5-24.

С.П. Вартанов, М.К. Ермаков Применение статической инструментации байт-кода языка Java для динамического анализа программ Стр. 25-38.

Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Стр. 39-50.

Игорь Бурдонов, Александр Косачев Обход неизвестного графа коллективом автоматов. Недетерминированный случай Стр. 51-68.

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

С.А. Смолов Обзор методов извлечения моделей из HDL-описаний Стр. 97-124.

Е.М. Лаврищева, Л.Е. Карпов, А.Н. Томилин Сервисные средства интернет для решения бизнес-задач Стр. 125-150.

В.Ю. Королёв, А.Ю. Корчагин, И.В. Машечкин, М.И. Петровский, Д.В. Царёв Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Стр. 151-172.

С.Д. Кузнецов Объектные модели ODMG и SQL десять лет спустя: нет противоречий Стр. 173-192.

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