461 search results - page 41 / 93 » Verifying parallel programs with dynamic communication struc... |
147
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
202
click to vote
PPOPP
2012
ACM
14 years 18 days ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
154
click to vote
SC
2003
ACM
15 years 10 months ago
2003
ACM
The emergence of grid and a new class of data-driven applications is making a new form of parallelism desirable, which we refer to as coarse-grained pipelined parallelism. This pa...
143
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
205
click to vote
ASPLOS
2012
ACM
14 years 24 days ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...