Coordination programming deals with building complex software systems from largely autonomous component systems. Cooperative constraint solving, which is widely recognized as a technique for improving the efficiency of constraint solving, is an area that may benefit from techniques developed in Coordination Programming: the solvers that we want to have cooperate …
read moreOther presentations
Coordination-Based Cooperation of Constraint Solvers in DICE
DICE (DIstributed Constraint Environment) is a software framework, implemented using the Manifold coordination language, for constructing distributed constraint solvers from software components in a number of predefined categories. One of these component categories contains incomplete constraint solvers, that can act as a domain reduction operator inside a constraint propagation algorithm …
read moreA coordination-based framework for parallel constraint solving
In this talk, I will present a framework for the configuration of parallel constraint solvers. The framework is implemented in the Manifold coordination language, and provides coordination services to software components in four categories: domain types for the variables of a constraint satisfaction problem (CSP), (incomplete) constraint solvers that reduce …
read more
Page 1 / 1