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

Podrobná bibliografie

Vydáno 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:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.12.2022 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!