Using coordination for cooperative constraint solving

Proceedings of the ACM Symposium on Applied Computing

Volumn 02-February-1998, Issue , 1998, Pages 139-148

  Arbab, Farhad ^a   Monfroy, Eric ^a  

^a CWI   (Netherlands)

Author keywords

Constraint solver cooperation; Coordination model; Dynamic coordination; Solver collaboration language

Indexed keywords

CODES (SYMBOLS); FORMAL LOGIC;

CONSTRAINT SOLVERS; CONSTRAINT SOLVING; COORDINATION LANGUAGE; COORDINATION MODEL; DYNAMIC COORDINATION; SOLVER COLLABORATION LANGUAGE;

LOGIC PROGRAMMING;

EID: 85002486909     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/330560.330661     Document Type: Conference Paper

References (27)

1. ARBAB, F. Coordination of massively concurrent activities. Report CS-R9565, CWI, Amsterdam, The Netherlands, Nov. 1995. Available on-line http://ww.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.
2. ARBAB, F. The IWIM model for coordination of concurrent activities. In Coordination Languages and Models (Apr. 1996), P. Ciancarini and C. Hankin, Eds., vol. 1061 of LNCS, Springer-Verlag, pp. 34-56.
3. ARBAB, F. Manifold2.0 reference manual. CWI, Amsterdam, The Netherlands, May 1997.
4. BOUVRY, P., AND ARBAB, F. Visifold: A visual environment for a coordination language. In Coordination Languages and Models (Apr. 1996), P. Ciancarini and C. Hankin, Eds., vol. 1061 of LNCS, Springer-Verlag, pp. 403-406.
5. DONGARRA, J., OTTO, S., SNIR, M., AND WALKER, D. An introduction to the MPI standard. Report CS-95-274, University of Tennessee, 1995.
6. EVERAARS, C. T. H., ARBAB, F., AND BÜRGER, F. J. Restructuring sequential Fortran code into a parallel/distributed application. In Proc. of the International Conference on Software Maintenance '96 (Nov. 1996), IEEE, pp. 13-22.
7. EVERAARS, C. T. H., AND KOREN, B. Using coordination to parallelize sparse-grid methods for 3D CFD problems. Parallel Computing (1998). submitted to the special issue on Coordination.
8. FAUGERE, J.-C. Resolution des systèmes d'équations algébriques. PhD thesis, Université Paris 6, 1994.
9. FRÜHWIRTH, T., HEROLD, A., KUECHENHOFF, V., LE PROVOST, T., LIM, P., MONFROY, E., AND WALLACE, M. Constraint Logic Programming-An Informal Introduction. In Proc. of Logic Programming in Action (LPSS'92), Zurich, Switzerland (Sep. 1992), G. Comyn, M. Ratcliffe, and N. Fuchs, Eds., vol. 636 of LNCS, Springer Verlag.
10. GEDDES, K., GONNET, G., AND LEONG, B. Maple V: Language reference manual. Springer Verlag, New York, Berlin, Paris, 1991.
11. GEIST, A., BEGUELIN, A., DONGARRA, J., JIANG, W., MANCHER, R., AND SUNDERAM, V. PVM 3 user's guide and reference manual. Report ORNL/TM-12187, Oak Ridge Nat. Laboratory, 1994.
12. HEMPEL, R., HOPPE, H., KELLER, U., AND KROTZ, W. PARMACS v6.1 specification. Report, PALLAS GmbH, Hermulheimer Strasse 10, D-50321, 1995.
13. JAFFAR, J., AND MÄHER, M. Constraint Logic Programming: a Survey. Journal of Logic Programming 19,20 (1994), 503-581.
14. KIRCHNER, H., AND RINGEISSEN, C. Combining symbolic constraint solvers on algebraic domains. Journal of Symbolic Computation 18, 2 (1994), 113-155.
15. KOREN, B., HEMKER, p., AND EVERAARS, C. Multiple semi-coarsened multigrid for 3d cfd. In Proc. of the 13th AIAA Computational Fluid Dynamics Conference, Snowmass Village, CO, 1997 (Reston, VA, 1997), American Institute of Aeronautics and Astronautics, pp. 892-902. AIAA-paper 97-2029.
16. MEHL, M., MÜLLER, T., POPOV, K., AND SCHEIDHAUER, R. DFKI Oz User's manual. DFKI, Sarrebrucken (Germany), May 1995.
17. MEIER, M., AND SCHIMPF, J. ECLiPSe User Manual. Report ECRC-93-6, ECRC, Munich, Germany, 1993.
18. MONFROY, E. Collaboration de solveurs pour la programmation logique à contraintes. PhD Thesis, Université Henri Poincaré-Nancy I, Nov. 1996. (also available in english).
19. MONFROY, E., AND RINGEISSEN, C. Domain-Independent Constraint Solver Extension. Report 96-R-043, Centre de Recherche en Informatique de Nancy, Vandœuvre-lès-Nancy (France), Feb. 1996.
20. MONFROY, E., RUSINOWITCH, M., AND SCHOTT, R. Implementing Non-Linear Constraints with Cooperative Solvers. In Proc. of ACM Symposium on Applied Computing (SAC'96) (Feb. 1996), pp. 63-72.
21. PAPADOPOULOS, G. A., AND ARBAB, F. Control-Driven Coordination Programming in Shared Dataspace. In Proc. of Fourth International Conference on Parallel Computing Technologies (PaCT-97) (Yaroslavl, Russia, Sep. 1997), LNCS, Springer Verlag, (to appear).
22. PEAR'., J. Heuristics: intelligent search strategies for computer problem solving, 2nd print ed. Addison-Wesley, 1984.
23. SARASWAT, V. Concurrent Constraint Programming. MIT Press, Cambridge, London, 1993.
24. SEREDYNSKI, F., BOUVRY, P., AND ARBAB, F. Distributed evolutionary optimization in manifold: the rosenbrock's function case study. In FEA'97-First International Workshop on Frontiers in Evolutionary Algorithms (part of the third Joint Conference on Information Sciences) (Mar. 1997). Duke University (USA).
25. SEREDYNSKI, F., BOUVRY, P., AND ARBAB, F. Parallel and distributed evolutionary computation with Manifold. In Proc. of Fourth International Conference on Parallel Computing Technologies (PaCT-97) (Yaroslavl, Russia, Sep. 1997), LNCS, Springer Verlag, (to appear).
26. SEREDYNSKI, F., BOUVRY, P., AND ARBAB, F. Parallel evolutionary computation: Multi agents genetic algorithm. In International Conference on Parallel and Distributed Systems (Euro-PDS '97) (Jun. 1997), E. Luque, A. R. Hurson, and H. El-Rewini, Eds., pp. 293-298.
27. VAN HENTENRYCK, P., AND SARASWAT, V. Strategic Directions in Constraint Programming. ACM Computing Surveys 28, 4 (Dec. 1996), 701-726.