7092 search results - page 328 / 1419 » Parallelizing constraint programs |
106
Voted
PDCAT
2007
Springer
15 years 8 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
114
Voted
ICPP
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider the filter decomposition problem in supporting coarse-grained pipelined parallelism. This form of parallelism is suitable for data-driven applications in scenarios wh...
125
Voted
WSC
1997
15 years 4 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...
101
Voted
CONCURRENCY
2004
15 years 2 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
123
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...