{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:04:19Z","timestamp":1773983059506,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664437","type":"print"},{"value":"9783540483113","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","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":[[1999]]},"DOI":"10.1007\/3-540-48311-x_125","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:16:48Z","timestamp":1269897408000},"page":"899-908","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["DAOS \u2014 Scalable And-Or Parallelism"],"prefix":"10.1007","author":[{"given":"Lu\u00edsFernando","family":"Castro","sequence":"first","affiliation":[]},{"given":"Cl\u00e1udio F. R.","family":"Geyer","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia Kayser","family":"Vargas","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Manuel E.","family":"Correia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,6]]},"reference":[{"key":"125_CR1","unstructured":"K.A.M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In Proceedings of the North American Conference on Logic Programming, pages 757\u2013776. MIT Press, October 1990."},{"key":"125_CR2","doi-asserted-by":"crossref","unstructured":"J. Briat, M. Favre, C. Geyer, and J. Chassin. Scheduling of or-parallel Prolog on a scaleable, reconfigurable, distributed-memory multiprocessor. In Proceedings of Parallel Architecture and Languages Europe. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54152-7_76"},{"issue":"2","key":"125_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/2.485843","volume":"19","author":"C. Amza","year":"1996","unstructured":"C. Amza et al. TreadMarks: Shared memory computing on networks of workstations. IEEE Computer, 19(2):18\u201328, February 1996.","journal-title":"IEEE Computer"},{"key":"125_CR4","doi-asserted-by":"crossref","unstructured":"P. Codognet and D. Diaz. wamcc: Compiling Prolog to C. In 12th International Conference on Logic Programming. The MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0037"},{"key":"125_CR5","unstructured":"M.E. Correia, F.M.A. Silva, and V. Santos Costa. The SBA: Exploiting orthogonality in OR-AND Parallel Systems. In Proceedings of the 1997 International Logic Programming Symposium, October 1997."},{"issue":"34","key":"125_CR6","first-page":"770","volume":"11","author":"G. Gupta","year":"1993","unstructured":"G. Gupta, M. Hermenegildo, and V. Santos Costa. And-Or Parallel Prolog: A Recomputation based Approach. New Generation Computing, 11(3,4):770\u2013782, 1993.","journal-title":"New Generation Computing"},{"key":"125_CR7","doi-asserted-by":"crossref","unstructured":"M.V. Hermenegildo. An Abstract Machine for Restricted And-Parallel Execution of Logic Programs. In E. Shapiro, editor, Third International Conference on Logic Programming, London, pages 25\u201339. Springer-Verlag, July 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"125_CR8","unstructured":"E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D.H.D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepelewski, and B. Hausman. The Aurora or-parallel Prolog system. In International Conference on Fifth Generation Computer Systems 1988, pages 819\u2013830. ICOT, Tokyo, Japan, Nov. 1988."},{"key":"125_CR9","doi-asserted-by":"crossref","unstructured":"E. Pontelli, G. Gupta, M. Hermenegildo, M. Carro, and D. Tang. Efficient Implementation of And-Parallel Logic Programming Systems. Computer Languages, 22(2\/3), 1996.","DOI":"10.1016\/S0096-0551(96)00010-0"},{"key":"125_CR10","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, R. Bianchini, and I.C. Dutra. Parallel Logic Programming Systems on Scalable Multiprocessors. In Proceedings of the 2nd International Symposium on Parallel Symbolic Computation, PASCO\u201997, pages 58\u201367, July 1997.","DOI":"10.1145\/266670.266687"},{"key":"125_CR11","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, M.E. Correia, and F. Silva. Performance of Sparse Binding Arrays for Or-Parallelism. In Proceedings of the VIII Brazilian Symposium on Computer Architecture and High Performance Processing-SBAC-PAD, August 1996.","DOI":"10.5753\/sbac-pad.1996.19823"},{"issue":"7","key":"125_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/109625.109635","volume":"26","author":"V.S. Costa","year":"1991","unstructured":"V. Santos Costa, D.H.D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And-and Or-Parallelism. In Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, pages 83\u201393. ACM press, April 1991. SIGPLAN Notices vol 26(7), July 1991.","journal-title":"Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP"},{"key":"125_CR13","unstructured":"K. Shen. Initial Results from the Parallel Implementation of DASWAM. In M. Maher, editor, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. The MIT Press, 1996."},{"key":"125_CR14","doi-asserted-by":"crossref","unstructured":"F.M.A. Silva. An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture. PhD thesis, Dept. of Computer Science, Univ. of Manchester, September 1993.","DOI":"10.1007\/3-540-57287-2_46"},{"key":"125_CR15","unstructured":"A.R. Verden and H. Glaser. Independent And-Parallel Prolog for Distributed Memory Architectures. Technical report, Department of Electronics and Computer Science, University of Southampton, Apr. 1990."},{"key":"125_CR16","unstructured":"D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Euro-Par\u201999 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48311-X_125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T11:36:33Z","timestamp":1711366593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48311-X_125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664437","9783540483113"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48311-x_125","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"6 August 1999","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"}]}}