1099 search results - page 10 / 220 » A Parallel Programming Style and Its Algebra of Programs |
IFIP
1994
Springer
15 years 1 months ago
1994
Springer
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the parti...
ISHPC
2000
Springer
15 years 1 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a transparent, system-level checkpointing solution for master-worker parallelism that automatically adapts, upon restart, to the number of processor nodes available. Th...
104
Voted
PLDI
2012
ACM
13 years 2 days ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...