7092 search results - page 225 / 1419 » Parallelizing constraint programs |
108
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
90
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we report on features added to a parallel debugger to simplify the debugging of message passing programs. These features include replay, setting consistent breakpoin...
PLILP
1994
Springer
15 years 4 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
100
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
COORDINATION
1997
Springer
15 years 4 months ago
1997
Springer
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can ...