parallel programming language
Recently Published Documents


TOTAL DOCUMENTS

69
(FIVE YEARS 3)

H-INDEX

10
(FIVE YEARS 1)

2021 ◽  
Author(s):  
Lidia Vasiljevna Gorodnyaya

The report is devoted to the results of a paradigmatic analysis of problems, means and methods of organizing parallel computing and multi-threaded programs for multiprocessor complexes and distributed systems. Paradigmatic analysis of programming language and systems allows decomposing the complexity of the tasks being solved into autonomously developed components, assessing their similarities and differences, which must be taken into account when predicting the course of application processes, as well as when planning the study and organizing the development of programs. A variety of paradigmatic characteristics inherent in the preparation and debugging of long-lived parallel computing programs are shown. A sketch of a multi-paradigm parallel programming language for educational purposes is presented.


2016 ◽  
Vol 57 ◽  
pp. 37-51 ◽  
Author(s):  
Keisuke Tsugane ◽  
Taisuke Boku ◽  
Hitoshi Murai ◽  
Mitsuhisa Sato ◽  
William Tang ◽  
...  

2015 ◽  
Vol 19 (5) ◽  
pp. 81-99
Author(s):  
M. S. Kropacheva ◽  
A. I. Legalov

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 correctness could be proved.


Sign in / Sign up

Export Citation Format

Share Document