A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
The paper presents a new mathematical model of parallel programs, on the basis of which it is possible, in particular, to verify parallel programs presented on a certain subset of the parallel programming interface MPI. This model is based on the concepts of a sequential and distributed process. A p...
Saved in:
| Published in: | Modelirovanie i analiz informacionnyh sistem Vol. 28; no. 4; pp. 394 - 412 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
Yaroslavl State University
18.12.2021
|
| Subjects: | |
| ISSN: | 1818-1015, 2313-5417 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!