7092 search results - page 226 / 1419 » Parallelizing constraint programs |
121
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
120
click to vote
CP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
147
click to vote
ICLP
2010
Springer
15 years 24 days ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
133
click to vote
CIE
2009
Springer
15 years 9 months ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
148
click to vote
LCPC
1995
Springer
15 years 5 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...