{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:37:05Z","timestamp":1725467825925},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649526"},{"type":"electronic","value":"9783540499206"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0057937","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T15:01:27Z","timestamp":1154444487000},"page":"831-841","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Optimising parallel logic programming systems for scalable machines"],"prefix":"10.1007","author":[{"given":"V\u00edtor Santos","family":"Costa","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Bianchini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,6,30]]},"reference":[{"key":"103_CR1","doi-asserted-by":"crossref","unstructured":"R. Bianchini and L. I. Kontothanassis. Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols. In Proceedings of the 28th Annual Simulation Symposium, April 1995.","DOI":"10.21236\/ADA290022"},{"key":"103_CR2","doi-asserted-by":"crossref","unstructured":"In\u00cas Dutra. Distributing And-and Or-Work in the Andorra-I Parallel Logic Programming System. PhD thesis, University of Bristol, Department of Computer Science, February 1995.","DOI":"10.1109\/HICSS.1996.495516"},{"key":"103_CR3","doi-asserted-by":"crossref","unstructured":"D. Lenoski, J. Laudon, K. Gharachorloo, A. Gupta, and J. Hennessy. The directory-based cache coherence protocol for the DASH multiprocessor. Proceedings of the 17th International Symposium on Computer Architecture, pages 148\u2013159, May 1990.","DOI":"10.1145\/325096.325132"},{"issue":"1","key":"103_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/71.205652","volume":"4","author":"D. Lenoski","year":"1993","unstructured":"D. Lenoski, J. Laudon, T. Joe, D. Nakahira, L. Stevens, A. Gupta, and J. Hennessy. The dash prototype: Logic overhead and performance. IEEE Transactions on Parallel and Distributed Systems, 4(1):41\u201361, Jan 1993.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"2","key":"103_CR5","doi-asserted-by":"publisher","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":"103_CR6","doi-asserted-by":"crossref","unstructured":"V. Santos Costa and R. Bianchini. Optimising Parallel Logic Programming Systems for Scalable Machines. Technical Report DCC-97-7, DCC \u2014 FC & LIACC, UP, October 1997.","DOI":"10.1145\/266670.266687"},{"key":"103_CR7","unstructured":"V. Santos Costa, R. Bianchini, and I. C. Dutra. Evaluating the impact of coherence protocols on parallel logic programming systems. In Proceedings of the 5th EUROMICRO Workshop on Parallel and Distributed Processing, pages 376\u2013381, 1997."},{"key":"103_CR8","doi-asserted-by":"crossref","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 PPOPP, pages 83\u201393. ACM press, April 1991.","DOI":"10.1145\/109626.109635"},{"key":"103_CR9","unstructured":"J. E. Veenstra and R. J. Fowler. Mint: A front end for efficient simulation of shared-memory multiprocessors. In Proceedings of MASCOTS \u201994), 1994."},{"key":"103_CR10","unstructured":"Rong Yang, Tony Beaumont, In\u00cas Dutra, V\u00edtor Santos Costa, and David H. D. Warren. Performance of the Compiler-Based Andorra-I System. In Proceedings of the Tenth International Conference on Logic Programming, pages 150\u2013166. MIT Press, June 1993."}],"container-title":["Lecture Notes in Computer Science","Euro-Par\u201998 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:08:04Z","timestamp":1587341284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057937"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649526","9783540499206"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0057937","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"30 June 2006","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"}]}}