{"id":"https://openalex.org/W2210190948","doi":"https://doi.org/10.1109/ipdps.2002.1015488","title":"Achieving scalability in parallel tabled logic programs","display_name":"Achieving scalability in parallel tabled logic programs","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2210190948","doi":"https://doi.org/10.1109/ipdps.2002.1015488","mag":"2210190948"},"language":"en","primary_location":{"id":"doi:10.1109/ipdps.2002.1015488","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2002.1015488","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 16th International Parallel and Distributed Processing Symposium","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007895512","display_name":"Ricardo Rocha","orcid":"https://orcid.org/0000-0003-4502-8835"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"R. Rocha","raw_affiliation_strings":["DCC-FC & LIACC, Universidade do Porto, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DCC-FC & LIACC, Universidade do Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100363368","display_name":"Fernando Silva","orcid":"https://orcid.org/0000-0001-8411-7094"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"F. Silva","raw_affiliation_strings":["DCC-FC & LIACC, Universidade do Porto, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DCC-FC & LIACC, Universidade do Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059093687","display_name":"V\u0131\u0301tor Santos Costa","orcid":"https://orcid.org/0000-0002-3344-8237"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"V.S. Costa","raw_affiliation_strings":["COPPE Systems, Universidade Federal do Rio de Janeiro, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"COPPE Systems, Universidade Federal do Rio de Janeiro, Canada","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7 pp","last_page":"7 pp"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8608397245407104},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.8403527736663818},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7384642958641052},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.7118399143218994},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.6723810434341431},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5799211263656616},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.4368385672569275},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.42243948578834534},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4003898501396179},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36134207248687744},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.18311038613319397},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14021721482276917}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8608397245407104},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8403527736663818},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7384642958641052},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7118399143218994},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.6723810434341431},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5799211263656616},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.4368385672569275},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.42243948578834534},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4003898501396179},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36134207248687744},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.18311038613319397},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14021721482276917}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ipdps.2002.1015488","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2002.1015488","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 16th International Parallel and Distributed Processing Symposium","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.543.840","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.840","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcc.fc.up.pt/~fds/FdsPapers/p2002_IPDPS.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W6279871","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1586107449","https://openalex.org/W1588020990","https://openalex.org/W1608806855","https://openalex.org/W1633377437","https://openalex.org/W1763146822","https://openalex.org/W1827267273","https://openalex.org/W1965784613","https://openalex.org/W1979966822","https://openalex.org/W1997210046","https://openalex.org/W2015640848","https://openalex.org/W2070598037","https://openalex.org/W2091478774","https://openalex.org/W2127409356","https://openalex.org/W2173733616","https://openalex.org/W2950479998","https://openalex.org/W6634821635"],"related_works":["https://openalex.org/W1977834309","https://openalex.org/W1849174213","https://openalex.org/W1487563773","https://openalex.org/W1973582361","https://openalex.org/W4250566046","https://openalex.org/W4319165641","https://openalex.org/W4380901377","https://openalex.org/W592311106","https://openalex.org/W1493824320","https://openalex.org/W1589124319"],"abstract_inverted_index":{"Tabling":[0,23],"or":[1],"memoing":[2],"is":[3,24,70,152],"a":[4,12,56,87,124,166],"technique":[5],"where":[6],"one":[7],"stores":[8],"intermediate":[9],"answers":[10],"to":[11,27,107],"problem":[13],"so":[14],"that":[15,71,102,130,136,149],"they":[16],"can":[17,43],"be":[18,105,133],"reused":[19],"in":[20],"further":[21],"calls.":[22],"of":[25,34,39,97,116,123],"interest":[26],"logic":[28,99],"programming":[29,100],"because":[30],"it":[31,42,103],"addresses":[32],"some":[33],"the":[35,49,111,114,117,121,127,160],"most":[36],"significant":[37],"weaknesses":[38],"Prolog.":[40,93],"Namely,":[41],"guarantee":[44],"termination":[45],"for":[46,138,155],"programs":[47,54,73],"with":[48,66],"bounded":[50],"term-size":[51],"property.":[52],"Tabled":[53],"exhibit":[55],"more":[57,88],"complex":[58,89],"execution":[59,84],"mechanism":[60,85],"than":[61,91],"traditional":[62,92],"Prolog's":[63],"left-to-right":[64],"search":[65],"backtracking.":[67],"The":[68,94],"reason":[69],"Prolog":[72],"are":[74],"highly":[75],"recursive":[76],"and":[77,120,135],"generate":[78],"multiple":[79],"answers.":[80],"This":[81],"rather":[82],"involved":[83],"requires":[86],"implementation":[90],"declarative":[95],"nature":[96],"tabled":[98,163],"suggests":[101],"might":[104,132,141],"amenable":[106],"parallel":[108,150,162],"execution.":[109],"On":[110],"other":[112],"hand,":[113],"complexity":[115],"tabling":[118,151],"mechanism,":[119],"existence":[122],"shared":[125],"resource,":[126],"table,":[128],"argues":[129],"parallelism":[131],"limited,":[134],"performance":[137],"real":[139,156],"applications":[140,157],"never":[142],"scale.":[143],"In":[144],"this":[145],"work":[146],"we":[147],"prove":[148],"indeed":[153],"scalable":[154,167],"by":[158],"experimenting":[159],"OPTYap":[161],"system":[164],"on":[165],"shared-memory":[168],"machine.":[169]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}