Zobrazeno 1 - 10
of 13
pro vyhledávání: '"функционально-потоковое параллельное программирование"'
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)
In the article, a novel approach to the development, analysis and transformation of parallel programs is considered. A functional dataflow parallel programming language is used. It supports writing programs independently of any resource limitations.
Externí odkaz:
https://doaj.org/article/b29215e8156c4dfaafc0090f6697be25
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)
The peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed. It is considered how these transformations are affected by the usage of asynchronous lists, the return of delayed lists and the
Externí odkaz:
https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569
Autor:
M. S. Kropacheva, A. I. Legalov
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)
The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs c
Externí odkaz:
https://doaj.org/article/c7afaf2cf8754edba232ba51bf635d67
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)
In the article, a novel approach to the development, analysis and transformation of parallel programs is considered. A functional dataflow parallel programming language is used. It supports writing programs independently of any resource limitations.
Publikováno v:
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 4, Pp 48-58 (2015)
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 4, Pp 48-58 (2012)
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 4, Pp 48-58 (2012)
The peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed. It is considered how these transformations are affected by the usage of asynchronous lists, the return of delayed lists and the
Publikováno v:
Образовательные ресурсы и технологии.
Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматр
Autor:
Ushakova, M. S., Legalov, A. I.
Работа посвящена разработке архитектуры инструментальных средств для поддержки формальной верификации функционально-потоковых парал
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::7482a87792f46d7e2dcd408625bfd1e1
http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
Publikováno v:
Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика.
Работа посвящена разработке архитектуры инструментальных средств для поддержки формальной верификации функционально-потоковых парал
Design flows for very-large-scale integration circuit are considered. The problems arising from the realization of the project using top-down and system design methods are highlighted. The technology of an architecture-independent design for computer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::83985bc9cae311c7718af99935ce83f0
https://openrepository.ru/article?id=764954
https://openrepository.ru/article?id=764954
Publikováno v:
Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева.
Представлены особенности хранилища (репозитория) функционально-потоковых параллельных программ, обеспечивающего создание распределе