{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:29Z","timestamp":1725458969961},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644439"},{"type":"electronic","value":"9783540697831"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0037156","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:03:16Z","timestamp":1138201396000},"page":"294-304","source":"Crossref","is-referenced-by-count":2,"title":["A dynamic task distribution and engine allocation strategy for distributed execution of logic programs"],"prefix":"10.1007","author":[{"given":"George","family":"Xirogiannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamish","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,22]]},"reference":[{"unstructured":"K.A.M Ali and R. Karlsson. Scheduling OR-parallelism in MUSE. In K. Furukawa, editor, 8th International Conference on Logic Programming, pages 807\u2013821, Paris, June 1991.","key":"31_CR1"},{"issue":"1","key":"31_CR2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0743-1066(96)00117-3","volume":"33","author":"L. Araujo","year":"1997","unstructured":"L. Araujo and J.J. Ruz. A parallel Prolog system for distributed memory. International Journal of Logic Programming, 33(1):49\u201379, October 1997.","journal-title":"International Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"A. Beaumont, S.M. Raman, and P. Szeredi. Flexible scheduling of OR-parallelism in Aurora: The Bristol scheduler. Technical report, Department of Computer Science, University of Bristol, October 1990.","key":"31_CR3","DOI":"10.1007\/978-3-662-25209-3_50"},{"key":"31_CR4","first-page":"45","volume-title":"Implementations of Distributed Prolog","author":"J. Briat","year":"1992","unstructured":"J. Briat, M. Favre, C. Geyer, and J.C. de Kergommeaux. OPERA: Or-parallel Prolog system on Supernode. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 45\u201364, John Wiley,Chichester, 1992."},{"unstructured":"G.F. Coulouris and J. Dollimore. Distributed Systems: concepts and design, 2nd edition. Addison Wesley, 1994.","key":"31_CR5"},{"key":"31_CR6","first-page":"335","volume-title":"Implementations of Distributed Prolog","author":"J.C. Cunha","year":"1992","unstructured":"J.C. Cunha, P.D. Medeiros, M.B. Carvalhosa, and L.M. Pereira. Delta-Prolog: A distributed logic programming language and its implementation on distributed memory multiprocessors. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 335\u2013356, John Wiley,Chichester, 1992."},{"doi-asserted-by":"crossref","unstructured":"I. de Castro Dutra. A flexible scheduler in the Andorra-I system. In Anthony Beaumont and Gopal Gupta, editors, Proceedings of ICLP '91-Pre-Conference workshop on Parallel Execution of Logic Programs, pages 70\u201382, Paris, June 1991.","key":"31_CR7","DOI":"10.1007\/3-540-55038-0_6"},{"doi-asserted-by":"crossref","unstructured":"S.K. Debray, P.L. Garcia, M.V. Hermenegildo, and N.W. Lin. Estimating the computational cost of logic programs. In B.L. Charlier, editor, Static Analysis Symposium 1994, pages 255\u2013265, Namur, Belgium, Sept 1994.","key":"31_CR8","DOI":"10.1007\/3-540-58485-4_45"},{"unstructured":"I. Futo. The real time extension of CS-Prolog professional. In J. Barklund, B. Jayaraman, and J. Tanaka, editors, ICLP'94-Workshop on Parallel and Data Parallel Execution of Logic Programs, Santa Margherita Ligure, June 1994.","key":"31_CR9"},{"issue":"34","key":"31_CR10","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M.V. Hermenegildo","year":"1991","unstructured":"M.V. Hermenegildo and K.J. Greene. The &-Prolog system: Exploiting independent AND-parallelism. New Generation Computing, 9(3,4):233\u2013257, 1991.","journal-title":"New Generation Computing"},{"key":"31_CR11","volume-title":"Implementations of Distributed Prolog","author":"P. Kacsuk","year":"1992","unstructured":"P. Kacsuk and M.J. Wise. Implementations of Distributed Prolog. John Wiley,Chichester, 1992."},{"issue":"23","key":"31_CR12","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"E. Lusk, D.H.D. Warren, and S. Haridi. The Aurora OR-parallel system. New Generation Computing, 7(2,3):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"unstructured":"E. Morel, J. Briat, J.C. de Kergommeaux, and C. Geyer. Side-effects in PloSys Orparallel Prolog on distributed memory machines. In M.J. Maher, editor, ICSLP'96-Compulog Net Meeting on Parallelism and Implementation Issues, Bonn, September 1996.","key":"31_CR13"},{"unstructured":"E. Shapiro. An OR-parallel algorithm for Prolog and its FCP implementation. In J.L. Lassez, editor, Proceedings of Forth International Conference on Logic Programming, pages 311\u2013337, Melbourne, May 1987.","key":"31_CR14"},{"issue":"23","key":"31_CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0096-0551(96)00013-6","volume":"22","author":"H. Taylor","year":"1996","unstructured":"H. Taylor. Assembling a resolution multiprocessor from interface, programming and distributed processing components. Computer Languages, 22(2,3):181\u2013192, 1996.","journal-title":"Computer Languages"},{"doi-asserted-by":"crossref","unstructured":"J. Turek, K. Pattipati, P. S. Yu, and J. Wolf. Scheduling parallelizable tasks: Putting it all on the shelf. In ACM SIGMETRICS and PERFORMANCE International Conference on Measurement and Modeling of Computer Systems, pages 225\u2013236, Rhode Island, USA, June 1992.","key":"31_CR16","DOI":"10.1145\/133057.133111"},{"key":"31_CR17","first-page":"143","volume-title":"Implementations of Distributed Prolog","author":"A. Verden","year":"1992","unstructured":"A. Verden and H. Glaser. An AND-OR-parallel distributed Prolog executor. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 143\u2013157, John Wiley,Chichester, 1992."},{"issue":"2","key":"31_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1002\/spe.4380230203","volume":"22","author":"M.J. Wise","year":"1993","unstructured":"M.J. Wise. Experience with PMS-Prolog: A distributed, coarse-grain-parallel Prolog with processes, modules and streams. Software Practice and Experience, 22(2):151\u2013175, 1993.","journal-title":"Software Practice and Experience"},{"unstructured":"G. Xirogiannis. Compile-time analysis of freeness and side-effects for distributed. execution of Prolog programs. In T. Sellis and G. Pagkalos, editors, 6th Hellenic. Conference on Informatics, pages 701\u2013722, Athens, December 1997.","key":"31_CR19"},{"key":"31_CR20","volume-title":"Execution of Prolog by Transformations on Distributed Memory Multi-Processors","author":"G. Xirogiannis","year":"1998","unstructured":"G. Xirogiannis.Execution of Prolog by Transformations on Distributed Memory Multi-Processors. PhD thesis, Dep. of Computing & Elec. Engineering, Heriot-Watt University, Edinburgh, Scotland, 1998."},{"doi-asserted-by":"crossref","unstructured":"G. Xirogiannis. Granularity Control for Distributed Execution of Logic Programs. In 18th International Conference on Distributed Computing Systems to appear, Amsterdam, May 1998.","key":"31_CR21","DOI":"10.1109\/ICDCS.1998.679506"}],"container-title":["Lecture Notes in Computer Science","High-Performance Computing and Networking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:32:37Z","timestamp":1555425157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644439","9783540697831"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0037156","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}