Sciweavers

3660 search results - page 24 / 732
» Parallel Program Archetypes
Sort
View
PVM
2009
Springer
15 years 4 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
51
Voted
IPPS
2008
IEEE
15 years 4 months ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...
35
Voted
IPPS
2006
IEEE
15 years 3 months ago
Improving locality of nonserial polyadic dynamic programming
Guangming Tan, Ninghui Sun, Dongbo Bu