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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Modelirovanie i analiz informacionnyh sistem Jg. 28; H. 4; S. 394 - 412
1. Verfasser:	Mironov, Andrew M.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Yaroslavl State University 18.12.2021
Schlagworte:	distributed processes mpi parallel programs verification
ISSN:	1818-1015, 2313-5417
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!