{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:03Z","timestamp":1725484563113},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655275"},{"type":"electronic","value":"9783540492016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_9","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T02:56:07Z","timestamp":1179629767000},"page":"122-136","source":"Crossref","is-referenced-by-count":1,"title":["The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems"],"prefix":"10.1007","author":[{"given":"Marcio G.","family":"Silva","sequence":"first","affiliation":[]},{"given":"In\u00eas C.","family":"Dutra","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Bianchini","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-54152-7_77","volume-title":"PARLE91: Conference on Parallel Architectures and Languages Europe","author":"A. Beaumont","year":"1991","unstructured":"Anthony Beaumont, S. Muthu Raman, and P\u00e9ter Szeredi. Flexible Scheduling of Or-Parallelism in Aurora: The Bristol Scheduler. In Aarts, E. H. L. and van Leeuwen, J. and Rem, M., editor, PARLE91: Conference on Parallel Architectures and Languages Europe, volume 2, pages 403\u2013420. Springer Verlag, June 1991. Lecture Notes in Computer Science 506."},{"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.","key":"9_CR2","DOI":"10.1109\/SIMSYM.1995.393588"},{"key":"9_CR3","volume-title":"Technical report","author":"J. A. Crammond","year":"1990","unstructured":"J. A. Crammond. The Abstract Machine and Implementation of Parallel Parlog. Technical report, Dept. of Computing, Imperial College, London, June 1990."},{"doi-asserted-by":"crossref","unstructured":"M. Dubois, J. Skeppstedt, L. Ricciulli, K. Ramamurthy, and P. Stenstrom. The detection and elimination of useless misses in multiprocessors. In Proceedings of the 20th ISCA, pages 88\u201397, May 1993.","key":"9_CR4","DOI":"10.1145\/173682.165145"},{"key":"9_CR5","series-title":"technical report CSTR-94-09","first-page":"289","volume-title":"Proceedings of the 1994 International Logic Programming Symposium","author":"I. C. Dutra","year":"1994","unstructured":"I. C. Dutra. Strategies for Scheduling And-and Or-Work in Parallel Logic Programming Systems. In Proceedings of the 1994 International Logic Programming Symposium, pages 289\u2013304. MIT Press, 1994. Also available as technical report CSTR-94-09, from the Department of Computer Science, University of Bristol, England."},{"doi-asserted-by":"crossref","unstructured":"I. C. 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. available at http:\/\/www.cos.ufrj.br\/~ines .","key":"9_CR6","DOI":"10.1109\/HICSS.1996.495516"},{"doi-asserted-by":"crossref","unstructured":"James R. Goodman. Using cache memory to reduce processor-memory traffic. In Proceedings of the 10th International Symposium on Computer Architecture, pages 124\u2013131, 1983.","key":"9_CR7","DOI":"10.1145\/1067651.801647"},{"unstructured":"Markus Hitz and Erich Kaltofen, editors. Proceedings of the Second International Symposium on Parallel Symbolic Computation, PASCO\u201997, July 1997.","key":"9_CR8"},{"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 ISCA, pages 148\u2013159, May 1990.","key":"9_CR9","DOI":"10.1145\/325096.325132"},{"issue":"1","key":"9_CR10","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":"23","key":"9_CR11","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"},{"doi-asserted-by":"crossref","unstructured":"E. M. McCreight. The Dragon Computer System, an Early Overview. In NATO Advanced Study Institute on Microarchitecture of VLSI Computers, July 1984.","key":"9_CR12","DOI":"10.1007\/978-94-009-5143-3_3"},{"doi-asserted-by":"crossref","unstructured":"Johan Montelius and Seif Haridi. An evaluation of Penny: a system for fine grain implicit parallelism. In Proceedings of 2nd International Symposium on Parallel Symbolic Computation8, July 1997.","key":"9_CR13","DOI":"10.1145\/266670.266686"},{"unstructured":"S. Raina, D. H. D. Warren, and J. Cownie. Parallel Prolog on a Scalable Multiprocessor. In Peter Kacsuk and Michael J. Wise, editors, Implementations of Distributed Prolog, pages 27\u201344. Wiley, 1992.","key":"9_CR14"},{"doi-asserted-by":"crossref","unstructured":"V. Santos Costa, 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 [8], pages 58\u201367, July 1997.","key":"9_CR15","DOI":"10.1145\/266670.266687"},{"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. Also available as technical report ES-389\/96, COPPE\/Systems Engineering, May, 1996.","key":"9_CR16"},{"doi-asserted-by":"crossref","unstructured":"V. Santos Costa and Bianchini R. Optimising Parallel Logic Programming Systems for Scalable Machines. In Proceedings of the EUROPAR\u201998, Sep 1998.","key":"9_CR17","DOI":"10.1007\/BFb0057937"},{"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 Symposium on Principles & Practice of Parallel Programming, pages 83\u201393. ACM press, April 1991. SIGPLAN Notices vol 26(7), July 1991.","key":"9_CR18","DOI":"10.1145\/109626.109635"},{"key":"9_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2017-3","volume-title":"Memory Performance of Prolog Architectures","author":"E. Tick","year":"1987","unstructured":"Evan Tick. Memory Performance of Prolog Architectures. Kluwer Academic Publishers, Norwell, MA 02061, 1987."},{"doi-asserted-by":"crossref","unstructured":"J. E. Veenstra and R. J. Fowler. Mint: A front end for efficient simulation of shared-memory multiprocessors. In Proceedings of the 2nd International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS\u2019 94), 1994.","key":"9_CR20","DOI":"10.1109\/MASCOT.1994.284422"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:57:21Z","timestamp":1556416641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}