7092 search results - page 79 / 1419 » Parallelizing constraint programs |
128
click to vote
SNPD
2003
15 years 1 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
ICTAI
2009
IEEE
15 years 7 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
107
Voted
ICTAI
1996
IEEE
15 years 4 months ago
1996
IEEE
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...
94
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
115
Voted
LISP
2007
15 years 13 days ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...