{"id":"https://openalex.org/W2131439986","doi":"https://doi.org/10.1145/1968513.1968516","title":"Detecting Locally Distributed Predicates","display_name":"Detecting Locally Distributed Predicates","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W2131439986","doi":"https://doi.org/10.1145/1968513.1968516","mag":"2131439986"},"language":"en","primary_location":{"id":"doi:10.1145/1968513.1968516","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1968513.1968516","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"type":"article","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/A5003342377","display_name":"Michael De Rosa","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael De Rosa","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056068651","display_name":"Seth Copen Goldstein","orcid":"https://orcid.org/0000-0003-1512-0446"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Seth Copen Goldstein","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100354178","display_name":"Peter Lee","orcid":"https://orcid.org/0000-0002-3898-8881"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Lee","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113641032","display_name":"Jason Campbell","orcid":null},"institutions":[{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jason Campbell","raw_affiliation_strings":["Intel Labs, Pittsburgh"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Labs, Pittsburgh","institution_ids":["https://openalex.org/I4210158342"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080166041","display_name":"Padmanabhan Pillai","orcid":"https://orcid.org/0000-0003-0171-020X"},"institutions":[{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Padmanabhan S. Pillai","raw_affiliation_strings":["Intel Labs, Pittsburgh"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Labs, Pittsburgh","institution_ids":["https://openalex.org/I4210158342"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003342377"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":1.8275,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86678832,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"6","issue":"2","first_page":"1","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9771999716758728,"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.8728285431861877},{"id":"https://openalex.org/keywords/snapshot","display_name":"Snapshot (computer storage)","score":0.8400428295135498},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5930390357971191},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5763466358184814},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5646004676818848},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.5561279058456421},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5365206599235535},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5304856896400452},{"id":"https://openalex.org/keywords/distributed-algorithm","display_name":"Distributed algorithm","score":0.5246144533157349},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5082647204399109},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.41207215189933777},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14467957615852356},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10161164402961731}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8728285431861877},{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.8400428295135498},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5930390357971191},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5763466358184814},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5646004676818848},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5561279058456421},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5365206599235535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5304856896400452},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.5246144533157349},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5082647204399109},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.41207215189933777},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14467957615852356},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10161164402961731},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1968513.1968516","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1968513.1968516","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.592.7581","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1263629873","display_name":null,"funder_award_id":"CNS-0428738","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"}],"funders":[{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W181588126","https://openalex.org/W317521241","https://openalex.org/W1498963684","https://openalex.org/W1529718300","https://openalex.org/W1550836440","https://openalex.org/W1552030709","https://openalex.org/W1563459222","https://openalex.org/W1980350957","https://openalex.org/W1995515851","https://openalex.org/W2042950268","https://openalex.org/W2067901504","https://openalex.org/W2100559484","https://openalex.org/W2101963262","https://openalex.org/W2102685956","https://openalex.org/W2109691981","https://openalex.org/W2113338641","https://openalex.org/W2119247191","https://openalex.org/W2130004097","https://openalex.org/W2131053137","https://openalex.org/W2137930210","https://openalex.org/W2139981958","https://openalex.org/W2148031463","https://openalex.org/W2170471564","https://openalex.org/W2582998992","https://openalex.org/W3001896159","https://openalex.org/W3137220996"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2494011163","https://openalex.org/W2139648957","https://openalex.org/W1936221070","https://openalex.org/W2171366467","https://openalex.org/W2029909844","https://openalex.org/W1971681150"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3,51],"formalize":[4],"locally":[5,25],"distributed":[6,22,26,37,95,133],"predicates":[7],",":[8],"a":[9,30,53],"concept":[10],"previously":[11],"introduced":[12],"to":[13,93,99,111],"address":[14],"specific":[15,120],"challenges":[16],"associated":[17],"with":[18],"modular":[19],"robotics":[20],"and":[21,35,64,66,89,98],"debugging.":[23],"A":[24],"predicate":[27],"(LDP)":[28],"is":[29,109],"novel":[31],"construction":[32],"for":[33,56,70,119],"representing":[34],"detecting":[36],"properties":[38],"in":[39,102,106,131],"sparse-topology":[40],"systems.":[41,134],"Our":[42],"previous":[43],"work":[44],"on":[45],"LDPs":[46,124],"presented":[47],"empirical":[48],"validation;":[49],"here":[50],"show":[52],"formal":[54],"model":[55],"two":[57],"variants":[58],"of":[59],"the":[60,115],"LDP":[61,104],"algorithm,":[62],"LDP-Basic":[63,76],"LDP-Snapshot,":[65],"establish":[67],"performance":[68],"bounds":[69],"these":[71],"variants.":[72],"We":[73],"prove":[74],"that":[75,82],"can":[77,84],"detect":[78,85],"strong":[79],"stable":[80,87],"predicates,":[81,88],"LDP-Snapshot":[83],"all":[86],"discuss":[90],"their":[91],"applicability":[92],"various":[94],"programming":[96],"domains":[97],"spatial":[100],"computing":[101],"general.":[103],"detection":[105],"bounded-degree":[107],"networks":[108],"shown":[110],"be":[112],"scale-free,":[113],"making":[114],"approach":[116],"particularly":[117],"attractive":[118],"topologies,":[121],"even":[122],"though":[123],"are":[125],"less":[126],"efficient":[127],"than":[128],"snapshot":[129],"algorithms":[130],"general":[132]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}