Sciweavers

3686 search results - page 26 / 738
» Pattern-Based Parallel Programming
Sort
View
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
15 years 3 hour ago
Scalable Speculative Parallelization on Commodity Clusters
While clusters of commodity servers and switches are the most popular form of large-scale parallel computers, many programs are not easily parallelized for execution upon them. In...
Hanjun Kim, Arun Raman, Feng Liu, Jae W. Lee, Davi...
95
Voted
PVM
2009
Springer
15 years 8 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
IPPS
2008
IEEE
15 years 8 months ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...