{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:59Z","timestamp":1725663659776},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572879"},{"type":"electronic","value":"9783540480365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57287-2_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:38:20Z","timestamp":1330259900000},"page":"170-182","source":"Crossref","is-referenced-by-count":2,"title":["An or-parallel prolog execution model for a distributed shared memory machine"],"prefix":"10.1007","author":[{"given":"Fernando M. A.","family":"Silva","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"13_CR1","unstructured":"Ali, K., Karlsson, R.: The Muse Or-parallel Prolog Model and its Performance, In Proc. of NACLP'90. The MIT Press, 757\u2013776, Oct., (1990)"},{"key":"13_CR2","unstructured":"Almasi, G., Gottlieb, A.: Highly Parallel Computing. Benjamin\/Cummings Inc. (1989)"},{"key":"13_CR3","volume-title":"Ph. D. Thesis","author":"M. Carlsson","year":"1990","unstructured":"Carlsson, M.: Design and Implementation of an OR-Parallel Prolog Engine. Ph. D. Thesis, SICS, Sweden, (1990)"},{"key":"13_CR4","first-page":"419","volume-title":"In Proc. of 6th ICLP","author":"A. Calderwood","year":"1989","unstructured":"Calderwood, A. and Szeredi, P.: Scheduling Or-parallelism in Aurora \u2014 the Manchester Scheduler. In Proc. of 6th ICLP, The MIT Press, Lisbon, 419\u2013435, June, (1989)"},{"key":"13_CR5","unstructured":"Gupta, G. and Jayaraman, B.: On Criteria for Or-parallel Execution of Logic Programs. In Proc. of NACLP'90. The MIT Press, Oct., (1990)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Istavrinos, P. and Borrmann, L.: A process and memory model for a distributed-memory machine. In Proc. of CONPAR'90, LNCS-457, Springer-Verlag, 479\u2013488, Zurich, Sept., (1990)","DOI":"10.1007\/3-540-53065-7_126"},{"key":"13_CR7","first-page":"819","volume-title":"In Proc. of FGCS'88","author":"E. Lusk","year":"1988","unstructured":"Lusk, E., Warren, D.H.D., Haridi, S., et al.: The Aurora Or-Parallel Prolog System. In Proc. of FGCS'88, 819\u2013830, ICOT, Tokyo, Japan, Nov. (1988)"},{"key":"13_CR8","unstructured":"Sargeant, J.: EDS Parallel Machine Simulator: version 2. Tech. Report EDS.UD.3I.M016, EDS Group, Univ. Manchester, Nov., (1991)"},{"key":"13_CR9","unstructured":"Shen, K.: An Investigation of the Argonne Model of Or-Parallel Prolog. M.Sc. Thesis, Dep. of Comp. Science, Univ. of Manchester, (1986)"},{"key":"13_CR10","first-page":"502","volume-title":"Proc. of 10th Int. Conf. on Distributed Computing Systems","author":"N.G. Shivaratri","year":"1990","unstructured":"Shivaratri, N.G. and Krueger, P.: Two Adaptative Location Policies for Global Scheduling Algorithms. In Proc. of 10th Int. Conf. on Distributed Computing Systems, Paris, IEEE, 502\u2013509, May, (1990)"},{"key":"13_CR11","unstructured":"Silva, F.M.A.: An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture. Ph.D. Thesis, Dept. of Comp. Science, Univ. of Manchester, (1993)"},{"key":"13_CR12","unstructured":"Szeredi, P.: Performance Analysis of the Aurora Or-parallel Prolog System. In Proc. of NACLP'89, The MIT Press, 713\u2013732, Oct., (1989)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Tick, E.: Memory Performance of Prolog Architectures. Kluwer Academic Publishers, (1987)","DOI":"10.1007\/978-1-4613-2017-3"},{"key":"13_CR14","unstructured":"Tick, E.: Parallel Logic Programming. The MIT Press, (1991)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Ward, M., Townsend, P., and Watzlawik, G.: EDS Hardware Architecture. In Proc. of CONPAR'90. Springer-Verlag, LNCS-457, 816\u2013827, Zurich, Sept. (1990)","DOI":"10.1007\/3-540-53065-7_157"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BFb0014984","volume-title":"In Proc. of TAPSOFT'87","author":"D.H.D. Warren","year":"1987","unstructured":"Warren, D.H.D.: Or-Parallel Execution Models of Prolog. In Proc. of TAPSOFT'87. Springer-Verlag, LNCS, 243\u2013259, Pisa, March, (1987)"},{"key":"13_CR17","first-page":"92","volume-title":"Proc. of ISLP'87","author":"D.H.D. Warren","year":"1987","unstructured":"Warren, D.H.D.: The SRI Model for Or-Parallel Execution of Prolog \u2014 Abstract Design and Implementation Issues. In Proc. of ISLP'87, IEEE, San Francisco, California, 92\u2013102, (1987)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57287-2_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:02:33Z","timestamp":1619571753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57287-2_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572879","9783540480365"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57287-2_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}