4081 search results - page 146 / 817 » The Impact of Constraint Programming |
236
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
152
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
208
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
155
click to vote
TSE
2011
14 years 12 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
125
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
In this paper we discuss image registration techniques with a focus on volume preserving constraints. These constraints can reduce the non-uniqueness of the registration problem si...