45 search results - page 6 / 9 » Relating Data-Parallelism and (And-) Parallelism in Logic Pr... |
143
Voted
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
-- The MapReduce programming model, introduced by Google, has become popular over the past few years as a mechanism for processing large amounts of data, using sharednothing parall...
161
Voted
MPC
2010
Springer
15 years 5 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
120
Voted
SCCC
1998
IEEE
15 years 7 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
125
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
105
click to vote
PVM
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...