135
Voted
PPOPP
16 years 29 days ago
2009 ACM 
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
103
Voted
PPOPP
16 years 29 days ago
2009 ACM 
Load balancing is a technique which allows efficient parallelization of irregular workloads, and a key component of many applications and parallelizing runtimes. Work-stealing is ...
PPOPP
16 years 29 days ago
2009 ACM
Fairness is an essential requirement of any operating system scheduler. Unfortunately, existing fair scheduling algorithms are either inaccurate or inefficient and non-scalable fo...
109
click to vote
PPOPP
16 years 29 days ago
2009 ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
136
click to vote
PPOPP
16 years 29 days ago
2009 ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
|
Distributed And Parallel Computing