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


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

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

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


Содержание

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

Д. А. Максименков Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Стр. 7-20.

Дмитрий Бочарников Подходы к оптимизации движка JavaScript V8 Стр. 21-32.

Варданян В.Г., Иванишин В.А., Асрян С.А., Хачатрян A.А., Акопян Дж.А. Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Стр. 33-48.

О.А. Четверина Методы коррекции профильной информации в процессе компиляции Стр. 49-66.

Жуйков Р.А., Шарыгин Е.Ю. Методы предварительной оптимизации программ на языке JavaScript Стр. 67-86.

Пальчевский Е.В., Халиков А.Р Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Стр. 87-96.

Долгорукова К.Ю. Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM Стр. 97-110.

А.Е. Бородин, А.А. Белеванцев. Статический анализатор Svace как коллекция анализаторов разных уровней сложности Стр. 111-134.

Кулагин И.И., Курносов М.Г. Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Стр. 135-150.

Е.А. Карпулевич Использование различных представлений java-программ для статического анализа Стр. 151-158.

Фурсова Н.И., Довгалюк П.М., Васильев И.А Использование ABI для интроспекции виртуальных машин Стр. 159-168.

Канатов А.В., Зуев Е.А Концепция наследования в современных языках программирования Стр. 169-188.

Волконский В.Ю., Нейман-заде М.И., Ермолицкий А.В., Маркин А.Л., Четверина О.А. Агрессивная инлайн-подстановка функций для VLIW-архитектур Стр. 189-198.

Г.Р. Гарай, А. Черных, А.Ю. Дроздов Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Стр. 199-224.

Тормасов А.Г., Лысов А.А., Мазур Э.М. Распределенные системы хранения данных: анализ, классификация и выбор Стр. 225-252.

Иваничкина Л. В., Непорада А.П. Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Стр. 253-274.

Г.И. Радченко Модель проблемно-ориентированной облачной вычислительной среды Стр. 275-284.

Скатков А.В., Шевченко В.И. Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований Стр. 285-306.

А.С. Чадин Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков Стр. 307-314.

Герасимов С.В., Колосов И.Ю., Глотов Е.С., Попов И.С., Мещеряков А.В Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce Стр. 315-334.

Панкратов А.Н., Тетуев Р.К., Пятков М.И., Тойгильдин В.П., Попова Н.Н. Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Стр. 335-344.

Балашов Н. А., Баранов А. В., Кореньков, В.В. Кутовский Н.А., Нечаевский А.В., Семенов Р.Н. Облачный сервис ОИЯИ: статус и перспективы Стр. 345-354.

Ф. Армента-Кано, А. Черных, Х.М. Кортес-Мендоза, Р. Яхьяпур, А.Ю. Дроздов, П. Буври, Д. Клязович, А. Аветисян, С. Несмачнов Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний Стр. 355-380.

А.В. Трепачева Дерандомизационная криптостойкость гомоморфного шифрования Стр. 381-394.

Матвеев Ю. Н., Стукалова Н.А Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Стр. 395-408.

С.В. Поляков, А.В. Выродов, Д.В. Пузырьков, М.В. Якобовский Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах Стр. 409-420.

А.Н. Ермаков, С.В. Клименко, А.А. Меркулов, С.А.Панфилов, А.Н.Райков Облачный фреймворк для интеграции сетевых экспертных и аналитических средств Стр. 421-440.

Н.Г. Кушик Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Стр. 441-450.

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