Sciweavers

13271 search results - page 252 / 2655
» Computers, Programming, and People
Sort
View
PVM
2009
Springer
16 years 1 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
IPPS
2008
IEEE
16 years 29 days ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...