Academic Journal
A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
| Τίτλος: | A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model |
|---|---|
| Συγγραφείς: | Mironov, A. M.Aff1, IDS014641162207015X_cor1 |
| Πηγή: | Automatic Control and Computer Sciences. 56(7):762-777 |
| Βάση Δεδομένων: | Springer Nature Journals |
καταχωρήστε σχόλιο πρώτοι!