Coordination of a parallel proposition solver

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

Volumn 1594, Issue , 1999, Pages 275-290

  Everaars, C T H ^a   Lisser, B ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

COMMUNICATION PATTERN; COMPUTATION INTENSIVES; DYNAMIC PROCESS; INTERPROCESS COMMUNICATION; MASTER/WORKER; PROCESSING UNITS;

ARTIFICIAL INTELLIGENCE;

EID: 84957597144     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48919-3_20     Document Type: Conference Paper

References (14)

1. J.F. Groote, J.W.C. Koorn, and S.F.M van Vlijmen. The safety guaranteeing system at station hoorn-kersenboogerd (extended abstract). In Proc. 10th Annual Conference on Computer Assurance (COMPASS '95), pages 57-68, 1995
2. B. Lisser and J.v. Wamel. Speci cation of components in a proposition solver. In J.v. Wamel J.F. Groote, B. Luttik, editor, Proc. 3th International Conference on Formal Methods for Industrial Systems, pages 271-298. CWI, 1998
3. F. Arbab. The in uence of coordination on program structure. In Proceedings of the 30th Hawaii International Conference on System Sciences. IEEE, January 1997.
4. D. Gelernter and N. Carriero. Coordination languages and their signi cance. Communication of the ACM, 35(2):97-107, February 1992.
5. F. Arbab, P. Ciancarini, and C. Hankin. Coordination languages for parallel programming. Parallel Computing, 24(7):989-1004, July 1998. special issue on Coordination languages for parallel programming.
6. G.A. Papadopoulos and F. Arbab. Coordination Models and Languages, volume 46 of Advances in Computers. Academic Press, 1998.
7. F. Arbab. Coordination of massively concurrent activities. Technical Report CS-R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available online http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.
8. F. Arbab. The IWIM model for coordination of concurrent activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 34-56. Springer-Verlag, April 1996.
9. F. Arbab, C.L. Blom, F.J. Burger, and C.T.H. Everaars. Reusable coordinator modules for massively concurrent applications. Software: Practice and Experience, 28(7):703-735, June 1998. Extended version.
10. A. Nerode and R. Shore. Logic for Applications. Texts and Monographs in Computer Science. Springer-Verlag-Hall, 1993.
11. J.F. Groote. The propositional formula checker HeerHugo. Technical report, CWI, 1997. Unpublished note.
12. Jan Aldert Bergstra and Paul Klint. The ToolBus coordination architecture. In P. Ciancarani and C. Hankin, editors, Coordination Language and Models, number 1061 in LNCS. Springer Verlag, 1996.
13. F. Arbab, C.L. Blom, F.J. Burger, and C.T.H. Everaars. Reusable coordinator modules for massively concurrent applications. In L. Bouge, P. Fraigniaud, A. Mignotte, and Y. Robert, editors, Proceedings of Euro-Par '96, volume 1123 of Lecture Notes in Computer Science, pages 664-677. Springer-Verlag, August 1996.
14. C.T.H. Everaars and B. Koren. Using coordination to parallelize sparse-grid methods for 3D CFD problems. Parallel Computing, 24(7):1081-1106, July 1998. special issue on Coordination languages for parallel programming