Том 9


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

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

Содержание

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

А. Белеванцев, М. Кувырков, Д. Мельник. Использование параллелизма на уровне команд в компиляторе для Intel Itanium. Стр. 9-22.

П.М. Довгалюк. Разреженная модель базовых блоков для оптимизации потоков команд. Стр. 23-28.

С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Стр. 29-42.

П.В. Бойко. Метод виртуального процессора в защите программного обеспечения. Стр. 43-50.

В.С. Несов, О.Р. Маликов. Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ. Стр. 51-56.

М.А. Владимиров. Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов. Стр. 57-66.

С.Г. Грошев. Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. Стр. 67-82.

А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генерация тестовых данных сложной структуры с учетом контекстных ограничений. Стр. 83-96.

В.С. Мутилин. Паттерны проектирования тестовых сценариев. Стр. 97-128.

С.В. Зеленов, Д.В. Силаков. Автоматическая генерация тестовых данных для оптимизаторов графических моделей. Стр. 129-142.

В.В. Рубанов, А.С. Михеев. Интегрированная среда описания системы команд встраиваемых процессоров. Стр. 143-158.

Ю. Фонин. Использование языков описания процессоров высокого уровня для генерации платформо-зависимых частей операционной системы. Стр. 159-170.

Е.Д. Волкова, А.Д. Страбыкин. Анализ и трансформации исполняемых UML моделей. Стр. 171-192.

А. Волков. Использование ролей в сценариях взаимодействия. Стр. 193-222.

Г.Т. Маракаева. Применение методов выявления закономерностей для классификации химических соединений. Стр. 223-236.

В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Формирование профессиональных компетенций современного разработчика ПО. Стр. 237-250.

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