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


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

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

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


Содержание

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

А.О. Кудрявцев, В.К. Кошелев, А.О. Избышев, И.А. Дудина, Ш.Ф. Курмангалеев, А.И. Аветисян, В.П. Иванников, В.Е. Велихов, Е.А. Рябинкин. Разработка и реализация облачной системы для решения высокопроизводительных задач. Стр. 13-34.

И.А. Дудина, А.О. Кудрявцев, С.С. Гайсарян. Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях. Стр. 35-48.

М.С. Акопян, Н.Е. Андреев. Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях. Стр. 49-70.

И.К. Марчевский, В.В. Пузикова. Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM. Стр. 71-86.

Я.В. Загуменный, Ю.Д. Чашечкин. Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB. Стр. 87-106.

Ю.А. Румянцев. Прямая передача данных между ПЛИС Virtex-7 по шине PCI Express. Стр. 107-126.

Ш.Ф. Курмангалеев. Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования. Стр. 127-144.

Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, А.Р. Нурмухаметов, Р.А. Матевосян, В.П. Корчагин. О методах деобфускации программ. Стр. 145-160.

И.Е. Бронштейн. Вывод типов для языка Python. Стр. 161-190.

В.П. Иванников, С.П. Вартанов, М.К. Ермаков. Автоматический поиск ошибок синхронизации в приложениях на платформе Android. Стр. 191-206.

В.П. Иванников, А.К. Петренко, В.В. Кулямин, А.В. Максимов. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. Стр. 207-218.

М.У. Мандрыкин, В.С. Мутилин, А.В. Хорошилов. Введение в метод CEGAR — уточнение абстракции по контрпримерам. Стр. 219-292.

Е.М. Новиков. Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux. Стр. 293-316.

Владимир Федотов. Автоматизация регрессионного тестирования при помощи анализа трасс событий. Стр. 317-326.

С.Д. Кузнецов, А.В. Посконин. Распределенные горизонтально масштабируемые решения для управления данными. Стр. 327-358.

С.В. Герасимов, Р.В. Курынин, И.В. Машечкин, М.И. Петровский, Д.В. Царёв, А.А. Шестимеров. Инструментальные средства оценки качества научно-технических документов. Стр. 359-380.

В.А. Золотов, В.А. Семенов. Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен. Стр. 381-416.

И.В. Блудов. Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных. Стр. 417-436.

Л.Е. Карпов, В.Н. Юдин. Роль предыстории при оценке сложного объекта в управлении по прецедентам. Стр. 437-446.

В.Н. Юдин, Л.Е. Карпов. Гибридный подход к построению систем поддержки решений. Стр. 447-456.

М.А. Трушников. Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу. Стр. 457-468.

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