{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:22:49Z","timestamp":1726410169982},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540929949"},{"type":"electronic","value":"9783540929956"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92995-6_8","type":"book-chapter","created":{"date-parts":[[2009,1,9]],"date-time":"2009-01-09T14:02:58Z","timestamp":1231509778000},"page":"107-121","source":"Crossref","is-referenced-by-count":0,"title":["High Level Thread-Based Competitive Or-Parallelism in Logtalk"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Moura","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Sara C.","family":"Madeira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K., Carlsson, M., Hermenegildo, M.V.: Parallel Execution of Prolog Programs: A Survey. ACM Transactions on Programming Languages and Systems\u00a023, 472\u2013602 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR2","unstructured":"Ertel, W.: Performance Analysis of Competitive Or-Parallel Theorem Proving. Technical report fki-162-91, Technische Universit\u00e4t M\u00fcnchen (1991)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The Family of Concurrent Logic Programming Languages. ACM Computing Surveys\u00a021, 413\u2013510 (1989)","journal-title":"ACM Computing Surveys"},{"key":"8_CR4","unstructured":"Gonz\u00e1lez, A.: Speculative Threading: Creating New Methods of Thread-Level Parallelization. Technology@Intel Magazine (2005)"},{"key":"8_CR5","unstructured":"Moura, P.: (ISO\/IEC DTR 13211\u20135:2007 Prolog Multi-threading Support), \n                    \n                      http:\/\/logtalk.org\/plstd\/threads.pdf"},{"key":"8_CR6","unstructured":"Moura, P.: Logtalk \u2013 Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Computer Science, University of Beira Interior (2003)"},{"key":"8_CR7","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, 129\u2013162 (1990)","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","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":"8_CR9","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: International Conference on Fifth Generation Computer Systems, Institute for New Generation Computer Technology, pp. 819\u2013830 (1988)"},{"key":"8_CR10","first-page":"419","volume-title":"International Conference on Logic Programming","author":"A. Calderwood","year":"1989","unstructured":"Calderwood, A., Szeredi, P.: Scheduling Or-parallelism in Aurora \u2013 the Manchester Scheduler. In: International Conference on Logic Programming, pp. 419\u2013435. MIT Press, Cambridge (1989)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF01397627","volume":"19","author":"K. Ali","year":"1990","unstructured":"Ali, K., Karlsson, R.: Full Prolog and Scheduling OR-Parallelism in Muse. International Journal of Parallel Programming\u00a019, 445\u2013475 (1990)","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-54152-7_77","volume-title":"PARLE \u201991. Parallel Architectures and Languages Europe","author":"A. Beaumont","year":"1991","unstructured":"Beaumont, A., Raman, S., Szeredi, P., Warren, D.H.D.: Flexible Scheduling of OR-Parallelism in Aurora: The Bristol Scheduler. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds.) PARLE 1991. LNCS, vol.\u00a0506, pp. 403\u2013420. Springer, Heidelberg (1991)"},{"key":"8_CR13","first-page":"403","volume-title":"International Logic Programming Symposium","author":"R. Sindaha","year":"1993","unstructured":"Sindaha, R.: Branch-Level Scheduling in Aurora: The Dharma Scheduler. In: International Logic Programming Symposium, pp. 403\u2013419. MIT Press, Cambridge (1993)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/BF01547894","volume":"20","author":"A. Ciepielewski","year":"1991","unstructured":"Ciepielewski, A.: Scheduling in Or-parallel Prolog Systems: Survey and Open Problems. International Journal of Parallel Programming\u00a020, 421\u2013451 (1991)","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/BF01379406","volume":"21","author":"K. Ali","year":"1992","unstructured":"Ali, K., Karlsson, R.: Scheduling Speculative Work in MUSE and Performance Results. International Journal of Parallel Programming\u00a021, 449\u2013476 (1992)","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR16","first-page":"135","volume-title":"International Conference on Logic Programming","author":"A. Beaumont","year":"1993","unstructured":"Beaumont, A., Warren, D.H.D.: Scheduling Speculative Work in Or-Parallel Prolog Systems. In: International Conference on Logic Programming, pp. 135\u2013149. MIT Press, Cambridge (1993)"},{"key":"8_CR17","unstructured":"Moura, P.: (Logtalk), \n                    \n                      http:\/\/logtalk.org"},{"key":"8_CR18","first-page":"100","volume":"31","author":"T.J. Pfaff","year":"2003","unstructured":"Pfaff, T.J., Tran, M.M.: The generalized jug problem. Journal of Recreational Mathematics\u00a031, 100\u2013103 (2003)","journal-title":"Journal of Recreational Mathematics"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0304-3975(01)00060-3","volume":"282","author":"P. Boldi","year":"2002","unstructured":"Boldi, P., Santini, M., Vigna, S.: Measuring with jugs. Theoretical Computer Science\u00a0282, 259\u2013270 (2002)","journal-title":"Theoretical Computer Science"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Berger, E.D., Mckinley, K.S., Blumofe, R.D., Wilson, P.R.: Hoard: A scalable memory allocator for multithreaded applications. In: International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 117\u2013128 (2000)","DOI":"10.1145\/378993.379232"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: OLDT Resolution with Tabulation. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 84\u201398. Springer, Heidelberg (1986)"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM\u00a043, 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-77442-6_14","volume-title":"Practical Aspects of Declarative Languages","author":"P. Chico de Guzm\u00e1n","year":"2008","unstructured":"Chico de Guzm\u00e1n, P., Carro, M., Hermenegildo, M.V., Silva, C., Rocha, R.: An Improved Continuation Call-Based Implementation of Tabling. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 197\u2013213. Springer, Heidelberg (2008)"},{"key":"8_CR24","unstructured":"Marques, R.: Concurrent Tabling: Algorithms and Implementation. PhD thesis, Department of Computer Science, New University of Lisbon (2007)"},{"key":"8_CR25","unstructured":"Marques, R., Swift, T., Cunha, J.: Extending tabled logic programming with multi-threading: A systems perspective (2008), \n                    \n                      http:\/\/www.cs.sunysb.edu\/~tswift"},{"key":"8_CR26","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M.V., L\u00f3pez, P., Puebla, G.: (Ciao Prolog System Manual), \n                    \n                      http:\/\/clip.dia.fi.upm.es\/Software\/Ciao"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TCBB.2004.2","volume":"1","author":"S.C. Madeira","year":"2004","unstructured":"Madeira, S.C., Oliveira, A.L.: Biclustering algorithms for biological data analysis: a survey. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a01, 24\u201345 (2004)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"8_CR28","first-page":"979","volume":"13","author":"I.V. Mechelen","year":"2004","unstructured":"Mechelen, I.V., Bock, H.H., Boeck, P.D.: Two-mode clustering methods: a structured overview. Statistical Methods in Medical Research\u00a013, 979\u2013981 (2004)","journal-title":"Statistical Methods in Medical Research"},{"key":"8_CR29","series-title":"The MIT Electrical Engineering and Computer Science Series","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. The MIT Electrical Engineering and Computer Science Series. MIT Press, Cambridge (2001)","edition":"2"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Hastie, T., Tibshirani, R., Friedman, J.: The Elements of Statistical Learning. Data Mining, Inference and Prediction. Springer Series in Statistics (2001)","DOI":"10.1007\/978-0-387-21606-5"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-77442-6_18","volume-title":"Practical Aspects of Declarative Languages","author":"P. Moura","year":"2008","unstructured":"Moura, P., Crocker, P., Nunes, P.: High-Level Multi-threading Programming in Logtalk. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 265\u2013281. Springer, Heidelberg (2008)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/978-3-540-89982-2_63","volume-title":"ICLP 2008","author":"P. Moura","year":"2008","unstructured":"Moura, P., Rocha, R., Madeira, S.C.: Thread-Based Competitive Or-Parallelism. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 713\u2013717. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92995-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T20:43:47Z","timestamp":1551732227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92995-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540929949","9783540929956"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92995-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}