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


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

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

Содержание

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

П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления. Стр. 7-14.

П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций. Стр. 15-21.

В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. Стр. 21-52.

В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов. Стр. 53-92.

Д.А. Лизоркин. Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами. Стр. 93-120.

Д.А. Лизоркин. Язык запросов к совокупности XML-документов, соединенных при помощи ссылок языка XLink. Стр. 121-154.

М.П. Рекуц. Виды ограничений целостности в базах XML-данных. Стр. 155-168.

Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры. Стр. 169-180.

С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Стр. 181-200.

А.В. Инюхин. Открытая Т–система: распределённые вычисления в Internet. Стр. 201-214.

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