{"id":"https://openalex.org/W2153554709","doi":"https://doi.org/10.1109/12.980007","title":"ED/sup 4/I: error detection by diverse data and duplicated instructions","display_name":"ED/sup 4/I: error detection by diverse data and duplicated instructions","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2153554709","doi":"https://doi.org/10.1109/12.980007","mag":"2153554709"},"language":"en","primary_location":{"id":"doi:10.1109/12.980007","doi":"https://doi.org/10.1109/12.980007","is_oa":false,"landing_page_url":"https://doi.org/10.1109/12.980007","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5111967886","display_name":"Nahmsuk Oh","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N. Oh","raw_affiliation_strings":["Center for Reliable Computing, Computer Systems Laboratory, Department of Electrical Engineering and Computer Science, University of Stanford, Stanford, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Reliable Computing, Computer Systems Laboratory, Department of Electrical Engineering and Computer Science, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036312663","display_name":"Subhasish Mitra","orcid":"https://orcid.org/0000-0002-5572-5194","observed_orcids":["https://orcid.org/0000-0002-5572-5194","https://orcid.org/0000-0003-1723-1705"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Mitra","raw_affiliation_strings":["Center for Reliable Computing, Computer Systems Laboratory, Department of Electrical Engineering and Computer Science, University of Stanford, Stanford, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Reliable Computing, Computer Systems Laboratory, Department of Electrical Engineering and Computer Science, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054077540","display_name":"Edward J. McCluskey","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E.J. McCluskey","raw_affiliation_strings":["Center for Reliable Computing, Computer Systems Laboratory, Department of Electrical Engineering and Computer Science, University of Stanford, Stanford, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Reliable Computing, Computer Systems Laboratory, Department of Electrical Engineering and Computer Science, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":7.9095,"has_fulltext":false,"cited_by_count":270,"citation_normalized_percentile":{"value":0.97699518,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":"51","issue":"2","first_page":"180","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.8833000063896179,"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.8833000063896179,"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.09920000284910202,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.0032999999821186066,"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/error-detection","display_name":"error detection","score":0.7639999985694885},{"id":"https://openalex.org/keywords/dataset-diversity","display_name":"data diversity","score":0.6990000009536743},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.671999990940094},{"id":"https://openalex.org/keywords/temporary-faults","display_name":"temporary faults","score":0.6050000190734863},{"id":"https://openalex.org/keywords/permanent-faults","display_name":"permanent faults","score":0.9679999947547913},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.6990000009536743},{"id":"https://openalex.org/keywords/fault-detection-probability","display_name":"fault detection probability","score":0.7710000276565552},{"id":"https://openalex.org/keywords/data-integrity","display_name":"data integrity","score":0.9769999980926514},{"id":"https://openalex.org/keywords/floating-point-numbers","display_name":"floating-point numbers","score":0.753000020980835},{"id":"https://openalex.org/keywords/integers","display_name":"integers","score":0.4790000021457672},{"id":"https://openalex.org/keywords/commercial-off-the-shelf-processors","display_name":"commercial off-the-shelf processors","score":0.8790000081062317}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6608547568321228},{"id":"https://openalex.org/C14580979","wikidata":"https://www.wikidata.org/wiki/Q876049","display_name":"Very-large-scale integration","level":2,"score":0.5815126895904541},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5131633877754211},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.47851407527923584},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46827033162117004},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4616170823574066},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45139193534851074},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4246349632740021},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4173322319984436},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.41677185893058777},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.36032986640930176},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2657909393310547},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19516122341156006},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09343576431274414},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","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},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/12.980007","doi":"https://doi.org/10.1109/12.980007","is_oa":false,"landing_page_url":"https://doi.org/10.1109/12.980007","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.114.9902","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.9902","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.pitt.edu/~melhem/courses/3530/papers/ft9.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.134.4081","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.4081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.public.asu.edu/~ashriva6/teaching/CES/ED4I-ErrorDetectionByDiverseDataAndDuplicatedInstructions.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W13911623","https://openalex.org/W126636724","https://openalex.org/W130575599","https://openalex.org/W131515432","https://openalex.org/W287000339","https://openalex.org/W581104972","https://openalex.org/W1533868412","https://openalex.org/W1538592187","https://openalex.org/W1555915743","https://openalex.org/W1714865987","https://openalex.org/W1824101024","https://openalex.org/W1898357601","https://openalex.org/W1906885347","https://openalex.org/W1945100066","https://openalex.org/W1947536607","https://openalex.org/W1965864973","https://openalex.org/W1970044792","https://openalex.org/W1979774836","https://openalex.org/W1979868167","https://openalex.org/W1994372357","https://openalex.org/W1999823724","https://openalex.org/W2006471246","https://openalex.org/W2097719961","https://openalex.org/W2101800224","https://openalex.org/W2106882711","https://openalex.org/W2108979830","https://openalex.org/W2110698138","https://openalex.org/W2120158555","https://openalex.org/W2125349291","https://openalex.org/W2129262519","https://openalex.org/W2130189691","https://openalex.org/W2139777941","https://openalex.org/W2142278748","https://openalex.org/W2143160443","https://openalex.org/W2147674979","https://openalex.org/W2158102622","https://openalex.org/W2160701357","https://openalex.org/W2162990087","https://openalex.org/W2169596872","https://openalex.org/W2169849462","https://openalex.org/W2188958693","https://openalex.org/W2248240710","https://openalex.org/W2725179571","https://openalex.org/W2744405824","https://openalex.org/W4205920213","https://openalex.org/W4229550884"],"related_works":["https://openalex.org/W7098196073","https://openalex.org/W7099963221","https://openalex.org/W2188958693","https://openalex.org/W2167855946","https://openalex.org/W2130189691","https://openalex.org/W2528238407","https://openalex.org/W4385585346","https://openalex.org/W2891136997","https://openalex.org/W2157158593","https://openalex.org/W2081331027"],"abstract_inverted_index":{"Errors":[0,15],"in":[1,20,30,58,138,179,272],"computing":[2],"systems":[3,22],"can":[4,164],"cause":[5],"abnormal":[6],"behavior":[7],"and":[8,12,42,105,116,128,147,201,220,227],"degrade":[9],"data":[10,103,202,292],"integrity":[11,203,293],"system":[13],"availability.":[14],"should":[16],"be":[17,165],"avoided":[18],"especially":[19],"embedded":[21,59,84],"for":[23,83,168,190,217,223,235,251,258],"critical":[24],"applications.":[25],"However,":[26],"as":[27,53,55],"the":[28,125,139,150,157,162,171,174,180,197,205,218,224,236,252,261,268,283,288,291],"trend":[29],"VLSI":[31],"technologies":[32],"has":[33],"been":[34],"toward":[35],"smaller":[36],"feature":[37],"sizes,":[38],"lower":[39],"supply":[40],"voltages":[41],"higher":[43],"frequencies,":[44],"there":[45],"is":[46,63,75,108,185,294],"a":[47,76,109,143,212],"growing":[48],"concern":[49],"about":[50],"temporary":[51,117],"errors":[52,57,118],"well":[54],"permanent":[56,115],"systems;":[60],"thus,":[61],"it":[62,154],"very":[64],"essential":[65],"to":[66,79,244],"detect":[67],"those":[68],"errors.":[69],"Software-implemented":[70],"hardware":[71,80,91],"fault":[72,198,284],"tolerance":[73],"(SIHFT)":[74],"low-cost":[77],"alternative":[78],"fault-tolerance":[81],"techniques":[82],"processors:":[85],"It":[86,281],"does":[87],"not":[88],"require":[89],"any":[90],"modification":[92],"of":[93,173,182,204,214,238,249,275],"commercial":[94],"off-the-shelf":[95],"(COTS)":[96],"processors.":[97],"ED/sup":[98,132,183],"4/I":[99,133,184],"(error":[100],"detection":[101,199,285],"by":[102,119],"diversity":[104],"duplicated":[106],"instructions)":[107],"SIHFT":[110],"technique":[111],"that":[112,153,161,290],"detects":[113],"both":[114],"executing":[120],"two":[121],"\"different\"":[122],"programs":[123,278],"(with":[124],"same":[126],"functionality)":[127],"comparing":[129],"their":[130],"outputs.":[131],"maps":[134],"each":[135],"number,":[136],"x,":[137],"original":[140,175],"program":[141,151],"into":[142],"new":[144,158],"number":[145],"x',":[146],"then":[148],"transforms":[149],"so":[152,160],"operates":[155],"on":[156],"numbers":[159],"results":[163,172],"mapped":[166],"backwards":[167],"comparison":[169],"with":[170,263],"program.":[176],"The":[177],"mapping":[178],"transformation":[181,262],"x'":[186],"=":[187,230,265],"k/spl":[188],"middot/x":[189],"integer":[191,259],"numbers,":[192,209],"where":[193],"k/sub":[194,215,221,231],"f/":[195,216],"determines":[196],"probability":[200,286],"system.":[206],"For":[207],"floating-point":[208],"we":[210,279],"find":[211],"value":[213,237,248],"fraction":[219],"e/":[222],"exponent":[225],"separately,":[226],"use":[228],"k":[229,250,264],"f//spl":[232],"times/2/sup":[233],"k/":[234],"k.":[239],"We":[240],"have":[241],"demonstrated":[242],"how":[243],"choose":[245],"an":[246],"optimal":[247],"transformation.":[253],"This":[254],"paper":[255],"shows":[256],"that,":[257],"programs,":[260],"-2":[266],"was":[267],"most":[269],"desirable":[270],"choice":[271],"six":[273],"out":[274],"seven":[276],"benchmark":[277],"simulated.":[280],"maximizes":[282],"under":[287],"condition":[289],"highest.":[295]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":13},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":15},{"year":2013,"cited_by_count":22},{"year":2012,"cited_by_count":22}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}