Features of implementation of toolkit for transformational synthesis of parallel algorithms

A.S. Mohnitsa, V.A. Iovchev, E.A. Andruschenko

Abstract


Paperexamines the implementation of tools for transformational synthesis of parallel algorithms, which are using sequential recursive decomposition based on the tables of hierarchy. Architecture of the corresponding toolkit (Transformator) is presented.

 Problems in programming 2009; 4: 24-32


References


Ноден П., Китте К. Алгебраическая алгоритмика. – М.: Мир. – 1999. – 720 с.

Чарнецкий К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. – Изд. дом. Питер, 2005. – 736 с.

Глушков В.М. , Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – Киев: Наук. думка, 1989. – 328 с.

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

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

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

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

Цейтлин Г.Е. Конструирование алгорит­мов символьной обработки // Кибернетика и системный анализ. – 1993. – № 2 – С. 17 –30.

Яценко О.А. Інтегровані алгеброалгоритмічні моделі мультиобробки // Вісн. Київськ. нац. у-ту. Серія: фіз.-мат. науки. Спец. випуск за матеріалами Міжнар. конф. "Теоретичні та прикладні аспекти побудови програмних систем" (TAAPSD’2004). – 2004.

Яценко Е.А., Мохница А.С. Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ // Проблемы программирования. Спец. вып. по материалам 4-й Междунар. научно-практической конф. по программированию УкрПРОГ'2004. – 2004. – № 2/3. – С. 440–450.

Кнут Д. Искусство программирования для ЭВМ // Сортировка и поиск. – 1978. – Т.3.– 824 с.

Дорошенко А.Е., Цейтлин Г.Е., Иовчев В.А. Высокоуровневые средства автоматизации проектирования параллельных алгоритмов // Проблеми програмування. – 2009. – № 3. – С. 19–30.

Цейтлин Г.Е. Проектирование последова­тельных алгоритмов сортировки: клас­сификация, трансформация, синтез // Про­граммирование. – 1989. – № 3. – С. 3–24.

Цейтлин Г.Е. Проектирование алгоритмов параллельной сортировки // Программи­рование. – 1989. – № 6. – С. 4–19.

Цейтлин Г.Е. Проблема тождественных преобразований схем структурированных программ с замкнутыми логическими условиями: ч. 1–3 // Кибернетика. – 1978. – № 3. – С. 50–57; № 4. – С. 10–18; 1979. – № 5. – С. 44–51.

Ющенко Ю.А. Проблема тождественных преобразований недетерминированных схем программ в системах алгоритми­ческих алгебр // Кибернетика. – 1982. – № 3. – C. 58–64.

Кирсанов Г.М., Цейтлин Г.Е., Ющенко Е.Л. АНАЛИСТ – пакет программ для доказательства тождеств теорем в аксиоматизированных САА // Киберне­тика. – 1979. – № 4. – C. 28–33.

Петрушенко А.Н. Об одном подходе к проблеме автоматизации оптимизирующих преобразований алгоритмов и программ // Кибернетика и системный анализ. – 1991. – № 5. – С. 127–137.

Панфиленко В.П. Проблема тупиков и фиктивностей в спецификациях парал­лельных программ // Кибернетика и сис­темный анализ. – 1994. – № 5. – С. 142–153.

Мохница А.С. Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ // Проблемы программирования. Спец. вып. по материалам 6-й Междунар. научно-практической конф. по программированию УкрПРОГ'2008. – 2008. – № 2/3. – С. 341–347.

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


Refbacks

  • There are currently no refbacks.