{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:04:15Z","timestamp":1725527055911},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/ipdpsw.2012.199","type":"proceedings-article","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T12:03:11Z","timestamp":1345636991000},"page":"1581-1590","source":"Crossref","is-referenced-by-count":0,"title":["Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines"],"prefix":"10.1109","author":[{"given":"Ines","family":"Dutra","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Vitor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Joao","family":"Santos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01414554"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2017-3"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407834"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397627"},{"key":"15","first-page":"178","article-title":"Yapor: An or-parallel prolog system based on environment copying","author":"rocha","year":"1999","journal-title":"EPIA'99"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000190"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54152-7_77"},{"key":"14","first-page":"403","article-title":"Branch-Level Scheduling in Aurora: The Dharma Scheduler","author":"sindaha","year":"1993","journal-title":"International Logic Programming Symposium"},{"key":"11","first-page":"757","article-title":"The Muse Or-parallel Prolog Model and its Performance","author":"ali","year":"1990","journal-title":"Proceedings of the North American Conference on Logic Programming"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379406"},{"key":"21","first-page":"744","article-title":"Novel Models for Or-Parallel Logic Programs: A Performance Analysis","author":"santos costa","year":"2000","journal-title":"LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-008-5094-2"},{"key":"20","first-page":"77","article-title":"On Supporting Parallelism in a Logic Programming System","author":"santos costa","year":"0","journal-title":"Workshop on Declarative Aspects of Multicore Programming 2008"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"journal-title":"Research Directions in Parallel Functional Programming","year":"2000","author":"hammond","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037208"},{"key":"7","article-title":"From prolog to porsche: Experiences developing a large scale financial application in prolog","author":"elston","year":"2009","journal-title":"Commercial Users of Logic Programming in Conjunction with ICLP 2009"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/170088.170419"},{"key":"5","article-title":"The ontology works deductive database system","author":"spratt","year":"2009","journal-title":"Commercial Users of Logic Programming in Conjunction with ICLP 2009"},{"key":"4","article-title":"Logic for enterprise decision automation applications","author":"aref","year":"2009","journal-title":"Commercial Users of Logic Programming in Conjunction with ICLP 2009"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/185403.185453"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1985.6312194"}],"event":{"name":"2012 26th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)","start":{"date-parts":[[2012,5,21]]},"location":"Shanghai, China","end":{"date-parts":[[2012,5,25]]}},"container-title":["2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops &amp; PhD Forum"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6269389\/6270391\/06270831.pdf?arnumber=6270831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:56:15Z","timestamp":1490118975000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6270831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ipdpsw.2012.199","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}