乐胖代购免代理版

{"id":"https://openalex.org/W2046183160","doi":"https://doi.org/10.1109/pact.2011.64","title":"Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update","display_name":"Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2046183160","doi":"https://doi.org/10.1109/pact.2011.64","mag":"2046183160"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.64","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5111535253","display_name":"Anh Vo","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anh Vo","raw_affiliation_strings":["University of Utah,"],"affiliations":[{"raw_affiliation_string":"University of Utah,","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069846379","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-3705-0031"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ganesh Gopalakrishnan","raw_affiliation_strings":["[Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA]"],"affiliations":[{"raw_affiliation_string":"[Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA]","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083523340","display_name":"Robert M. Kirby","orcid":"https://orcid.org/0000-0001-5712-4141"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert M. Kirby","raw_affiliation_strings":["[Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA]"],"affiliations":[{"raw_affiliation_string":"[Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA]","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058719424","display_name":"Bronis R. de Supinski","orcid":"https://orcid.org/0000-0002-0339-1006"},"institutions":[{"id":"https://openalex.org/I1282311441","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282311441","https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210138311"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bronis R. de Supinski","raw_affiliation_strings":["Center for Appl. Sci. Comput., Lawrence Livermore 'Nat. Lab., Livermore, CA, USA"],"affiliations":[{"raw_affiliation_string":"Center for Appl. Sci. Comput., Lawrence Livermore 'Nat. Lab., Livermore, CA, USA","institution_ids":["https://openalex.org/I1282311441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045289712","display_name":"Martin Schulz","orcid":"https://orcid.org/0000-0001-9013-435X"},"institutions":[{"id":"https://openalex.org/I1282311441","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282311441","https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210138311"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Schulz","raw_affiliation_strings":["Lawrence Livermore National Laboratory"],"affiliations":[{"raw_affiliation_string":"Lawrence Livermore National Laboratory","institution_ids":["https://openalex.org/I1282311441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111681485","display_name":"Greg Bronevetsky","orcid":null},"institutions":[{"id":"https://openalex.org/I1282311441","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282311441","https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210138311"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Greg Bronevetsky","raw_affiliation_strings":["Lawrence Livermore National Laboratory"],"affiliations":[{"raw_affiliation_string":"Lawrence Livermore National Laboratory","institution_ids":["https://openalex.org/I1282311441"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.739,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":18,"citation_normalized_percentile":{"value":0.866516,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9998,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9995,"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.73411226}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9074867},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.73411226},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6256298},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6137076},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5212615},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5138088},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.4574591},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3908879},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35053754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33715558},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13734785}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.64","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":26,"referenced_works":["https://openalex.org/W1544640696","https://openalex.org/W1551839352","https://openalex.org/W1574962291","https://openalex.org/W1652742168","https://openalex.org/W1835267339","https://openalex.org/W192267309","https://openalex.org/W1973501242","https://openalex.org/W2081612620","https://openalex.org/W2082073570","https://openalex.org/W2102542912","https://openalex.org/W2109819183","https://openalex.org/W2110852599","https://openalex.org/W2116746874","https://openalex.org/W2131514278","https://openalex.org/W2135948849","https://openalex.org/W2144439479","https://openalex.org/W2146412016","https://openalex.org/W2149871224","https://openalex.org/W2169870841","https://openalex.org/W2249599876","https://openalex.org/W2998259759","https://openalex.org/W3137220996","https://openalex.org/W3139468909","https://openalex.org/W4230480080","https://openalex.org/W4254906220","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4247536566","https://openalex.org/W2404647514","https://openalex.org/W2242035652","https://openalex.org/W2152379264","https://openalex.org/W2074070192","https://openalex.org/W1840948097","https://openalex.org/W1824785536","https://openalex.org/W1667647204","https://openalex.org/W1574120008","https://openalex.org/W1569254270"],"abstract_inverted_index":{"We":[0,41],"propose":[1],"a":[2,113,131],"dynamic":[3],"verification":[4],"approach":[5,21,74],"for":[6],"large-scale":[7],"message":[8,33],"passing":[9],"programs":[10,129],"to":[11,27,54,125],"locate":[12],"correctness":[13],"bugs":[14],"caused":[15],"by":[16],"unforeseen":[17],"nondeterministic":[18,32,103],"interactions.":[19],"This":[20],"hinges":[22],"on":[23,50,77],"an":[24],"efficient":[25],"protocol":[26],"track":[28],"the":[29,63,80,84,109],"causality":[30,44],"between":[31],"receive":[34],"operations":[35],"and":[36,87,145],"potentially":[37],"matching":[38],"send":[39],"operations.":[40],"show":[42],"that":[43,47,95],"tracking":[45],"protocols":[46],"rely":[48],"solely":[49],"logical":[51,91],"clocks":[52],"fail":[53],"capture":[55],"all":[56,99],"nuances":[57],"of":[58,65,102,141],"MPI":[59,85,128,133],"program":[60],"behavior,":[61],"including":[62],"variety":[64],"ways":[66],"in":[67,105,139],"which":[68],"nonblocking":[69],"calls":[70],"can":[71,96,107],"complete.":[72],"Our":[73],"is":[75],"hinged":[76],"formally":[78],"defining":[79],"matches-before":[81],"relation":[82],"underlying":[83],"standard,":[86],"devising":[88],"lazy":[89],"update":[90],"clock":[92,115],"based":[93,116],"algorithms":[94],"correctly":[97],"discover":[98],"potential":[100],"outcomes":[101],"receives":[104],"practice.":[106],"achieve":[108],"same":[110],"coverage":[111],"as":[112],"vector":[114],"algorithm":[117],"while":[118],"maintaining":[119],"good":[120],"scalability.":[121],"LLCP":[122],"allows":[123],"us":[124],"analyze":[126],"realistic":[127],"involving":[130],"thousand":[132],"processes,":[134],"incurring":[135],"only":[136],"modest":[137],"overheads":[138],"terms":[140],"communication":[142],"bandwidth,":[143],"latency,":[144],"memory":[146],"consumption.":[147]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2046183160","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":2}],"updated_date":"2024-12-10T05:30:39.226690","created_date":"2016-06-24"}