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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Automatic control and computer sciences Jg. 56; H. 7; S. 762 - 777
1. Verfasser:	Mironov, A. M.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.12.2022 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!