4 т.28, 2016 - Труды Института системного программирования РАН
Труды Института системного программирования РАН @trudy-isp-ran
Бесплатный доступ
ID: 14915789 Короткий адрес: https://sciup.org/14915789
Содержание выпуска 4 т.28, 2016 Труды Института системного программирования РАН
Lebedev M.S., Smolov S.A.
A model checking-based method of functional test generation for HDL descriptions
41
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
Дудина И.А., Кошелев В.К., Бородин А.Е.
Поиск ошибок доступа к буферу в программах на языке C/ C++
149
Монаков А.В., Иванишин В.А.
Поддержка стандарта OpenMP4.0 для архитектуры NVIDIA PTX в компиляторе GCC
169
Юдин В.Н., Карпов Л.Е.
Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению
183
Шарыгин Е.Ю., Бучацкий Р.А., Скворцов Л.В., Жуйков Р.А., Мельник Д.М.
Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL
217
