149
click to vote
PPOPP
16 years 1 months 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...
114
click to vote
PPOPP
16 years 1 months 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 ...
104
click to vote
PPOPP
16 years 1 months 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...
115
click to vote
PPOPP
16 years 1 months 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 ...
145
click to vote
PPOPP
16 years 1 months 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