乐胖代购免代理版

{"id":"https://openalex.org/W2162822877","doi":"https://doi.org/10.1109/latw.2009.4813813","title":"Using software invariants for dynamic detection of transient errors","display_name":"Using software invariants for dynamic detection of transient errors","publication_year":2009,"publication_date":"2009-03-01","ids":{"openalex":"https://openalex.org/W2162822877","doi":"https://doi.org/10.1109/latw.2009.4813813","mag":"2162822877"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2009.4813813","pdf_url":null,"source":null,"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/A5014901784","display_name":"Carlos Lisboa","orcid":"https://orcid.org/0000-0003-2030-942X"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Carlos Arthur Lisboa","raw_affiliation_strings":["Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil"],"affiliations":[{"raw_affiliation_string":"Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066644358","display_name":"Carmela Noro Grando","orcid":null},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Carmela Grando","raw_affiliation_strings":["Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil"],"affiliations":[{"raw_affiliation_string":"Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109491029","display_name":"\u00c1lvaro Moreira","orcid":null},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Alvaro de Freitas Moreira","raw_affiliation_strings":["Universidade Federal do Rio Grande do Sul, Porto Alegre, RS, BR"],"affiliations":[{"raw_affiliation_string":"Universidade Federal do Rio Grande do Sul, Porto Alegre, RS, BR","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062358729","display_name":"Luigi Carro","orcid":"https://orcid.org/0000-0002-7402-4780"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Luigi Carro","raw_affiliation_strings":["Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil"],"affiliations":[{"raw_affiliation_string":"Instituto de Informatica, PPGC, Universidade Federal do Rio Grande do Sul, Brazil","institution_ids":["https://openalex.org/I130442723"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.241,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.566468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":71,"max":74},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9968,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9954,"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/memory-footprint","display_name":"Memory footprint","score":0.58285373},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5297469},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.49777153},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.44410846},{"id":"https://openalex.org/keywords/footprint","display_name":"Footprint","score":0.42622784}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8048482},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.77322054},{"id":"https://openalex.org/C74912251","wikidata":"https://www.wikidata.org/wiki/Q6815727","display_name":"Memory footprint","level":2,"score":0.58285373},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5297469},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4979496},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.49777153},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4913639},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.44410846},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4398458},{"id":"https://openalex.org/C132943942","wikidata":"https://www.wikidata.org/wiki/Q2562511","display_name":"Footprint","level":2,"score":0.42622784},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.41863889},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38748005},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.36271524},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35641015},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17462459},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.082134515},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2009.4813813","pdf_url":null,"source":null,"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":19,"referenced_works":["https://openalex.org/W1489870749","https://openalex.org/W1541483005","https://openalex.org/W1583619271","https://openalex.org/W2013185880","https://openalex.org/W2051973459","https://openalex.org/W2066462613","https://openalex.org/W2108557605","https://openalex.org/W2112494342","https://openalex.org/W2127658067","https://openalex.org/W2127697761","https://openalex.org/W2133099573","https://openalex.org/W2144621776","https://openalex.org/W2147543351","https://openalex.org/W2149985396","https://openalex.org/W2151845324","https://openalex.org/W2152652532","https://openalex.org/W3106729728","https://openalex.org/W4229966209","https://openalex.org/W4248445118"],"related_works":["https://openalex.org/W4224229821","https://openalex.org/W3196277062","https://openalex.org/W2969553121","https://openalex.org/W2782341877","https://openalex.org/W2593605297","https://openalex.org/W2408771053","https://openalex.org/W2079643259","https://openalex.org/W2078707653","https://openalex.org/W2044069930","https://openalex.org/W1553526993"],"abstract_inverted_index":{"Software":[0],"based":[1],"error":[2],"detection":[3],"techniques":[4],"usually":[5],"imply":[6],"modification":[7],"of":[8,55,71,129],"the":[9,28,45,53,69,88],"algorithms":[10,136],"to":[11,40,64,90,104],"be":[12,91,105],"hardened,":[13,92],"and":[14,93,99,139],"almost":[15],"certainly":[16],"also":[17],"demand":[18],"a":[19,38,60,72,111,117],"huge":[20],"memory":[21,100],"footprint":[22],"and/or":[23],"execution":[24,70],"time":[25],"overhead.":[26],"In":[27,48],"software":[29,56],"engineering":[30],"field,":[31],"program":[32,42],"invariants":[33,57],"have":[34],"been":[35],"proposed":[36],"as":[37,59],"means":[39],"check":[41],"correctness":[43],"during":[44],"development":[46],"cycle.":[47],"this":[49,80,146],"work":[50],"we":[51],"discuss":[52],"use":[54],"verification":[58],"low":[61],"cost":[62,98],"alternative":[63],"detect":[65],"soft":[66,125],"errors":[67],"after":[68],"given":[73,112],"algorithm.":[74],"A":[75],"clear":[76],"advantage":[77],"is":[78],"that":[79,122],"approach":[81],"does":[82],"not":[83],"require":[84],"any":[85],"change":[86],"in":[87,94],"algorithm":[89,123],"case":[95],"its":[96],"computational":[97],"overhead":[101],"are":[102,137,148],"proven":[103],"much":[106],"smaller":[107],"than":[108],"duplication":[109],"for":[110,120,142],"algorithm,":[113],"it":[114],"may":[115],"become":[116],"feasible":[118],"option":[119],"hardening":[121],"against":[124],"errors.":[126],"The":[127],"results":[128],"fault":[130],"injection":[131],"experiments":[132],"performed":[133],"with":[134],"different":[135],"analyzed":[138],"some":[140],"guidelines":[141],"future":[143],"research":[144],"concerning":[145],"technique":[147],"proposed.":[149]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2162822877","counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2024-12-20T02:27:33.202095","created_date":"2016-06-24"}