4 т.28, 2016 - Труды Института системного программирования РАН

4 т.28, 2016 - Труды Института системного программирования РАН

Журнал: Труды Института системного программирования РАН @trudy-isp-ran

Бесплатный доступ

ID: 14915789 Короткий адрес: https://sciup.org/14915789

Содержание выпуска 4 т.28, 2016 Труды Института системного программирования РАН

Topchyan Artyom Information retrieval and analysis for a modern organization 7

Topchyan Artyom Scalable sandbox environments for a modern organization 29

Lebedev M.S., Smolov S.A. A model checking-based method of functional test generation for HDL descriptions 41

Burenkov V.S., Kamkin A.S. Checking parameterized Promela models of cache coherence protocols 57

Tatarnikov A.D. Language for describing templates for test program generation for microprocessors 77

Kamkin A.S., Kotsynyak A.M. Specification-based test program generation for MIPS64 memory management units 99

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

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

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

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

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

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

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

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

Выпуск журнала