Sciweavers

3660 search results - page 24 / 732
» Parallel Program Archetypes
Sort
View
PVM
2009
Springer
15 years 6 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
IPPS
2008
IEEE
15 years 6 months ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...