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


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

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

Содержание

А.Л. Ластовецкий, А.Я. Калинов, И.Н. Ледовских, Д.М. Арапов, М.А. Посыпкин. Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях. Стр. 5-25.

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

С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Стр. 26-38.

И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ. Стр. 39-54.

Н.Н. Мансуров. Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения. Стр. 55-76.

А. А. Жданов, С. В. Арсеньев, В.А. Половников. Об одной методологии автономного адаптивного управления. Стр. 77-99.

В.П. Иванников, К.В. Дышлевой, С.Г. Манжелей, Л.Б. Соловская, А.Б. Шебуняев. Распределенные объектно-ориентированные системы. Стр. 100-121.

В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации. Стр. 122-137.

Н.Н. Кузюрин, В.А. Захаров, А.Н. Холодов, Л.В. Шабанов, А.В. Шокуров. Эффективные алгоритмы и их программные реализации. Стр. 138-148.

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