Sciweavers

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