{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:32:42Z","timestamp":1726407162717},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_86","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"1285-1299","source":"Crossref","is-referenced-by-count":0,"title":["The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems"],"prefix":"10.1007","author":[{"given":"In\u00eas","family":"de Castro Dutra","sequence":"first","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Bianchini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"unstructured":"Khayri A. M. Ali and Roland Karlsson. The Muse Or-parallel Prolog Model and its Performance. In Proceedings of the 1990 North American Conference on Logic Programming, pages 757\u2013776. MIT Press, October 1990.","key":"86_CR1"},{"unstructured":"Reem Bahgat. Solving Resource Allocation Problems in Pandora. Technical report, Imperial College, Department of Computing, 1990.","key":"86_CR2"},{"key":"86_CR3","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."},{"unstructured":"Johan Bevemyr, Thomas Lindgren, and H\u00e4kan Millroth. Reform Prolog: The Language and its Implementation. In Proceedings of the Tenth International Conference on Logic Programming, pages 283\u2013298. MIT Press, June 1993.","key":"86_CR4"},{"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":"86_CR5","DOI":"10.1109\/SIMSYM.1995.393588"},{"key":"86_CR6","series-title":"PhD thesis","volume-title":"Implementation of Committed Choice Logic Languages on Shared Memory Multiprocessors","author":"J. A. Crammond","year":"1988","unstructured":"J. A. Crammond. Implementation of Committed Choice Logic Languages on Shared Memory Multiprocessors. PhD thesis, Heriot-Watt University, Edinburgh, May 1988. Research Report PAR 88\/4, Dept. of Computing, Imperial College, London."},{"volume-title":"Technical report","year":"1990","author":"J. A. Crammond","unstructured":"J. A. Crammond. The Abstract Machine and Implementation of Parallel Parlog. Technical report, Dept. of Computing, Imperial College, London, June 1990.","key":"86_CR7"},{"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":"86_CR8","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":"86_CR9","DOI":"10.1145\/1067651.801647"},{"unstructured":"Gopal Gupta, M. V. Hermenegildo, E. Pontelli, and V. Santos Costa. ACE: And\/Or-parallel Copying-based Execution of Logic Programs. In Proceedings of the Eleventh International Conference on Logic Programming, Italy, June 1994.","key":"86_CR10"},{"unstructured":"Gopal Gupta, Enrico Pontelli, and Manuel Hermenegildo. &ACE: A High Performance Parallel Prolog System. In Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO\u201994, 1994.","key":"86_CR11"},{"unstructured":"M. V. Hermenegildo and K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In Proceedings of the Seventh International Conference on Logic Programming, pages 253\u2013268. MIT Press, June 1990.","key":"86_CR12"},{"unstructured":"Markus Hitz and Erich Kaltofen, editors. Proceedings of the Second International Symposium on Parallel Symbolic Computation, PASCO\u201997, July 1997.","key":"86_CR13"},{"key":"86_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF01762111","volume":"3","author":"A. R. Karlin","year":"1988","unstructured":"A. R. Karlin, M. S. Manasse, L. Rudolph, and D. D. Sleator. Competitive snoopy caching. Algorithmica, 3:79\u2013119, 1988.","journal-title":"Algorithmica"},{"unstructured":"L. Kov\u00e1cs. An Incremental Prolog System development for the Floor Plan Design by Dissecting. In Proceedings of the International Conference on Practical Application of Prolog, volume 2, 1992.","key":"86_CR15"},{"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":"86_CR16","DOI":"10.1145\/325096.325132"},{"issue":"2 3","key":"86_CR17","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":"86_CR18","DOI":"10.1007\/978-94-009-5143-3_3"},{"unstructured":"Johan Montelius. Penny, A Parallel Implementation of AKL. In ILPS\u201994 Post-Conference Workshop in Design and Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA, November 1994.","key":"86_CR19"},{"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":"86_CR20"},{"doi-asserted-by":"crossref","unstructured":"V. Santos Costa and R. Bianchini. Optimising Parallel Logic Programming Systems for Scalable Machines. In Proceedings of the EUROPAR\u201998, pages 831\u2013841, Sep 1998.","key":"86_CR21","DOI":"10.1007\/BFb0057937"},{"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":"86_CR22"},{"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 Erich Kaltofen, editors [13], pages 58\u201367, July 1997.","key":"86_CR23","DOI":"10.1145\/266670.266687"},{"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":"86_CR24","DOI":"10.1145\/109626.109635"},{"unstructured":"Kish Shen. Studies of And\/Or Parallelism in Prolog. PhD thesis, Computer Laboratory, University of Cambridge, 1992.","key":"86_CR25"},{"doi-asserted-by":"crossref","unstructured":"T. Chikayama, T. Fujise, and H. Yashiro. A Portable and Reasonably Efficient Implementation of KL1. In Proceedings of the Eleventh International Conference on Logic Programming, June 1993.","key":"86_CR26","DOI":"10.1007\/3-540-58402-1_4"},{"issue":"4","key":"86_CR27","first-page":"51","volume":"4","author":"C. P. Thacker","year":"1992","unstructured":"Charles P. Thacker, David G. Conroy, and Lawrence C. Stewart. The alpha demonstration unit: A high-performance multiprocessor for software and chip development. Digital Technical Journal, 4(4):51\u201365, 1992.","journal-title":"Digital Technical Journal"},{"key":"86_CR28","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":"86_CR29","DOI":"10.1109\/MASCOT.1994.284422"},{"unstructured":"David H. D. Warren. The Andorra model. Presented at Gigalips Project workshop, University of Manchester, March 1988.","key":"86_CR30"},{"unstructured":"David H. D. Warren and Fernando C. N. Pereira. An Efficient Easily Adaptable System for Interpreting Natural Language Queries. Technical Note, Dept of AI, University of Edinburgh, 1981.","key":"86_CR31"},{"unstructured":"Rong Yang, Tony Beaumont, In\u00eas 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.","key":"86_CR32"},{"unstructured":"Rong Yang, V\u00edtor Santos Costa, and David H. D. Warren. The Andorra-I Engine: A parallel implementation of the Basic Andorra model. In Proceedings of the Eighth International Conference on Logic Programming, pages 825\u2013839. MIT Press, 1991.","key":"86_CR33"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_86","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:24:20Z","timestamp":1556450660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_86","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}
