{"id":"https://openalex.org/W2160059864","doi":"https://doi.org/10.1145/2228360.2228523","title":"Incorrect systems","display_name":"Incorrect systems","publication_year":2012,"publication_date":"2012-05-31","ids":{"openalex":"https://openalex.org/W2160059864","doi":"https://doi.org/10.1145/2228360.2228523","mag":"2160059864"},"language":"en","primary_location":{"id":"doi:10.1145/2228360.2228523","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2228360.2228523","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5102985234","display_name":"Christoph Kirsch","orcid":"https://orcid.org/0000-0002-3515-6203"},"institutions":[{"id":"https://openalex.org/I182212641","display_name":"University of Salzburg","ror":"https://ror.org/05gs8cd61","country_code":"AT","type":"education","lineage":["https://openalex.org/I182212641"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christoph M. Kirsch","raw_affiliation_strings":["University of Salzburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Salzburg","institution_ids":["https://openalex.org/I182212641"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071536109","display_name":"Hannes Payer","orcid":null},"institutions":[{"id":"https://openalex.org/I182212641","display_name":"University of Salzburg","ror":"https://ror.org/05gs8cd61","country_code":"AT","type":"education","lineage":["https://openalex.org/I182212641"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hannes Payer","raw_affiliation_strings":["University of Salzburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Salzburg","institution_ids":["https://openalex.org/I182212641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I182212641"],"apc_list":null,"apc_paid":null,"fwci":3.9718,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.94761082,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"913","last_page":"917"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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":0.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987999796867371,"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/correctness","display_name":"Correctness","score":0.8910400867462158},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8368551731109619},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6196075081825256},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5472407937049866},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5146187543869019},{"id":"https://openalex.org/keywords/resource-consumption","display_name":"Resource consumption","score":0.5042515993118286},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.43982183933258057},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3377293646335602},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.323490709066391},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22872096300125122},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10950925946235657}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8910400867462158},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8368551731109619},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6196075081825256},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5472407937049866},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5146187543869019},{"id":"https://openalex.org/C2777480716","wikidata":"https://www.wikidata.org/wiki/Q23582796","display_name":"Resource consumption","level":2,"score":0.5042515993118286},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.43982183933258057},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3377293646335602},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.323490709066391},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22872096300125122},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10950925946235657},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2228360.2228523","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2228360.2228523","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.5899999737739563}],"awards":[{"id":"https://openalex.org/G3047519390","display_name":null,"funder_award_id":"CNS1136141","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G4236754267","display_name":null,"funder_award_id":"214373","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"},{"id":"https://openalex.org/G4313426452","display_name":null,"funder_award_id":"S11404-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"},{"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":23,"referenced_works":["https://openalex.org/W134469934","https://openalex.org/W1543180701","https://openalex.org/W1547786892","https://openalex.org/W1981393723","https://openalex.org/W2003957094","https://openalex.org/W2030020312","https://openalex.org/W2068710123","https://openalex.org/W2072343993","https://openalex.org/W2086939182","https://openalex.org/W2095730858","https://openalex.org/W2100098458","https://openalex.org/W2116043630","https://openalex.org/W2129079372","https://openalex.org/W2131861073","https://openalex.org/W2132220514","https://openalex.org/W2142883190","https://openalex.org/W2147340401","https://openalex.org/W2152977845","https://openalex.org/W2165964040","https://openalex.org/W2168339347","https://openalex.org/W2168429197","https://openalex.org/W4239588330","https://openalex.org/W4240961862"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W1590965489"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2],"overview":[3],"of":[4,10,72,101,106,117],"state-of-the-art":[5],"work":[6,45,51,66,107],"in":[7,76,103],"the":[8,115],"engineering":[9],"digital":[11],"systems":[12],"(hardware":[13],"and":[14,26,41,57,59,69,87,121,127],"software)":[15],"where":[16],"traditional":[17],"correctness":[18,119],"requirements":[19,120],"are":[20],"relaxed,":[21],"usually":[22],"for":[23,33,113],"higher":[24],"performance":[25,125],"lower":[27],"resource":[28,128],"consumption":[29],"but":[30],"possibly":[31],"also":[32],"other":[34],"non-functional":[35],"properties":[36],"such":[37],"as":[38],"more":[39],"robustness":[40],"less":[42],"cost.":[43],"The":[44],"presented":[46],"here":[47],"is":[48],"categorized":[49],"into":[50],"that":[52],"involves":[53],"just":[54,60],"hardware,":[55],"hardware":[56],"software,":[58],"software.":[61],"In":[62],"particular,":[63],"we":[64,95],"discuss":[65],"on":[67],"probabilistic":[68],"approximate":[70],"design":[71],"processors,":[73,83],"unreliable":[74],"cores":[75],"asymmetric":[77],"multi-core":[78],"architectures,":[79],"best-effort":[80],"computing,":[81],"stochastic":[82],"accuracy-aware":[84],"program":[85],"transformations,":[86],"relaxed":[88,118],"concurrent":[89],"data":[90],"structures.":[91],"As":[92],"common":[93],"theme":[94],"identify,":[96],"at":[97],"least":[98],"intuitively,":[99],"\"metrics":[100],"correctness\"":[102],"each":[104],"piece":[105],"which":[108],"appear":[109],"to":[110,124],"be":[111],"important":[112],"understanding":[114],"effects":[116],"their":[122],"relationship":[123],"improvements":[126],"consumption.":[129]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}