Sciweavers

10848 search results - page 144 / 2170
» Programming in Biomolecular Computation
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 27 days ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...