A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Modelстатья

Статья опубликована в журнале из списка Web of Science и/или Scopus