ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

18+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Условия публикации
Текущий выпуск
Архив выпусков

© 2010 Электронный научный журнал «Программные системы: Теория и приложения»
Институт программных систем имени А.К. Айламазяна РАН
© 2010

Статьи представлены в формате PDF

Для чтения файлов в формате PDF рекомендуется
программа Adobe Reader

            


• Содержание выпуска • Искусственный интеллект, интеллектуальные системы, нейорнные сети • Математическое моделирование • Математические основы программирования • Программное и аппаратное обеспечение для суперЭВМ •

Математические основы программирования

Ответственные за рубрику: д.ф.-м.н. Новосельцев В.Б.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

 

9

Поступила в редакцию 27.08.2010

Подписана в печать 14.09.2010

24 с.

PDF

Климов Ю.А. /Klimov Yu.A./
Специализатор CILPE: частичные вычисления для объектноориентированных языков.
/
Specializer CILPE: partial evaluator for objectoriented languages/

В работе рассмотрена специализация программ на основе метода частичных вычислений применительно к программам на объектноориентированных языках. Дан обзор возможностей известных специализаторов для языков этого класса, приведено сравнение специализаторов. Описаны возможности специализатора CILPE и приведен пример его использования.
/Program specialization for objectoriented languages by the method of partial evaluation is considered. An overview of the features of known specializes for this class of languages is given. The features of specializer CILPE and an example of it application are discussed./
Ключевые слова:
специализация программ, частичные вычисления, объектноориентированные языки программирования, специализатор CILPE.
/Key words: program specialization, partial evaluation, objectoriented languages, specializer CILPE./

Ссылка на статью обязательна

www/psta.psiras/pdfs/psta2010_3_13-36.pdf

10

Поступила в редакцию 07.09.2010

Подписана в печать 16.09.2010

35 c.

PDF

Ключников И.Г. /Klyuchnikov I.G./
Суперкомпиляция функций высших порядков.
/Higher-Order Supercompilation./

В работе описана внутренняя структура экспериментального суперкомпилятора HOSC. Дано полное описание всех существенных понятий и алгоритмов суперкомпилятора, работающего с функциональным языком высшего порядка (подмножеством языка Haskell). Особое внимание уделяется проблемам связанным с обобщением и отношением гомеоморфного вложения для выражений со связанными переменными.
/The paper describes the internal structure of HOSC, an experimental supercompiler dealing with programs written in a higher-order functional language (a subset of Haskell). A detailed and formal account is given of the concepts and algorithms the supercompiler is based upon. Particular attention is paid to the problems related to generalization and homeomorphic embedding of expressions with bound variables./
Ключевые слова: суперкомпиляция, анализ программ, функциональное программирование.
/Key words: supercompilation, program analysis, functional programming./

Ссылка на статью обязательна

www\psta.psiras\read\psta2010_3_37-71.pdf

11

Поступила в редакцию 14.09.2010

Подписана в печать 22.09.2010

12 с.

PDF

Лацис А.О. /Lacis A.O./
Модели программирования для современных суперкомпьютеров.
/
The modern supercomputer programming models/

В современных суперкомпьютерах широко применяется оборудование, принципиально отличающееся от оборудования вычислительных кластеров 5–6-летней давности. Это относится как к вычислительному, так и к коммуникационному оборудованию. Новое, более эффективное коммуникационное оборудование обладает рядом преимуществ, которые плохо выражаются в терминах старых технологий параллельного программирования. В статье исследуется вопрос о том, какие именно модели и технологии параллельного программирования идут на смену традиционным и почему.
/The modern supercomputer hardware strongly differs in principle from the 5–6-years old hardware. This is true both for the computational hardware and the communication one. The new, better communication hardware has some inherent advantages, that hardly can be properly expressed in terms of the traditional parallel programming technologies. The question of new parallel programming technologies, coming to replace the old ones, is discussed in the article
./
Ключевые слова:
суперкомпьютер, модель программирования, технология параллельного программирования, сеть двусторонних обменов, сеть односторонних обменов, кэшкогерентность, латентность, агрегация.
/Key words: supercomputer, programming model, parallel programming technology, dualsided transfer network, singlesided transfer network, cachecoherency, latency, aggregation./

Ссылка на статью обязательна

www/psta.psiras/pdfs/psta2010_3_73-84.pdf
   
   

 

• Содержание выпуска • Искусственный интеллект, интеллектуальные системы, нейорнные сети • Математическое моделирование • Математические основы программирования • Программное и аппаратное обеспечение для суперЭВМ •

 

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"
Тел.: (4852) 695-228.       E-mail: .      Сетевой адрес издания: http://psta.psiras.ru