{"id":"https://openalex.org/W1985496578","doi":"https://doi.org/10.1145/2660540.2660978","title":"CLEVER","display_name":"CLEVER","publication_year":2014,"publication_date":"2014-09-01","ids":{"openalex":"https://openalex.org/W1985496578","doi":"https://doi.org/10.1145/2660540.2660978","mag":"1985496578"},"language":"en","primary_location":{"id":"doi:10.1145/2660540.2660978","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2660540.2660978","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th Symposium on Integrated Circuits and Systems Design","raw_type":"proceedings-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/A5061927240","display_name":"Rafael K. V. Maeda","orcid":"https://orcid.org/0000-0003-2868-4726"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Rafael Kioji Vivas Maeda","raw_affiliation_strings":["School of Electrical Engineering, Federal University of Minas Gerais, MG, Brazil","School of Electrical Engineering, Federal University of Minas Gerais, MG, Brazil#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering, Federal University of Minas Gerais, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]},{"raw_affiliation_string":"School of Electrical Engineering, Federal University of Minas Gerais, MG, Brazil#TAB#","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056538809","display_name":"Frank Sill Torres","orcid":"https://orcid.org/0000-0002-4028-455X"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Frank Sill Torres","raw_affiliation_strings":["Graduate Program in Electrical Engineering, Federal University of Minas Gerais, Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo, Horizonte, MG, Brazil"],"affiliations":[{"raw_affiliation_string":"Graduate Program in Electrical Engineering, Federal University of Minas Gerais, Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo, Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5061927240"],"corresponding_institution_ids":["https://openalex.org/I110200422"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05252968,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"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.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9972000122070312,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7999194264411926},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5900529623031616},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5885739326477051},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5036112666130066},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.47846221923828125},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.4493105113506317},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4324640929698944},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41643205285072327},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4101036787033081},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3899232745170593},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3718819320201874},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3340989351272583},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1943008005619049},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13328546285629272},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11765524744987488}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7999194264411926},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5900529623031616},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5885739326477051},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5036112666130066},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.47846221923828125},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.4493105113506317},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4324640929698944},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41643205285072327},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4101036787033081},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3899232745170593},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3718819320201874},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3340989351272583},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1943008005619049},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13328546285629272},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11765524744987488},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2660540.2660978","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2660540.2660978","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th Symposium on Integrated Circuits and Systems Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322980","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de Minas Gerais","ror":"https://ror.org/00nc55f03"},{"id":"https://openalex.org/F4320335239","display_name":"Pr\u00f3-Reitoria de Pesquisa, Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W591732527","https://openalex.org/W605027309","https://openalex.org/W1493249179","https://openalex.org/W1546141538","https://openalex.org/W1564184163","https://openalex.org/W1980981621","https://openalex.org/W2005485844","https://openalex.org/W2038569287","https://openalex.org/W2081215702","https://openalex.org/W2122066455","https://openalex.org/W3139027614","https://openalex.org/W4232483931","https://openalex.org/W4302932299"],"related_works":["https://openalex.org/W1984744919","https://openalex.org/W2132930690","https://openalex.org/W2770599040","https://openalex.org/W1901380330","https://openalex.org/W2075164989","https://openalex.org/W2901324294","https://openalex.org/W4248324254","https://openalex.org/W3009812692","https://openalex.org/W2105980483","https://openalex.org/W3017219868"],"abstract_inverted_index":{"The":[0,127],"continuously":[1],"progressing":[2],"technology":[3,71],"scaling":[4],"is":[5,80],"not":[6],"only":[7],"the":[8,20,27,63,69,95,100,147],"source":[9],"for":[10,22],"increasing":[11],"performance":[12],"and":[13,56,76,85,102,115,138],"complexity":[14],"of":[15,26,41,82,91,99,149],"embedded":[16,121],"systems,":[17],"but":[18],"also":[19],"reason":[21],"rising":[23],"reliability":[24],"concerns":[25],"underlying":[28],"hardware.":[29],"Consequently,":[30],"numerous":[31],"techniques":[32],"emerged":[33],"in":[34,52,62,119,140],"recent":[35],"years":[36],"to":[37,49,59,93,109,113],"mitigate":[38],"wide":[39],"range":[40],"error":[42],"causes.":[43],"Single":[44],"layer":[45],"methods,":[46],"though,":[47],"proved":[48],"be":[50],"limited":[51],"providing":[53],"an":[54],"effective":[55],"efficient":[57],"way":[58],"address":[60],"errors":[61,84,111],"system":[64,86,101,129,135],"perspective.":[65],"This":[66],"paper":[67],"proposes":[68],"new":[70],"Cross-Layer":[72],"Error":[73],"Verification,":[74],"Evaluation":[75],"Reporting":[77],"(CLEVER),":[78],"which":[79],"capable":[81],"gathering":[83],"information":[87],"on":[88],"different":[89],"levels":[90],"abstraction":[92],"evaluate":[94],"remaining":[96],"useful":[97],"lifetime":[98],"its":[103],"current":[104],"state.":[105],"Thus,":[106],"CLEVER":[107],"permits":[108],"overcome":[110],"due":[112],"time-dependable":[114],"abrupt":[116],"deterioration":[117],"effects":[118],"complex":[120],"systems":[122],"with":[123],"a":[124,134,141],"reasonable":[125],"overhead.":[126],"presented":[128],"architecture":[130],"was":[131],"designed":[132],"using":[133],"description":[136],"language":[137],"integrated":[139],"simulation":[142],"platform.":[143],"Simulation":[144],"results":[145],"indicate":[146],"feasibility":[148],"this":[150],"technology.":[151]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}