7092 search results - page 199 / 1419 » Parallelizing constraint programs |
105
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
100
Voted
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
92
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
86
Voted
FLAIRS
2004
15 years 1 months ago
2004
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
113
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper aims to describe the implementation of TAKAKAW, an efficient parallel application for the simulation of molecular dynamics designed to handle large proteins in biology....