Farhad Arbab, Eric Monfroy  Home/Search
Context Related
| cwi.nl/ftp/manifold/SAC98.ps.Z cwi.nl/~eric/Private/Publ...sac98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~farhad/manifold (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Context of citations to this paper: More
.... Algorithms on parallel and distributed platforms [42,43] coordination of multiple solvers in a concurrent constraint programming system[11]; and coordination of a distributed propositional theorem checker [25] Differences between MANIFOLD and its kernel Some of the...
...to associate strategies to collaborations of BALI. More details concerning the implementation can be found in [ Monfroy, 1996; Arbab and Monfroy, 1998 ] 7 Each solver has its own data representation, is written in a different language, and execute on a different architecture...
Cited by: More
A Transition System Semantics for the.. - Bonsangue, Arbab, .. (1998) (Correct)
A Strategy Language for Solving CSPs - Castro, Monfroy (Correct)
A Strategy Language for Specifying Constraint Solvers and.. - Carlos Castro And (Correct)
Similar documents (at the sentence level):
79.1%: Coordination of Heterogeneous Distributed Cooperative.. - Arbab, Monfroy (1998) (Correct)
Active bibliography (related documents): More All
0.6: A Coordination-based Chaotic Iteration Algorithm for Constraint.. - Monfroy (2000) (Correct)
0.5: The Constraint Solver Collaboration Language of BALI - Monfroy (1998) (Correct)
0.3: Reusable Coordinator Modules for Massively Concurrent.. - Arbab, Blom, Burger.. (1998) (Correct)
Similar documents based on text: More All
0.2: From Solver Collaboration Expressions to Communicating and.. - Monfroy (Correct)
0.2: An Environment for Designing/Executing Constraint Solver.. - Monfroy (1998) (Correct)
0.2: Distributed Splitting of Constraint Satisfaction Problems - Arbab, Monfroy (2000) (Correct)
Related documents from co-citation: More All
6: Reusable coordinator modules for massively concurrent applications - Arbab, Blom et al. - 1996
4: Interaction abstract machines - Andreoli, Ciancarini et al. - 1992
4: The IWIM model for coordination of concurrent activities - Arbab - 1996
BibTeX entry: (Update)
F. Arbab and E. Monfroy. Using coordination for cooperative constraint solving. In Proceedings of the 1998 ACM Symposium on Applied Computing; Special Track on Coordination Models, Languages and Applications, Atlanta, Georgia, February-March 1998. ACM. http://citeseer.ist.psu.edu/arbab98using.html More
@inproceedings{ arbab98using,
author = "Farhad Arbab and Eric Monfroy",
title = "Using coordination for cooperative constraint solving",
booktitle = "Selected Areas in Cryptography",
pages = "139-148",
year = "1998",
url = "citeseer.ist.psu.edu/arbab98using.html" }
Citations (may not include all citations):373 Constraint Logic Programming: a Survey - Jaffar, Maher - 1994
344 Concurrent Constraint Programming (context) - Saraswat - 1993
328 PVM 3 user's guide and reference manual - Geist, Beguelin et al. - 1994
266 Heuristics : intelligent search strategies for computer prob.. (context) - Pearl - 1984
68 The IWIM model for coordination of concurrent activities - Arbab - 1996
37 Combining symbolic constraint solvers on algebraic domains - Kirchner, Ringeissen - 1994
30 Coordination of massively concurrent activities - Arbab - 1995
30 An introduction to the MPI standard (context) - Dongarra, Otto et al. - 1995
25 Implementing Non-Linear Constraints with Cooperative Solvers - Monfroy, Rusinowitch et al. - 1996
22 emes d"equations alg (context) - Faugere - 1994
16 Visifold: A visual environment for a coordination language (context) - Bouvry, Arbab - 1996
14 Language reference manual (context) - Geddes, Gonnet et al. - 1991
13 Restructuring sequential Fortran code into a parallel /distr.. - Everaars, Arbab et al. - 1996
13 Using coordination to parallelize sparse-grid methods for 3D.. - Everaars, Koren - 1998
10 a contraintes. PhD Thesis, Universit (context) - Monfroy - 1996
9 Parallel and distributed evolutionary computation with Manif.. - Seredynski, Bouvry et al. - 1997
8 ControlDriven Coordination Programming in Shared Dataspace - Papadopoulos, Arbab - 1997
7 ECLiPSe User Manual (context) - Meier, Schimpf - 1993
6 DFKI Oz User's manual - Mehl, uller et al. - 1995
5 reference manual (context) - Arbab - 1997
5 Hermulheimer Strasse (context) - Hempel, Hoppe et al. - 1995
5 Distributed evolutionary optimization in manifold: the rosen.. - Seredynski, Bouvry et al. - 1997
4 DomainIndependent Constraint Solver Extension - Monfroy, Ringeissen - 1996
3 Parallel evolutionary computation: Multi agents genetic algo.. (context) - Seredynski, Bouvry et al. - 1997
3 Constraint Logic Programming - An Informal Introduction (context) - uhwirth, Herold et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~farhad/manifold.html): More
: A Visual Environment for a Coordination Language - Pascal Bouvry (Correct)
Reusable Coordinator Modules for Massively Concurrent.. - Arbab, Blom, Burger.. (1998) (Correct)
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische .. - Brune, Klop, (eds.) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC