4426 search results - page 135 / 886 » Concurrent Constraint Programming |
156
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
125
click to vote
CORR
2010
Springer
15 years 4 months 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...
155
click to vote
IEEEINTERACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
151
click to vote
LISP
2007
15 years 4 months 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...
150
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...