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


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

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

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


Содержание

И.С. Захаров, М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.К. Петренко, А.В. Хорошилов. Конфигурируемая система статической верификации модулей ядра операционных систем. Стр. 5-42.

Игорь Бурдонов, Александр Косачев. Обход неизвестного графа коллективом автоматов. Стр. 43-86.

О.В. Горемыкин. Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов. Стр. 87-96.

В.К. Кошелев, А.О. Избышев, И.А. Дудина. Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM. Стр. 97-118.

П.М. Довгалюк, Ю.В. Маркин. Внесение неисправностей в программу с использованием детерминированного воспроизведения. Стр. 119-136.

Ю.Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К.Н. Чыонг Ван. Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС. Стр. 137-158.

Гонахчян В.И. Обзор методов упрощения полигональных моделей на графическом процессоре. Стр. 159-174.

Золотов. В.А., Семенов В.А. Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов. Стр. 175-196.

В.А. Семенов, С.В. Морозов, Д.В. Ильин. Комбинированный метод верификации масштабных моделей данных. Стр. 197-230.

Л.Е. Карпов, В.Н. Юдин. Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам. Стр. 231-244.

Т.А. Новикова, В.А.Захаров. Двусторонняя унификация программ и ее применение для задач рефакторинга. Стр. 245-268.

Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В. Методы пороговой криптографии для защиты облачных вычислений. Стр. 269-274.

Д.А. Носов. О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти. Стр. 275-296.

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