{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:31Z","timestamp":1725663451431},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:17Z","timestamp":1330209197000},"page":"439-453","source":"Crossref","is-referenced-by-count":7,"title":["Interfacing engines and schedulers in Or-Parallel Prolog systems"],"prefix":"10.1007","author":[{"given":"P\u00e9ter","family":"Szeredi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Carlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"A. M. A. Khayri","year":"1990","unstructured":"Khayri A. M. Ali and Roland Karlsson. The Muse approach to or-parallel Prolog. International Journal of Parallel Programming, 19(2):129\u2013162, April 1990.","journal-title":"International Journal of Parallel Programming"},{"key":"25_CR2","unstructured":"Anthony Beaumont, S. Muthu Raman, V\u00edtor Santos Costa, P\u00e9ter Szeredi, David H. D. Warren, and Rong Yang. Andorra-I: An implementation of the Basic Andorra Model. Technical Report TR-90-21, University of Bristol, Computer Science Department, September 1990. Presented at the Workshop on Parallel Implementation of Languages for Symbolic Computation, July 1990, University of Oregon."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Anthony Beaumont, S. Muthu Raman, and P\u00e9ter Szeredi. Flexible scheduling or-parallelism in Aurora: the Bristol scheduler. In PARLE 91, Conference on Parallel Architectures and Languages Europe. Springer-Verlag, June 1991.","DOI":"10.1007\/978-3-662-25209-3_50"},{"key":"25_CR4","unstructured":"BIM. BIM_Prolog release 2.4. 3078 Everberg, Belgium, March 1989."},{"key":"25_CR5","unstructured":"Per Brand. Wavefront scheduling. Internal Report, Gigalips Project, 1988."},{"key":"25_CR6","unstructured":"Ralph Butler, Terry Disz, Ewing Lusk, Robert Olson, Ross Overbeek, and Rick Stevens. Scheduling OR-parallelism: an Argonne perspective. In Proceedings of the Fifth International Conference on Logic Programming, pages 1590\u20131605. MIT Press, August 1988."},{"key":"25_CR7","unstructured":"Alan Calderwood. Aurora\u2014description of scheduler interfaces. Internal Report, Gigalips Project, January 1988."},{"key":"25_CR8","unstructured":"Alan Calderwood and P\u00e9ter Szeredi. Scheduling or-parallelism in Aurora\u2014the Manchester scheduler. In Proceedings of the Sixth International Conference on Logic Programming, pages 419\u2013435. MIT Press, June 1989."},{"key":"25_CR9","unstructured":"Mats Carlsson and P\u00e9ter Szeredi. The Aurora abstract machine and its emulator. SICS Research Report R90005, Swedish Institute of Computer Science, 1990."},{"key":"25_CR10","volume-title":"Pruning and Speculative Work in OR-Parallel PROLOG","author":"B. Hausman","year":"1990","unstructured":"Bogumi\u0142 Hausman. Pruning and Speculative Work in OR-Parallel PROLOG. PhD thesis, The Royal Institute of Technology, Stockholm, 1990."},{"issue":"23","key":"25_CR11","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"Ewing Lusk, David H. D. Warren, Seif Haridi, et al. The Aurora or-parallel Prolog system. New Generation Computing, 7(2,3):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"25_CR12","unstructured":"V\u00edtor Santos Costa, David H. D. Warren, and Rong Yang. Andorra-I: A parallel Prolog system that transparently exploits both and-and or-parallelism. In Proceedings of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM Press, April 1991."},{"key":"25_CR13","unstructured":"Raed Sindaha. Scheduling speculative work in the Aurora or-parallel Prolog system. Internal Report, Gigalips Project, March 1990."},{"key":"25_CR14","unstructured":"P\u00e9ter Szeredi. Performance analysis of the Aurora or-parallel Prolog system. In Proceedings of the North American Conference on Logic Programming, pages 713\u2013732. MIT Press, October 1989."},{"key":"25_CR15","unstructured":"P\u00e9ter Szeredi and Mats Carlsson. The engine-scheduler interface in the Aurora or-parallel Prolog system. Technical Report TR-90-09, University of Bristol, Computer Science Department, April 1990."},{"key":"25_CR16","unstructured":"David H. D. Warren. The SRI model for or-parallel execution of Prolog\u2014abstract design and implementation issues. In Proceedings of the 1987 Symposium on Logic Programming, pages 92\u2013102, 1987."},{"key":"25_CR17","unstructured":"Patrick Weemeeuw. Memory compaction for shared memory multiprocessors, design and specification. In Proceedings of the North American Conference on Logic Programming. MIT Press, October 1990."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:46Z","timestamp":1605646366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}