Sciweavers

3868 search results - page 34 / 774
» A Distributed Parallel Programming Framework
Sort
View
PVM
2009
Springer
15 years 4 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby