{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:52:10Z","timestamp":1725490330358},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679561"},{"type":"electronic","value":"9783540445203"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44520-x_102","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T03:51:43Z","timestamp":1188359503000},"page":"744-753","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Novel Models for Or-Parallel Logic Programs: A Performance Analysis"],"prefix":"10.1007","author":[{"given":"V\u00fdtor Santos","family":"Costa","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,8,18]]},"reference":[{"key":"102_CR1","unstructured":"A. Aggoun and et. al. ECLiPSe 3.5 User Manual. ECRC, December 1995."},{"issue":"2","key":"102_CR2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"K. A. M. Ali and R. 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":"102_CR3","unstructured":"K. A. M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In NACLP\u201990, pages 757\u2013776. MIT Press, October 1990."},{"key":"102_CR4","doi-asserted-by":"crossref","unstructured":"A. Beaumont, S. M. Raman, P. Szeredi, and D. H. D. Warren. Flexible Scheduling of OR-Parallelism in Aurora: The Bristol Scheduler. In PARLE\u201991, volume 2, pages 403\u2013420. Springer Verlag, June 1991.","DOI":"10.1007\/3-540-54152-7_77"},{"key":"102_CR5","unstructured":"M. Carlsson and J. Widen. SICStus Prolog User\u2019s Manual. SICS Research Report R88007B, Swedish Institute of Computer Science, October 1988."},{"key":"102_CR6","series-title":"Lect Notes Comput Sci","volume-title":"EuroPar\u201999","author":"L. F. Castro","year":"1999","unstructured":"L. F. Castro, V. S. Costa, C. Geyer, F. Silva, P. Kayser, and M. E. Correia. DAOS: Distributed And-Or in Scalable Systems. In EuroPar\u201999. Springer-Verlag, LNCS, August 1999."},{"issue":"4\/5","key":"102_CR7","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0956-0521(95)00042-9","volume":"6","author":"M. E. Correia","year":"1995","unstructured":"M. E. Correia, F. Silva, and V. S. Costa. Aurora vs. Muse; A Performance Study of Two Or-Parallel Prolog Systems. Computing Systems in Engineering, 6(4\/5):345\u2013349, 1995.","journal-title":"Computing Systems in Engineering"},{"key":"102_CR8","unstructured":"M. E. Correia, F. Silva, and V. S. Costa. The SB A: Exploiting Orthogonality in AND-OR Parallel Systems. In ILPS\u201997, pages 117\u2013131. The MIT Press, 1997."},{"key":"102_CR9","unstructured":"V. S. Costa. COWL: Copy-On-Write for Logic Programs. In IPPS\u201999. IEEE Press, May 1999."},{"key":"102_CR10","series-title":"Lect Notes Comput Sci","volume-title":"PPDP\u201999","author":"V. S. Costa","year":"1999","unstructured":"V. S. Costa. Optimising Bytecode Emulation for Prolog. In PPDP\u201999. Springer-Verlag, LNCS, September 1999."},{"key":"102_CR11","doi-asserted-by":"crossref","unstructured":"V. S. Costa, D. H. D. Warren, and R. Yang. The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. In ICLP\u201991, 1991.","DOI":"10.1145\/109625.109635"},{"key":"102_CR12","unstructured":"L. Damas, V. S. Costa, R. Reis, and R. Azevedo. YAP User\u2019s Guide and Reference Manual, 1998. http:\/\/www.ncc.up.pt\/~vsc\/Yap"},{"key":"102_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/3-540-55599-4_114","volume-title":"PARLE\u201992","author":"G. Gupta","year":"1992","unstructured":"G. Gupta and V. S. Costa. And-Or Parallelism in Full Prolog with Paged Binding Arrays. In PARLE\u201992, pages 617\u2013632. Springer-Verlag, LNCS 605, June 1992."},{"issue":"4","key":"102_CR14","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1145\/155183.155220","volume":"15","author":"G. Gupta","year":"1993","unstructured":"G. Gupta and B. Jayaraman. Analysis of or-parallel execution models. ACM TOPLAS, 15(4):659\u2013680, 1993.","journal-title":"ACM TOPLAS"},{"key":"102_CR15","unstructured":"Gopal Gupta, M. Hermenegildo, E. Pontelli, and V\u00fdtor Santos Costa. ACE: And\/Or-parallel Copying-based Execution of Logic Programs. In Proc. ICLP\u201994, pages 93\u2013109. MIT Press, 1994."},{"issue":"23","key":"102_CR16","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"E. Lusk and et. al. The Aurora Or-parallel Prolog System. New Generation Computing, 7(2,3):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"102_CR17","series-title":"Lect Notes Comput Sci","first-page":"137","volume-title":"PADL\u201999","author":"R. Rocha","year":"1999","unstructured":"R. Rocha, F. Silva, and V. S. Costa. Or-Parallelism within Tabling. In PADL\u201999, pages 137\u2013151. Springer-Verlag, LNCS 1551, January 1999."},{"key":"102_CR18","doi-asserted-by":"crossref","unstructured":"R. Rocha, F. Silva, and V. S. Costa. YapOr: an Or-Parallel Prolog System based on Environment Copying. In EPIA\u201999, pages 178\u2013192. Springer-Verlag, LNAI 1695, September 1999.","DOI":"10.1007\/3-540-48159-1_13"},{"key":"102_CR19","unstructured":"P. Szeredi. Performance Analysis of the Aurora Or-parallel Prolog System. In NACLP\u201989, pages 713\u2013732. MIT Press, October 1989."},{"key":"102_CR20","unstructured":"D. H. D. Warren. The SRI Model for Or-Parallel Execution of Prolog\u2014Abstract Design and Implementation Issues. In SLP\u201987, pages 92\u2013102, 1987."}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2000 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44520-X_102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:12:48Z","timestamp":1684019568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44520-X_102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679561","9783540445203"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44520-x_102","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"18 August 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}