High level facilities for design automation of parallel programs

A.Yu. Doroshenko, G.E. Tseitlin, V.A. Iovchev

Abstract


The issues of constructing tool oriented to development of parallel algorithms and programs are considered examined in the paper. The system is considered to be implemented in distributed environment having web-interface and specialization in particular subject domains in which algebraic-algorithmic specifications and transformations of algorithms are incorporated with powerful facilities of automation and synthesis of the programs on the basis of Web 2.0.

 Problems in programming 2009; 3: 19-29


References


Gluschkow, W.M., Zeitlin, G.E., Justchenko, J.L. Algebra. Sprachen. Programmierung. Akademie-Verlag, Berlin, 1980. – 340 p.

Цейтлин Г.Е. Введение в алгоритмику. Киев: Сфера. – 1998. – 310 с.

Doroshenko A., Tseitlin G. Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs, Fundamenta Informaticae. – 2004. – Vol. 60, N. 1-4. – Р. 99–111.

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного программирования. – Киев: Академпериодика, 2007. – 634 с.

Дорошенко А.Е.. Математические модели и методы организации высокопроизводительных параллельных вычислений. Алгебродинамический подход. – Киев: Наук. думка, 2000. – 177 с.

Цейтлин Г.Е., Яценко Е.А. Элементы алгебраической алгоритмики и объектно-ориентированный синтез параллельных программ // Математические машины и системы. – 2003. – № 2. – С. 64–76.

Яценко Е.А. Алгебры гиперсхем и интегрированный инструментарий синтеза программ в современных объектно-ориентированных средах // Кибернетика и системный анализ. – 2004. – № 1. – С. 47 – 52.

Яценко О.А. Середовище конструювання алгоритмічних знань та інструментарій синтезу програм // Проблеми програмування. — 2006. — № 2-3. — С. 349–359.

Doroshenko, A.E., Shevchenko, R. A Rewriting Framework for Rule-Based Programming Dynamic Applications // Fundamenta Informaticae. – 2006. – 72. – Р. 95–108.

TermWar – http://www.gradsoft.com.ua/ products/termware_rus.html

Ющенко Е.Л., Цейтлин Г.Е., Грицай В.П., Терзян Т.К. Многоуровневое структурное проектирование программ: Теоретические основы, инструментарий. – М.: Финансы и статистика, 1989. – 208 с.

Калужнин Л.А. Об алгоритмизации математических задач // Проблемы кибернетики. – 1959. – Вып. 2. – С. 51–69.

Ющенко Е.Л., Цейтлин Г.Е., Галушка А.В. Алгебро-грамматические спецификации и синтез структурированных схем программ // Кибернетика. – 1989. – № 6. – С. 5–16.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Методы символьной мультиобработки. – Киев: Наук. думка, 1980. – 252 с.

Янгер Д.Х. Распознавание и анализ контекстно-свободных языков за время n3 // Проблемы математической логики. – М.: Мир, 1970. – С. 344–362.

Цейтлин Г.Е., Иовчев В.А., Мусихин А.А. Ментальные аспекты методов символьной мультиобработки // Проблеми програмування. – 2008. – № 1. – Р. 60–67.

Цейтлин Г.Е., Суржко С.В., Ющенко К.Л., Шевченко А.И. Алгоритмические алгебры. – Киев, 1997. – 342 с.

Яценко Е.А., Мохница А.С. Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ // Проблемы программирования. – 2004. – № 2-3. – С. 444 – 450.

Цейтлин Г.Е., Яценко Е.А. Элементы алгебраической алгоритмики и объектно-ориентированный синтез параллельных программ // Математические машины и системы. – 2003. – № 2. – С. 64 – 76.

Цейтлин Г.Е. Алгебры Глушкова и теория клонов // Кибернетика и системный анализ. – 2003. – № 4. – С. 48–58.

IBM Autonomic Computing. — http://www.research.ibm.com/autonomic/

Дорошенко А.Е., Алистратов О.В., Тырчак Ю.М., Розенблат А.П. Системы GRID-вычислений — перспектива для научных исследований // Проблеми програмування. – 2005. – № 1. – Р. 14–38.

Дорошенко А.Е., Жереб К.А., Яценко Е.А. Об оценке сложности и координации вычислений в многопоточных программах // Проблеми програмування. – 2007. – № 2. – С. 41–55.

Яценко Е.А. Алгебры гиперсхем и интегрированный инструментарий синтеза программ в современных объектно-ориентированных средах. // Кибернетика и системный анализ. – 2004. – № 1. – С. 47–52.


Refbacks

  • There are currently no refbacks.