Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
|
|
| Creator |
Дорошенко, А.Е.
Цейтлин, Г.Е. |
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены их внутренние взаимосвязи и перспективные направления развития. Рассмотрены алгебродинамические модели параллельного взаимодействия последовательных программ и алгеброалгоритмические спецификации, ассоциированные с этими моделями. Изложены вопросы дискретных преобразователей над внутренней памятью и конвейерные вычисления, а также теория клонов и инструментальные средства синтеза параллельных алгоритмов и программ.
Висвітлено питання теоретико-автоматних і алгебраїчних досліджень, що йдуть від фундаментальних робіт В.М. Глушкова, наведено ретроспективний огляд основних результатів, отриманих у даній області, а також встановлені їх внутрішні взаємозв'язки і перспективні напрямки розвитку. Розглянуті алгебродинамічні моделі паралельної взаємодії послідовних програм і алгеброалгоритмічні специфікації, асо ційовані з цими моделями. Викладені питання дискретних перетворювачів над внутрішньою пам'яттю і конвеєрні обчислення, а також теорія клонів і інструментальні засоби синтезу рівнобіжних алгоритмів і програм. Issues of automata and algebraic research ascending to fundamental works of V.М. Glushkov are covered, the retrospective review of the basic results received in the given area is given and their internal interrelations and perspective directions of development are established. There are considered algebrai dynamic models of parallel interaction of the sequential programs and algebraic algorithmic specifications associated with these models. The questions of discrete transformers above internal memory and conveyor calculations are stated and also theory of clones and tool means of synthesis of parallel algorithms and programs are considered. |
|
| Date |
2008-07-24T16:31:43Z
2008-07-24T16:31:43Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью / А.Е. Дорошенко, Г.Е. Цейтлин // Проблеми програмування. — 2003. — N 3. — С. 5—21. — Бібліогр.: 33 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1295 51:681.03 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|