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


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

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

Содержание

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

Андрей Белеванцев, Алексей Кравец, Александр Монаков. Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели. Стр. 5-22.

Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов. Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ. Стр. 23-38.

Арутюн Аветисян, Алексей Бородин. Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок. Стр. 39-54.

И.К. Исаев, Д.В. Сидоров, А.Ю. Герасимов, М.К. Ермаков. Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах, использующих сетевые сокеты. Стр. 55-70.

А.И. Аветисян, К. Ю. Долгорукова; Ш. Ф. Курмангалеев. Динамическое профилирование программы для системы LLVM. Стр. 71-82.

А.И. Аветисян, М.С. Акопян, С.С. Гайсарян. Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava. Стр. 83-102.

Дмитрий Мельник, Александр Монаков, Арутюн Аветисян. Поддержка команд с условным выполнением в селективном планировщике команд. Стр. 103-118.

М.А. Климушенкова, В.А. Макаров. Метод автоматического восстановления переменных из трассы исполнения программы. Стр. 119-122.

Павел Довгалюк. Детерминированное воспроизведение процесса выполнения программ в виртуальной машине. Стр. 123-132.

П.А. Клеменков. Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов. Стр. 133-140.

В.А. Захаров, Т.А. Новикова. Применение алгебры подстановок для унификации программ. Стр. 141-166.

В.В. Липаев. Риски проектирования и производства мобильных программных продуктов. Стр. 167-182.

И.В. Блудов. Решение проблемы NULL в запросах к реляционной базе данных на основе использования операторов реляционной алгебры A. Стр. 183-204.

А. Эльдарханов. Обзор моделей данных объектно-ориентированных СУБД. Стр. 205-226.

Д.Н. Василик. Оценка производительности протокола Snapshot Isolation. Стр. 227-244.

К.К. Смирнов, Г.А. Чернышев. Экспериментальное исследование параллельного исполнения SQL запросов. Стр. 245-262.

Р.М. Миниахметов. Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL. Стр. 263-276.

А.С. Павлов, Б.В. Добров. Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов. Стр. 277-296.

Никита Астраханцев. Извлечение объектов и их атрибутов из таблиц текстовых документов. Стр. 297-310.

С.О. Бартунов, А.А. Болдаков, Д.Ю. Турдаков. WikifyMe: создание модели сравнения для викификаторов. Стр. 311-322.

А.В. Коршунов, Д.Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун. Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий. Стр. 323-348.

Мартин Давтян. Эвристическое моделирование данных в информационных системах. Стр. 349-356.

К.С. Пан. Разработка параллельной СУБД на основе PostgreSQL. Стр. 357-370.

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