Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Concurrent constraint programming
Concurrent constraint programming
Combining symbolic constraint solvers on algebraic domains
Journal of Symbolic Computation
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Coordination languages for parallel programming
Parallel Computing - Special issue on coordination languages for parallel programming
Using coordination to parallelize sparse-grid methods for 3-D CFD problems
Parallel Computing - Special issue on coordination languages for parallel programming
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Restructuring sequential Fortran code into a parallel/distributed application
ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
Contraint Logic Programming - An Informal Introduction
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Parallel and Distributed Evolutionary Computation with MANIFOLD
PaCT '97 Proceedings of the 4th International Conference on Parallel Computing Technologies
Control-Driven Coordination Programming in Shared Dataspace
PaCT '97 Proceedings of the 4th International Conference on Parallel Computing Technologies
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
VISIFOLD: A Visual Environment for a Coordination Language
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
SoleX: A Domain-Independent Scheme for Constraint Solver Extension
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Coordination of massively concurrent activities
Coordination of massively concurrent activities
An Introduction to the MPI Standard
An Introduction to the MPI Standard
A Control Language for Designing Constraint Solvers
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Graphical Interface for Solver Cooperations
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Basic Operators for Solving Constraints via Collaboration of Solvers
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Basic components for constraint solver cooperations
Proceedings of the 2003 ACM symposium on Applied computing
Dynamic Web Services Provisioning with Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Electronic Notes in Theoretical Computer Science (ENTCS)
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Hi-index | 0.00 |
In this paper we argue for an alternative way of designing cooperative constraint solver systems using a control-oriented coordination language. The idea is to take advantage of the coordination features of MANIFOLD for improving the constraint solver collaboration language of BALI. We demonstrate the validity of our ideas by presenting the advantages of such a realization and its (practical as well as conceptual) improvements of constraint solving. We are convinced that cooperative constraint solving is intrinsically linked to coordination, and that coordination languages, and MANIFOLD in particular, open new horizons for systems like BALI.