1099 search results - page 7 / 220 » A Parallel Programming Style and Its Algebra of Programs |
ICS
2000
Tsinghua U.
15 years 1 months ago
2000
Tsinghua U.
The contributions of this paper are the following.
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
SC
1991
ACM
15 years 1 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
APDC
1997
14 years 11 months ago
1997
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...