Login / Signup
A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model.
Andrew M. Mironov
Published in:
Autom. Control. Comput. Sci. (2022)
Keyphrases
</>
mathematical model
mathematical models
management system
simulation model
ant colony algorithm
computational model
experimental data
probabilistic model
control strategy
parallel implementation
massively parallel
matlab simulink
verification method
message passing interface