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


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

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

Содержание

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

М.С. Акопян. Расширение модели ParJava для случая кластеров с многоядерными узлами. Стр. 13-32.

Алексей Меркулов, Андрей Белеванцев. Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL. Стр. 33-48.

М.Г. Бакулин, С.С. Гайсарян, Ш.Ф. Курмангалеев, И.Н. Ледовских, В.А. Падарян, С.М. Щевьева. Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода. Стр. 49-66.

Ш.Ф. Курмангалеев, В.П. Корчагин, Р.А. Матевосян. Описание подхода к разработке обфусцирующего компилятора. Стр. 67-76.

Ш.Ф. Курмангалеев, В.П. Корчагин, В.В. Савченко, С.С. Саргсян. Построение обфусцирующего компилятора на основе инфраструктуры LLVM. Стр. 77-92.

А.Г. Назаров, М.А. Климушенкова, П.М. Довгалюк, В.А. Макаров. Повышение уровня представления трасс выполнения программ. Стр. 93-106.

Н.Л. Луговской. Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight. Стр. 107-132.

В.О. Савицкий, Д.В. Сидоров. «Ленивый» анализ исходного кода на языках С и С++. Стр. 133-142.

П.А. Клеменков, С.Д. Кузнецов. Большие данные: современные подходы к хранению и обработке. Стр. 143-158.

Андрей Посконин. Web-приложения и данные: проблемы абстракции и масштабируемости. Стр. 159-172.

С.Д. Кузнецов, А.А. Прохоров. Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями. Стр. 173-194.

Н.А. Мендкович., С.Д. Кузнецов. Обзор развития методов лексической оптимизации запросов. Стр. 195-214.

Антон Коршунов, Андрей Гомзин. Тематическое моделирование текстов на естественном языке. Стр. 215-244.

А.В. Кошкарев, А.А. Медведев, Ю.С. Вишняков, С.А. Поликарпов, А.Н. Сотников. Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных. Стр. 245-256.

А.А. Алексеев, Н.В. Лукашевич. Комбинирование признаков для извлечения тематических цепочек в новостном кластере. Стр. 257-276.

Кузнецов Константин. Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data. Стр. 277-284.

А.Ю. Пигуль. Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce. Стр. 285-306.

Е.A. Иванникова. Обнаружение периодических наборов событий во временных базах данных. Стр. 307-322.

Игорь Бурдонов, Александр Косачев. Зависимости между ошибками на класах тестируемых реализаций. Стр. 323-358.

В.В. Кулямин. Комбинаторная генерация программных конфигураций ОС. Стр. 359-370.

Е.М. Новиков, А.В. Хорошилов. Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ. Стр. 371-386.

А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности TLS. Стр. 387-404.

Д. Бейер, А.К. Петренко. Верификация драйверов операционной системы Linux. Стр. 405-412.

А.В. Цыварев, В.А. Мартиросян. Тестирование драйверов файловых систем в ОС Linux. Стр. 413-426.

А.В. Шокуров, К.В. Сергеев. Об одном методе построения схемы полного гомоморфного шифрования. Стр. 427-432.

Д.А. Грушин, Н.Н. Кузюрин. Энергоэффективные вычисления для группы кластеров. Стр. 433-446.

С.Н. Жук. О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью. Стр. 447-454.

Т.А. Новикова, В.А.Захаров. Унификация программ. Стр. 455-476.

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