A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model

This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface. The model is based on the concepts of sequential and distributed processes. A parallel p...

Full description

Saved in:

Bibliographic Details
Published in:	Automatic control and computer sciences Vol. 56; no. 7; pp. 762 - 777
Main Author:	Mironov, A. M.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.12.2022 Springer Nature B.V
Subjects:	Computer Science Control Structures and Microprogramming Mathematical analysis Mathematical models Parallel programming Verification distributed processes parallel programs verification MPI
ISSN:	0146-4116, 1558-108X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!