{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:24:08Z","timestamp":1725564248943},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205890"},{"type":"electronic","value":"9783540245803"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24580-3_21","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T19:01:46Z","timestamp":1283713306000},"page":"136-150","source":"Crossref","is-referenced-by-count":2,"title":["YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Rocha","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Rolando","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. Ali","year":"1990","unstructured":"Ali, K., Karlsson, R.: The Muse Approach to OR-Parallel Prolog. International Journal of Parallel Programming\u00a019(2), 129\u2013162 (1990)","journal-title":"International Journal of Parallel Programming"},{"issue":"1&4","key":"21_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF03037528","volume":"11","author":"K. Ali","year":"1992","unstructured":"Ali, K., Karlsson, R., Mudambi, S.: Performance of Muse on Switch-Based Multiprocessor Machines. New Generation Computing\u00a011(1&4), 81\u2013103 (1992)","journal-title":"New Generation Computing"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0743-1066(96)00117-3","volume":"33","author":"L. Araujo","year":"1997","unstructured":"Araujo, L., Ruz, J.: A Parallel Prolog System for Distributed Memory. Journal of Logic Programming\u00a033(1), 49\u201379 (1997)","journal-title":"Journal of Logic Programming"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/3-540-57186-8_86","volume-title":"Programming Language Implementation and Logic Programming","author":"V. Benjumea","year":"1993","unstructured":"Benjumea, V., Troya, J.M.: An OR Parallel Prolog Model for Distributed Memory Systems. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, pp. 291\u2013301. Springer, Heidelberg (1993)"},{"key":"21_CR5","first-page":"45","volume-title":"Implementations of Distributed Prolog","author":"J. Briat","year":"1992","unstructured":"Briat, J., Favre, M., Geyer, C., Chassin de Kergommeaux, J.: OPERA: Or- Parallel Prolog System on Supernode. In: Implementations of Distributed Prolog, pp. 45\u201364. Wiley & Sons, New York (1992)"},{"key":"21_CR6","unstructured":"Carlsson, M., Widen, J.: SICStus Prolog User\u2019s Manual. SICS Research Report R88007B, Swedish Institute of Computer Science (1988)"},{"issue":"4","key":"21_CR7","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1145\/155183.155220","volume":"15","author":"G. Gupta","year":"1993","unstructured":"Gupta, G., Jayaraman, B.: Analysis of Or-parallel Execution Models. ACM Transactions on Programming Languages\u00a015(4), 659\u2013680 (1993)","journal-title":"ACM Transactions on Programming Languages"},{"key":"21_CR8","first-page":"290","volume-title":"Proceedings of the 16th International Conference on Logic Programming","author":"G. Gupta","year":"1999","unstructured":"Gupta, G., Pontelli, E.: Stack Splitting: A Simple Technique for Implementing Or-parallelism on Distributed Machines. In: Proceedings of the 16th International Conference on Logic Programming, pp. 290\u2013304. The MIT Press, Cambridge (1999)"},{"key":"21_CR9","unstructured":"Open Systems Laboratory. LAM\/MPI Parallel Computing (2003), Available from \n                    \n                      http:\/\/www.lam-mpi.org"},{"key":"21_CR10","unstructured":"Lusk, E., Butler, R., Disz, T., Olson, R., Overbeek, R., Stevens, R., Warren, D.H.D., Calderwood, A., Szeredi, P., Haridi, S., Brand, P., Carlsson, M., Ciepielewski, A., Hausman, B.: The Aurora Or-Parallel Prolog System. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 819\u2013830. ICOT, Tokyo (1988)"},{"issue":"3","key":"21_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F. Mattern","year":"1987","unstructured":"Mattern, F.: Algorithms for Distributed Termination Detection. Distributed Computing\u00a02(3), 161\u2013175 (1987)","journal-title":"Distributed Computing"},{"key":"21_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/3-540-48159-1_13","volume-title":"Progress in Artificial Intelligence","author":"R. Rocha","year":"1999","unstructured":"Rocha, R., Silva, F., Santos Costa, V.: YapOr: an Or-Parallel Prolog System Based on Environment Copying. In: Barahona, P., Alferes, J.J. (eds.) EPIA 1999. LNCS (LNAI), vol.\u00a01695, pp. 178\u2013192. Springer, Heidelberg (1999)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-45635-X_11","volume-title":"Logic Programming","author":"R. Rocha","year":"2001","unstructured":"Rocha, R., Silva, F., Santos Costa, V.: On a Tabling Engine that Can Exploit Or-Parallelism. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 43\u201358. Springer, Heidelberg (2001)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/10704567_16","volume-title":"Principles and Practice of Declarative Programming","author":"V. Santos Costa","year":"1999","unstructured":"Santos Costa, V.: Optimising Bytecode Emulation for Prolog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 261\u2013267. Springer, Heidelberg (1999)"},{"issue":"2","key":"21_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0743-1066(99)00064-3","volume":"43","author":"F. Silva","year":"2000","unstructured":"Silva, F., Watson, P.: Or-Parallel Prolog on a Distributed Memory Architecture. Journal of Logic Programming\u00a043(2), 173\u2013186 (2000)","journal-title":"Journal of Logic Programming"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-45635-X_10","volume-title":"Logic Programming","author":"K. Villaverde","year":"2001","unstructured":"Villaverde, K., Pontelli, E., Guo, H., Gupta, G.: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 27\u201342. Springer, Heidelberg (2001)"},{"key":"21_CR17","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. Technical report, IC-Parc, Imperial College, London (1997)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24580-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:36:47Z","timestamp":1558287407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24580-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205890","9783540245803"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24580-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}