乐胖代购免代理版

{"id":"https://openalex.org/W2059629411","doi":"https://doi.org/10.1109/iolts.2009.5195980","title":"Invariant checkers: An efficient low cost technique for run-time transient errors detection","display_name":"Invariant checkers: An efficient low cost technique for run-time transient errors detection","publication_year":2009,"publication_date":"2009-06-01","ids":{"openalex":"https://openalex.org/W2059629411","doi":"https://doi.org/10.1109/iolts.2009.5195980","mag":"2059629411"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts.2009.5195980","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/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 Noro 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/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/A5063087148","display_name":"\u00c1lvaro Moreira","orcid":"https://orcid.org/0000-0002-9224-2781"},"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 Freitas Moreira","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":"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.398,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.558209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":77},"biblio":{"volume":"51","issue":null,"first_page":"35","last_page":"40"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9981,"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.9951,"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/soft-error","display_name":"Soft error","score":0.6455102},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.53819853},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.4288182}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7511561},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.6455102},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.6438272},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.63156277},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.53819853},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5230373},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5096817},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49566996},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.47951463},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4736584},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.43068627},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.4288182},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41680753},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3563968},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34871638},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34077114},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.15474823},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.116907656},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10690856},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09699333},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts.2009.5195980","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":21,"referenced_works":["https://openalex.org/W1489870749","https://openalex.org/W1541483005","https://openalex.org/W1583619271","https://openalex.org/W2013185880","https://openalex.org/W2015158156","https://openalex.org/W2051973459","https://openalex.org/W2066462613","https://openalex.org/W2108557605","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/W2170922285","https://openalex.org/W3106729728","https://openalex.org/W4229966209","https://openalex.org/W4230289041","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":{"Semiconductor":[0],"technology":[1],"evolution":[2],"brings":[3],"along":[4],"higher":[5],"soft":[6],"error":[7,22,29,126,143],"rates":[8],"and":[9,24,41,84,117],"long":[10],"duration":[11],"transients,":[12],"which":[13,93],"require":[14],"new":[15],"low":[16,147],"cost":[17],"system":[18,61],"level":[19],"approaches":[20],"for":[21],"detection":[23,30,82,127,144],"mitigation.":[25],"Known":[26],"software":[27,50],"based":[28,69],"techniques":[31],"imply":[32],"a":[33,53,60,74,114],"high":[34,142],"overhead":[35],"in":[36],"terms":[37],"of":[38,49,73,87,99,105,129],"memory":[39],"usage":[40],"execution":[42,104,148],"times.":[43],"In":[44],"this":[45],"work,":[46],"the":[47,71,80,85,97,103,106,125,130,138],"use":[48,72],"invariants":[51,101],"as":[52,113],"means":[54],"to":[55,78,123],"detect":[56],"transient":[57],"errors":[58],"affecting":[59],"at":[62],"run-time":[63],"is":[64,68,111],"proposed.":[65],"The":[66,133],"technique":[67,140],"on":[70],"publicly":[75],"available":[76],"tool":[77],"automate":[79],"invariant":[81],"process,":[83],"decomposition":[86],"complex":[88],"algorithms":[89],"into":[90],"simpler":[91],"ones,":[92],"are":[94,121],"checked":[95],"through":[96],"verification":[98],"their":[100],"during":[102],"program.":[107],"A":[108],"sample":[109],"program":[110],"used":[112],"case":[115],"study,":[116],"fault":[118],"injection":[119],"campaigns":[120],"performed":[122],"verify":[124],"capability":[128],"proposed":[131,139],"technique.":[132],"experimental":[134],"results":[135],"show":[136],"that":[137],"provides":[141],"capability,":[145],"with":[146],"time":[149],"overhead.":[150]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2059629411","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-01-19T21:57:26.486489","created_date":"2016-06-24"}