Sciweavers

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