Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены их внутренние взаимосвязи и перспективные направления развития. Рассмотрены алг...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1295 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью / А.Е. Дорошенко, Г.Е. Цейтлин // Проблеми програмування. — 2003. — N 3. — С. 5—21. — Бібліогр.: 33 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862555891861028864 |
|---|---|
| author | Дорошенко, А.Е. Цейтлин, Г.Е. |
| author_facet | Дорошенко, А.Е. Цейтлин, Г.Е. |
| citation_txt | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью / А.Е. Дорошенко, Г.Е. Цейтлин // Проблеми програмування. — 2003. — N 3. — С. 5—21. — Бібліогр.: 33 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-11-25T22:20:42Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1295 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-25T22:20:42Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Дорошенко, А.Е. Цейтлин, Г.Е. 2008-07-24T16:31:43Z 2008-07-24T16:31:43Z 2003 Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью / А.Е. Дорошенко, Г.Е. Цейтлин // Проблеми програмування. — 2003. — N 3. — С. 5—21. — Бібліогр.: 33 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1295 51:681.03 Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены их внутренние взаимосвязи и перспективные направления развития. Рассмотрены алгебродинамические модели параллельного взаимодействия последовательных программ и алгеброалгоритмические спецификации, ассоциированные с этими моделями. Изложены вопросы дискретных преобразователей над внутренней памятью и конвейерные вычисления, а также теория клонов и инструментальные средства синтеза параллельных алгоритмов и программ. Висвітлено питання теоретико-автоматних і алгебраїчних досліджень, що
 йдуть від фундаментальних робіт В.М. Глушкова, наведено ретроспективний огляд основних результатів, отриманих у даній області, а також встановлені їх внутрішні взаємозв'язки і перспективні напрямки розвитку. Розглянуті алгебродинамічні моделі паралельної взаємодії послідовних програм і алгеброалгоритмічні специфікації, асо ційовані з цими моделями. Викладені питання дискретних перетворювачів над внутрішньою пам'яттю і конвеєрні обчислення, а також теорія клонів і інструментальні засоби синтезу рівнобіжних алгоритмів і програм. 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. ru Інститут програмних систем НАН України Теоретические и методологические основы программирования Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью Алгеброавтоматні специфікації паралельних програм над спільною і розподіленою пам’яттю Algebraic automata specification of common and distributed memory parallel programs Article published earlier |
| spellingShingle | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью Дорошенко, А.Е. Цейтлин, Г.Е. Теоретические и методологические основы программирования |
| title | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью |
| title_alt | Алгеброавтоматні специфікації паралельних програм над спільною і розподіленою пам’яттю Algebraic automata specification of common and distributed memory parallel programs |
| title_full | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью |
| title_fullStr | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью |
| title_full_unstemmed | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью |
| title_short | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью |
| title_sort | алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1295 |
| work_keys_str_mv | AT dorošenkoae algebroavtomatnyespecifikaciiparallelʹnyhprogrammnadobŝeiiraspredelennoipamâtʹû AT ceitlinge algebroavtomatnyespecifikaciiparallelʹnyhprogrammnadobŝeiiraspredelennoipamâtʹû AT dorošenkoae algebroavtomatníspecifíkacííparalelʹnihprogramnadspílʹnoûírozpodílenoûpamâttû AT ceitlinge algebroavtomatníspecifíkacííparalelʹnihprogramnadspílʹnoûírozpodílenoûpamâttû AT dorošenkoae algebraicautomataspecificationofcommonanddistributedmemoryparallelprograms AT ceitlinge algebraicautomataspecificationofcommonanddistributedmemoryparallelprograms |