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


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

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

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


Содержание

А.Р. Топчян Извлечение и анализ информации в современных предприятиях Стр. 7-28.

А.Р. Топчян Масштабируемые учебно-экспериментальные среды для современных предприятий Стр. 29-40.

М.С. Лебедев, С.А. Смолов Генерация функциональных тестов для HDL-описаний на основе проверки моделей Стр. 41-56.

В.C. Буренков, А.C. Камкин Проверка параметризованных Promela-моделей протоколов когерентности памяти Стр. 57-76.

А.Д. Татарников Язык описания шаблонов для генерации тестовых программ для микропроцессоров Стр. 77-98.

А.С. Камкин, А.М. Коцыняк Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификации Стр. 99-114.

В.О. Ермакова, И.А. Ломазова Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Стр. 115-136.

А.Н. Федотов Метод оценки эксплуатируемости программных дефектов Стр. 137-148.

И.А. Дудина, В.К. Кошелев, А.Е. Бородин Поиск ошибок доступа к буферу в программах на языке C/C++ Стр. 149-168.

А.В. Монаков, В.А. Иванишин Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Стр. 169-182

В.Н. Юдин, Л.Е. Карпов Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Стр. 183-192.

Р. И. Гуральник Некоторые задачи на графовых базах данных Стр. 193-216.

Е.Ю. Шарыгин, Р.А. Бучацкий, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Стр. 217-240.

К.А. Казаков, В.А. Семенов Обзор современных методов планирования движения Стр. 241-294.

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