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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Automatic control and computer sciences Ročník 56; číslo 7; s. 762 - 777
Hlavný autor:	Mironov, A. M.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Moscow Pleiades Publishing 01.12.2022 Springer Nature B.V
Predmet:	Computer Science Control Structures and Microprogramming Mathematical analysis Mathematical models Parallel programming Verification distributed processes parallel programs verification MPI
ISSN:	0146-4116, 1558-108X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!