A component-based parallel constraint solver

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2949, Issue , 2004, Pages 307-322

  Zoeteweij, Peter ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

Component based software engineering; Constraint solving; Coordination; Parallelization

Indexed keywords

CODES (SYMBOLS); NETWORK MANAGEMENT; SOFTWARE ENGINEERING;

COMPONENT-BASED SOFTWARE ENGINEERING; CONSTRAINT SOLVERS; CONSTRAINT SOLVING; COORDINATION; DESIGN AND IMPLEMENTATIONS; PARALLELIZATIONS; SEQUENTIAL CONSTRAINTS; SOFTWARE COMPONENT;

LOGIC PROGRAMMING;

EID: 35048825298     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24634-3_23     Document Type: Article

References (15)

1. K. R. Apt. The Rough Guide to Constraint Propagation. In Jaffar (ed.) Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), LNCS 1713, pp. 1-23, Springer-Verlag, 1999.
2. F. Arbab. The IWIM Model for Coordination of Concurrent Activities. In Ciancarini, Hankin (eds.) Coordination Languages and Models, LNCS 1061, pp. 34-56, Springer-Verlag, April 1996.
3. F. Arbab, E. Monfroy. Distributed Splitting of Constraint Satisfaction Problems. In Porto, Roman (eds.) Coordination Languages and Models, LNCS 1906, pp. 115-132, Springer-Verlag, 2000.
4. F. Arbab. Abstract Behavior Types: A Foundation Model for Components and Their Composition. In De Boer, Bonsangue, Graf, De Roever (eds.) Formal Methods for Components and Objects, LNCS 2852, Springer-Verlag, 2003.
5. F. Arbab, J. J. M. M. Rutten. A Coinductive Calculus of Component Connectors. Technical report SEN-R0216, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, September 2002.
6. F. Arbab, C. Baier, J. J. M. M. Rutten, M. Sirjani. Modeling Component Connectors in Reo by Constraint Automata (extended abstract). In Proceedings of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003), to appear on ENTCS.
7. Z. Habbas, M. Krajecki, D. Singer. Shared Memory Implementation of Constraint Satisfaction Problem Resolution. Parallel Processing Letters, Vol. 11, No. 4 (2001), pp. 487-501.
8. E. Monfroy. A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. In Carroll, Damiani, Haddad, Oppenheim (eds.) Proceedings of the 2000 ACM Symposium on Applied Computing, pp. 262-269, ACM Press.
9. E. Monfroy, F. Arbab. Constraints Solving as the Coordination of Inference Engines. In Omicini, Zambonelli, Klusch, Tolksdorf (eds.) Coordination of Internet Agents: Models, Technologies and Applications, Springer-Verlag, 2001.
10. L. Perron. Search Procedures and Parallelism in Constraint Programming. In Jaffar (ed.) Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), LNCS 1713, pp. 346-360, Springer-Verlag, 1999.
11. C. Schulte. Comparing Trailing and Copying for Constraint Programming. In De Schreye (ed.) Proceedings of the Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, pp. 275-289, The MIT Press, November 1999.
12. C. Schulte. Parallel Search Made Simple. In Beldiceanu et al. (eds.) Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, September 2000.
13. A. Stam. A Framework for Coordinating Parallel Branch and Bound Algorithms. In Arbab, Talcott (eds.) Coordination Models and Languages, LNCS 2315, pp. 332-339, Springer-Verlag, 2002.
14. P. Zoeteweij. A Coordination-Based Framework for Distributed Constraint Solving. In O'Sullivan (ed.) Recent Advances in Constraints, LNAI 2736, Springer-Verlag, 2003.
15. P. Zoeteweij. Coordination-Based Distributed Constraint Solving in DICE. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), Melbourne, FL, USA, pp. 360-366, ACM, 2003.