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


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

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

Содержание

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

А.Ю.Тихонов, А.И. Аветисян. Развитие taint-анализа для решения задачи поиска программных закладок. Стр. 9-24.

Д.В. Силаков. Использование аппаратной виртуализации в контексте информационной безопасности. Стр. 25-36.

К. Батузов, А. Меркулов. Оптимизация динамической двоичной трансляции. Стр. 37-50.

С.В. Сыромятников. Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST. Стр. 51-68.

Л.В. Дворянский. О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри. Стр. 71-94.

В.В. Липаев. Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени. Стр. 95-110.

С.В. Зеленов. Планирование строго периодических задач в системах реального времени. Стр. 113-122.

Н.В. Пакулин, А.Н. Тугаенко. Тестирование протоколов электронной почты Интернета с использованием моделей. Стр. 125-141.

А.C. Камкин, М.M. Чупилко. Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции. Стр. 143-160.

В.С. Мутилин, Е.М. Новиков, А.В. Страх, А.В. Хорошилов, П.Е. Швед. Архитектура Linux Driver Verification. Стр. 163-187.

С.Д. Кузнецов. Транзакционные параллельные СУБД: новая волна. Стр. 189-251.

Е.А. Костычев, В.А. Омельченко, С.В. Зеленов. Нацеленная генерация данных для тестирования приложений над базами данных. Стр. 253-268.

А.В. Коршунов. Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии. Стр. 269-282.

И.С. Таранов. Использование префиксного дерева для хранения и поиска строк во внешней памяти. Стр. 283-296.

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