Sciweavers

10848 search results - page 144 / 2170
» Programming in Biomolecular Computation
Sort
View
PVM
2009
Springer
15 years 11 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
IPPS
2008
IEEE
15 years 10 months ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...