{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:06Z","timestamp":1725455886561},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540528504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018385","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:31:37Z","timestamp":1132637497000},"page":"266-275","source":"Crossref","is-referenced-by-count":0,"title":["An abstract machine for the Reduce-OR process model for parallel Prolog"],"prefix":"10.1007","author":[{"given":"Balkrishna","family":"Ramkumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laxmikant V.","family":"Kal\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Biswas P., Su S.C. and Yun D. Y. A Scalable Abstract Machine Model to Support Limited-OR\/Restricted-AND Parallelism in Logic Programs. In Proceedings of ICLP, Seattle, August 1988."},{"key":"22_CR2","unstructured":"Conery J.S. Binding Environments for Parallel Logic Programs in Nonshared Memory Multiprocessors. In Proceedings of SLP, San Francisco, September 1987."},{"key":"22_CR3","unstructured":"de Kergommeaux J.C. and Robert P. An Abstract Machine to implement efficiently OR-AND Parallel Prolog, In Proceedings of ICLP, Seattle, August 1988."},{"key":"22_CR4","unstructured":"DeGroot D. Restricted AND Parallelism. In Proceedings of the International Conference on FGCS, November 1984."},{"key":"22_CR5","unstructured":"Gregory S. Parallel Programming in Parlog, the Language and its Implementation. Addison Wesley, 1987."},{"key":"22_CR6","unstructured":"Gupta G. and Jayaraman B. Combined AND-OR Parallelism on Shared Memory Multiprocessors. In Proceedings of NACLP, Cleveland, October 1989."},{"key":"22_CR7","unstructured":"Hausman. B., Ciepielewski A. and Haridi S. OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. In Proceedings of SLP, San Francisco, September 1987."},{"key":"22_CR8","unstructured":"Hermenegildo M.V. An Abstract Machine based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. Ph.D. thesis, Dept. of Computer Science, University of Texas at Austin, 1986."},{"key":"22_CR9","unstructured":"Kale L.V. 'Completeness\u2019 and \u2018Full Parallelism\u2019 of Parallel Logic Programming Schemes. In Proceedings of SLP, San Francisco, September 1987."},{"key":"22_CR10","unstructured":"Kale L.V. Parallel Execution of Logic Programs: The Reduce-OR Process Model. In Proceedings of ICLP, Melbourne, May 1987."},{"key":"22_CR11","unstructured":"Kale L.V. and Shu W. The Chare Kernel Language for Parallel Programming: A Perspective. Technical Report UIUCDCS-R-88-1451, Dept. of Computer Science, University of Illinois at Urbana-Champaign, August 1988."},{"key":"22_CR12","unstructured":"Kale L.V., Ramkumar B. and Shu W. A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. In Proceedings of ICLP, Seattle, August 1988."},{"key":"22_CR13","unstructured":"Lin Y-J. and Kumar V. Performance of AND Parallel Execution of Logic Programs on a Shared Memory Multiprocessor. In Proceedings of International Conference of FGCS, Tokyo, November 1988."},{"key":"22_CR14","unstructured":"Lusk et. al. The Aurora OR-Parallel Prolog System. In Proceedings of International Conference of FGCS, Tokyo, November 1988."},{"key":"22_CR15","unstructured":"Mudambi S. Performance of Aurora on a Switch-Based Multiprocessor. In Proceedings of NACLP, Cleveland, October 1989."},{"key":"22_CR16","unstructured":"Ramkumar B. and Kale L.V. Compiled Execution of the Reduce-OR Process Model on Multiprocessors. In Proceedings of NACLP, Cleveland, October 1989."},{"key":"22_CR17","unstructured":"Taylor S., Safra S. and Shapiro E. A Parallel Implementation of Flat Concurrent Prolog. Technical Report CS87-04, Weizmann Institute of Science, October 1986."}],"container-title":["Lecture Notes in Computer Science","Knowledge Based Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018385.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:21Z","timestamp":1607550081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528504"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0018385","relation":{},"subject":[]}}