{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:20Z","timestamp":1725664400700},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:02:57Z","timestamp":1330272177000},"page":"289-300","source":"Crossref","is-referenced-by-count":1,"title":["On logic program parallelisation strategies"],"prefix":"10.1007","author":[{"given":"Steven","family":"Prestwich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"2","key":"26_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"Ali, K. A. M., Karlsson, R.: The Muse approach to OR-parallel programming. Int. J. Par. Prog. 19(2) (1990) 129\u2013162.","journal-title":"Int. J. Par. Prog."},{"key":"26_CR2","unstructured":"Carlsson, M., Danhof, K., Overbeek, R.: A simplified approach to the implementation of AND-parallelism in an OR-parallel environment. Proc. 5th Int. Conf. Logic Prog. (1988) 1565\u20131577."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Veron, A., Schuerman, K., Reeve, M., Li, L.: Why and how in the ElipSys OR-parallel CLP system. Proc. Par. Arch. and Lang. Europe (1993) 291\u2013302.","DOI":"10.1007\/3-540-56891-3_23"},{"issue":"12","key":"26_CR4","doi-asserted-by":"crossref","first-page":"1434","DOI":"10.1109\/12.61072","volume":"39","author":"B. S. Fagin","year":"1990","unstructured":"Fagin, B. S., Despain, A., Despain, M.: The performance of parallel Prolog programs. IEEE Trans. Comp. 39(12) (1990) 1434\u20131445.","journal-title":"IEEE Trans. Comp."},{"issue":"6","key":"26_CR5","first-page":"183","volume":"27","author":"T.-H. Lai","year":"1984","unstructured":"Lai, T.-H., Sahni, S.: Anomalies in parallel branch-and-bound algorithms. Proc. Int. Conf. Parallel Processing (August 1983) 183\u2013190. Also Comm. ACM 27(6) (1984) 594\u2013602.","journal-title":"Also Comm. ACM"},{"key":"26_CR6","unstructured":"Lusk, E. et al: The Aurora OR-parallel Prolog system. Proc. Int. Conf. 5th Gen. Comp. Sys. (1988) 819\u2013830."},{"key":"26_CR7","unstructured":"Prestwich, S. D.: Parallel speedup anomalies and program development. Tech. Rep. ECRC-93-12 (1993)."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Prestwich, S. D., Kusalik, A. J.: High-Level Visualisation of Parallel Logic Program Execution. Proc. Par. Arch. and Lang. Europe (1994) (to appear).","DOI":"10.1007\/3-540-58184-7_100"},{"issue":"4","key":"26_CR9","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1109\/71.219757","volume":"4","author":"V. Rao","year":"1993","unstructured":"Rao, V., Rao, N., Kumar, V.: On the efficiency of parallel backtracking. IEEE Trans. Par. and Dist. Sys. 4(4) (1993) 427\u2013437.","journal-title":"IEEE Trans. Par. and Dist. Sys."},{"issue":"7","key":"26_CR10","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.1993.274941","volume":"26","author":"J. Singh","year":"1993","unstructured":"Singh, J., Singh, P., Hennesy, J., Hennesy, L., Gupta, A.: Scaling parallel programs for multiprocessors: methodology and examples. Computer 26(7) (1993) 42\u201350.","journal-title":"Computer"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Sun, X.-H., Ni, L., M.: Another view on parallel speedup. Proc. Supercomputing (1990) 324\u2013333.","DOI":"10.1109\/SUPERC.1990.130037"},{"key":"26_CR12","unstructured":"Weide, B., W.: Analytical models to explain anomalous behaviour of parallel algorithms. Proc. Int. Conf. Par. Proc. (1981) 183\u2013187."},{"issue":"4","key":"26_CR13","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/71.97904","volume":"2","author":"E. E. Witte","year":"1991","unstructured":"Witte, E. E., Chamberlain, R. D., Franklin, M., Franklin, A.: Parallel simulated annealing using speculative computation. IEEE Trans. Par. and Dist. Systems 2(4) (1991) 483\u2013494.","journal-title":"IEEE Trans. Par. and Dist. Systems"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:15:35Z","timestamp":1619572535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}