A coordination-based chaotic iteration algorithm for constraint propagation

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2000, Pages 262-269

  Monfroy, Eric ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS;

CHAOTIC ITERATION; CONSTRAINT PROPAGATION; COOPERATIVE AGENTS; COORDINATION LANGUAGE; GENERIC FRAMEWORKS; ITERATION ALGORITHMS; PARALLEL AND DISTRIBUTED ALGORITHMS; SPECIAL MODELS;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 0038324594     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/335603.335756     Document Type: Conference Paper

References (19)

1. K. R. Apt. Component-based framework for constraint programming. Manuscript, 1999
2. K. R. Apt. The Essence of Constraint Propagation. Theoretical Computer Science, 221(1-2):179-210, 1999.
3. K. R. Apt. The Rough Guide to Constraint Propagation". In J. Jaffar, editor, Proc. of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), volume 1713 of LNCS, pages 1-23- Springer-Verlag, 1999. Invited lecture.
4. K. R. Apt and E. Monfroy. Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. In J. Jaffar, editor, Proc. of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), volume 1713 of LNCS, pages 58-72. Springer-Verlag, 1999.
5. F. Arbab, Coordination of massively concurrent activities. Report CS-R9565, CWI, Amsterdam, The Netherlands, Nov. 1995. Available on-line http://www.cvi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.
6. F. Arbab. The IWIM model for coordination of concurrent activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 34-56. Springer-Verlag, Apr. 1996.
7. F. Arbab. Manifold2.0 reference manual CWI, Amsterdam, The Netherlands, May 1997.
8. F. Benhamou and W. Older. Applying interval arithmetic to real, integer and Boolean constraints. Journal of Logic Programming, 32(1):1-24, Mar. 1997.
9. P. Codognet and D. Diaz. A simple and efficient Boolean constraint solver for constraint logic programming. Journal of Automated Reasoning, 17(1):97-128, 1996.
10. C. T. H. Everaars, F. Arbab, and F. J. Burger. Restructuring sequential Fortran code into a parallel/distributed application. In Proc. of the International Conference on Software Maintenance '96, pages 13-22. IEEE, Nov. 1996.
11. C. T. H. Everaars and B. Koren. Using coordination to parallelize sparse-grid methods for 3D CFD problems. Parallel Computing, 1998. submitted to the special issue on Coordination.
12. B. Koren, P.W. Hemker, and C.T.H. Everaars. Multiple semi-coarsened multigrid for 3d cfd. In Proc. of the 13th AIAA Computational Fluid Dynamics Conference, Snowmass Village, CO, 1997, pages 892-902, Reston, VA, 1997. American Institute of Aeronautics and Astronautics. AIAA-paper 97-2029.
13. M. Mebl, T. Müller, K. Popov, and R. Scheidhauer. DFKI Oz User's manual. DFKI, Sarrebrucken (Germany), May 1995.
14. E. Monfroy. Using "Weaker" Functions for Constraint Propagation over Real Numbers, In Proc. of The 14th ACM Symposium on Applied Computing, SAC'99, Scientific Computing Track, San Antonio, Texas, USA, March 1999. ACM Press.
15. E. Monfroy and J.-H. Réty. Chaotic Iteration for Distributed Constraint Propagation. In Proceedings of The 14th ACM Symposium on Applied Computing, SAC'99, Artificial Intelligence and Computational Logic Track, San Antonio, Texas, USA, March 1999. ACM Press.
16. E. Monfroy and J.-H. Réty. Itérations Asynchrones: un Cadre Uniforme pour la Propagation de Contraintes Parallele et Répartie. In Proceedings of Journées Francophones de Programmation Logique et Contrainte (JFPLC'99), Lyon, France, 1999. Hermès, (in French).
17. G. A. Papadopoulos and F. Arbab. Control-Driven Coordination Programming in Shared Dataspace. In Proc. of Fourth International Conference on Parallel Computing Technologies (PaCT-97), volume 1277 of LNCS, pages 247-261, Yaroslavl, Russia, 1997. Springer Verlag.
18. G. A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46: The Engineering of Large Systems, 1998.
19. Franciszek Seredynski, Pascal Bouvry, and Farhad Arbab. Parallel evolutionary computation: Multi agents genetic algorithm. In E. Luque, A. R. Hurson, and H. El-Rewini, editors, International Conference on Parallel and Distributed Systems (Euro-PDS '97), pages 293-298, Jun. 1997.