Using coordination for cooperative constraint solving

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using coordination for cooperative constraint solving

Full text

Pdf (1.29 MB)

Source

Symposium on Applied Computing archive
Proceedings of the 1998 ACM symposium on Applied Computing table of contents

Atlanta, Georgia, United States

Pages: 139 - 148

Year of Publication: 1998

ISBN:0-89791-969-6

Authors

Farhad Arbab	CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
Eric Monfroy	CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 13, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/330560.330661 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Farhad Arbab, Coordination of massively concurrent activities, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1995
	2	Farhad Arbab, The IWIM Model for Coordination of Concurrent Activities, Proceedings of the First International Conference on Coordination Languages and Models, p.34-56, April 15-17, 1996
	3	ARBAB, F. Manifold2.0 reference manual. CWI, Amsterdam, The Netherlands, May 1997.
	4	Pascal Bouvry , Farhad Arbab, VISIFOLD: A Visual Environment for a Coordination Language, Proceedings of the First International Conference on Coordination Languages and Models, p.403-406, April 15-17, 1996
	5	Jack J. Dongarra , Steve W. Otto , Marc Snir , David Walker, An Introduction to the MPI Standard, University of Tennessee, Knoxville, TN, 1995
	6	C. T. H. Everaars , Farhad Arbab , F. J. Burger, Restructuring sequential Fortran code into a parallel/distributed application, Proceedings of the 1996 International Conference on Software Maintenance, p.13-22, November 04-08, 1996
	7	Kees Everaars , Barry Koren, Using coordination to parallelize sparse-grid methods for 3-D CFD problems, Parallel Computing, v.24 n.7, p.1081-1106, July 1998 [doi>10.1016/S0167-8191(98)00043-X ]
	8	FAUGERE, J.-C. Rdsolution des syst~mes d'dquations algdbriques. PhD thesis, Universit~ Paris 6, 1994.
	9	Thom W. Frühwirth , Alexander Herold , Volker Küchenhoff , Thierry Le Provost , Pierre Lim , Eric Monfroy , Mark Wallace, Contraint Logic Programming - An Informal Introduction, Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action, p.3-35, September 07-11, 1992
	10	GEooss, K., GONNST, 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., MANCHEK) 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 MAHER, M. Constraint Logic Programming: a Survey. Journal of Logic Programming 19,20 (1994), 503-581.
	14	Hélène Kirchner , Christophe Ringeissen, Combining symbolic constraint solvers on algebraic domains, Journal of Symbolic Computation, v.18 n.2, p.113-155, Aug. 1994 [doi>10.1006/jsco.1994.1040 ]
	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, $nowmass Village, CO, 1997 (Reston, VA, 1997), American Institute of Aeronautics and Astronautics, pp. 892-902. AIAA-paper 9%2029.
	16	MrnL, M., M/)LLEa, T., POPOV, K., AND ScH~I- D!~AOER, 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 solvents pour la programmation logique d contraintes. PhD Thesis, Universit~ Henri Poincar~-Nancy I, Nov. 1996. (also available in english).
	19	MONFROY, E., AND RINOEISSEN, C. Domain- Independent Constraint Solver Extension. Report 96- R-043, Centre de Recherche en Informatique de Nancy, Vando~uvre-l~s-Nancy (France), Feb. 1996.
	20	Eric Monfroy , Michaël Rusinowitch , René Schott, Implementing non-linear constraints with cooperative solvers, Proceedings of the 1996 ACM symposium on Applied Computing, p.63-72, February 17-19, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/331119.331147]
	21	George A. Papadopoulos , Farhad Arbab, Control-Driven Coordination Programming in Shared Dataspace, Proceedings of the 4th International Conference on Parallel Computing Technologies, p.247-261, September 08-12, 1997
	22	PEAS'., J. Heuristics : intelligent search strategies for computer problem solving, 2nd print ed. Addison- Wesley, 1984.
	23	Vijay A. Saraswat, Concurrent constraint programming, MIT Press, Cambridge, MA, 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	Franciszek Seredynski , Pascal Bouvry , Farhad Arbab, Parallel and Distributed Evolutionary Computation with MANIFOLD, Proceedings of the 4th International Conference on Parallel Computing Technologies, p.94-108, September 08-12, 1997
	26	SEaEDYNSKI, F., Bouva~, P., AND AgBAB, 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	Pascal Van Hentenryck , Vijay Saraswat, Strategic directions in constraint programming, ACM Computing Surveys (CSUR), v.28 n.4, p.701-726, Dec. 1996 [doi>10.1145/242223.242279]