|
|
 |
• Содержание выпуска • Искусственный интеллект, интеллектуальные системы, нейорнные сети • Математическое моделирование • Математические основы программирования • Программное и аппаратное обеспечение для суперЭВМ •
Математические основы программирования
Ответственные за рубрику: д.ф.-м.н.
Новосельцев В.Б.
Слева для каждой статьи показаны: присвоенный статье порядковый номер;
дата поступления статьи в
редакцию; количество страниц статьи в
формате А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 |
|
|
|
|
|
|
• Содержание выпуска • Искусственный интеллект, интеллектуальные системы, нейорнные сети • Математическое моделирование • Математические основы программирования • Программное и аппаратное обеспечение для суперЭВМ •
|
