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


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

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

Содержание

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

А.И. Аветисян. Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения. Стр. 11-18.

А.И. Аветисян. Планирование команд и конвейеризация циклов на современных архитектурах. Стр. 19-32.

Р. Жуйков, Д. Мельник, Р. Бучацкий. Программная конвейеризация циклов на платформе ARM. Стр. 33-48.

Р. Жуйков, Д. Плотников, М. Варданян. Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM. Стр. 49-66.

К. Батузов. Задача локального распределения регистров во время динамической двоичной трансляции. Стр. 67-76.

К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян. Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU. Стр. 77-94.

А.И. Аветисян, А.И. Гетьман. Восстановление структуры бинарных данных по трассам программ. Стр. 95-118.

В.О. Савицкий, Д.В. Сидоров. Инкрементальный анализ исходного кода на языках C/C++. Стр. 119-130.

А.Ю.Тихонов, А.И. Аветисян. Комбинированный (статический и динамический) анализ бинарного кода. Стр. 131-152.

И.Н. Ледовских, М.Г. Бакулин. Подход к восстановлению потока управления запутанной программы. Стр. 153-168.

В.Н. Игнатьев. Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования. Стр. 169-188.

А.О. Кудрявцев, В.К. Кошелев, А.И. Аветисян. Перспективы виртуализации высокопроизводительных систем архитектуры x64. Стр. 189-210.

А. Белеванцев, А. Меркулов, В. Платонов. Использование стандарта OpenCL для программирования ПЛИС. Стр. 211-222.

А.В. Монаков. Оптимизация расчётов в пакете OpenFOAM на GPU. Стр. 223-232.

И. Бурдонов, А. Косачев. Финальные модели спецификации. Стр. 233-280.

С. П. Вартанов, Д.В. Сидоров. Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Стр. 281-292.

М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов. Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux. Стр. 293-326.

В.С. Мутилин., М.У. Мандрыкин. Интерполяция формул с кванторами в CSIsat на основе инстанцирования. Стр. 327-348.

В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов. Анализ типовых ошибок в драйверах операционной системы Linux. Стр. 349-374.

А. Третьяков. Автоматизация построения расписаний для периодических систем реального времени. Стр. 375-400.

А.Г. Гомзин, А.В. Коршунов. Системы рекомендаций: обзор современных подходов. Стр. 401-418.

М.М. Берновский, Н.Н. Кузюрин. Случайные графы, модели и генераторы безмасштабных графов. Стр. 419-434.

В.А.Захаров, Т.А. Новикова. Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ. Стр.435-455.

М.А. Трушников. Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу. Стр. 456-462.

А.В. Шокуров. Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала. Стр. 463-474.

Я.А. Хетагуров. О построении аппроксимирующих функций характеристик малого числа систем. Стр. 475-492.

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