{"id":"https://openalex.org/W2607011034","doi":"https://doi.org/10.1145/2990502","title":"PPU","display_name":"PPU","publication_year":2017,"publication_date":"2017-04-14","ids":{"openalex":"https://openalex.org/W2607011034","doi":"https://doi.org/10.1145/2990502","mag":"2607011034"},"language":"en","primary_location":{"id":"doi:10.1145/2990502","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2990502","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-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/A5041554597","display_name":"Pareesa Ameneh Golnari","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pareesa Ameneh Golnari","raw_affiliation_strings":["Princeton University, Princeton, NJ, US"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, US","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062386420","display_name":"Yavuz Yetim","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yavuz Yetim","raw_affiliation_strings":["Princeton University"],"affiliations":[{"raw_affiliation_string":"Princeton University","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002015508","display_name":"Margaret Martonosi","orcid":"https://orcid.org/0000-0001-9683-8032"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Margaret Martonosi","raw_affiliation_strings":["Princeton University, Princeton, NJ, US"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, US","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024975162","display_name":"Yakir Vizel","orcid":"https://orcid.org/0000-0002-5655-1667"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yakir Vizel","raw_affiliation_strings":["Princeton University, Princeton, NJ, US"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, US","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085975362","display_name":"Sharad Malik","orcid":"https://orcid.org/0000-0002-0837-5443"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sharad Malik","raw_affiliation_strings":["Princeton University, Princeton, NJ, US"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, US","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5041554597"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03015226,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":"3","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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.9998999834060669,"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.9988999962806702,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"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.789443850517273},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6390977501869202},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.556725800037384},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.5190978050231934},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5090579390525818},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.4641607403755188},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.43964725732803345},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.415554404258728},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.4144761562347412},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4140864908695221},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3335973620414734},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.26936405897140503},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.21855387091636658},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12966391444206238}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.789443850517273},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6390977501869202},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.556725800037384},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5190978050231934},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5090579390525818},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.4641607403755188},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.43964725732803345},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.415554404258728},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.4144761562347412},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4140864908695221},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3335973620414734},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26936405897140503},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.21855387091636658},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12966391444206238},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2990502","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2990502","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.8199999928474426,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W123101483","https://openalex.org/W135447215","https://openalex.org/W160422864","https://openalex.org/W1494199306","https://openalex.org/W1567646530","https://openalex.org/W1568192366","https://openalex.org/W1999288406","https://openalex.org/W2001289891","https://openalex.org/W2010468809","https://openalex.org/W2042456747","https://openalex.org/W2049336278","https://openalex.org/W2076285066","https://openalex.org/W2095122672","https://openalex.org/W2096581954","https://openalex.org/W2097243222","https://openalex.org/W2104677471","https://openalex.org/W2105035536","https://openalex.org/W2105544671","https://openalex.org/W2114703523","https://openalex.org/W2119299853","https://openalex.org/W2120635877","https://openalex.org/W2124877509","https://openalex.org/W2125169487","https://openalex.org/W2126668243","https://openalex.org/W2128941141","https://openalex.org/W2133902468","https://openalex.org/W2137504933","https://openalex.org/W2138527110","https://openalex.org/W2142883190","https://openalex.org/W2143028198","https://openalex.org/W2143283746","https://openalex.org/W2146063023","https://openalex.org/W2147435261","https://openalex.org/W2151845324","https://openalex.org/W2153185479","https://openalex.org/W2161648335","https://openalex.org/W2168429197","https://openalex.org/W2187230075","https://openalex.org/W2244005500","https://openalex.org/W2265166184","https://openalex.org/W2913459036","https://openalex.org/W3042840555","https://openalex.org/W4205579859","https://openalex.org/W4210632566","https://openalex.org/W4236432903","https://openalex.org/W4236934668","https://openalex.org/W4238977659","https://openalex.org/W4240237526","https://openalex.org/W4244031552","https://openalex.org/W4248445118","https://openalex.org/W4249245425","https://openalex.org/W4253611827","https://openalex.org/W4253998042"],"related_works":["https://openalex.org/W975040225","https://openalex.org/W2041615232","https://openalex.org/W2149032943","https://openalex.org/W2110991008","https://openalex.org/W1906576859","https://openalex.org/W2000201823","https://openalex.org/W2116314988","https://openalex.org/W2149051075","https://openalex.org/W2061536619","https://openalex.org/W2394408226"],"abstract_inverted_index":{"With":[0],"increasing":[1,9],"technology":[2],"scaling":[3],"and":[4,13,39,62,190,228,236,248],"design":[5],"complexity":[6],"there":[7],"are":[8,63,231],"threats":[10],"from":[11],"device":[12,192],"circuit":[14],"failures.":[15],"This":[16,221],"is":[17,91],"expected":[18],"to":[19,65,96,123,151,167],"worsen":[20],"with":[21,155,233],"post-CMOS":[22],"devices.":[23],"Current":[24],"error-resilient":[25],"solutions":[26,46,56],"ensure":[27],"reliability":[28],"of":[29,44,103,173,245,252],"circuits":[30],"through":[31],"protection":[32,160,180],"mechanisms":[33,161,181],"such":[34,71,76],"as":[35,72,86],"redundancy,":[36],"error":[37],"correction,":[38],"recovery.":[40],"However,":[41],"the":[42,60,80,94,101,115,141,185,213,226,234,243,249],"costs":[43],"these":[45,134,153],"may":[47],"be":[48,66],"high,":[49],"rendering":[50],"them":[51],"impractical.":[52],"In":[53,105,194],"contrast,":[54],"error-tolerant":[55,69,78,121,147],"allow":[57,97],"errors":[58,99,166,171],"in":[59,182],"computation":[61],"positioned":[64],"suitable":[67],"for":[68,93,98,119,200,225,254],"applications":[70],"media":[73],"applications.":[74],"For":[75],"programmable":[77],"processors,":[79],"Instruction-Set-Architecture":[81],"(ISA)":[82],"no":[83],"longer":[84],"serves":[85],"a":[87,208],"specification":[88,111,214],"since":[89],"it":[90],"acceptable":[92,125,202],"processor":[95,122,148],"during":[100],"execution":[102],"instructions.":[104],"this":[106,110],"work,":[107],"we":[108,128,139,206,240],"address":[109],"gap":[112],"by":[113],"defining":[114],"basic":[116],"requirements":[117,154],"needed":[118],"an":[120,146],"provide":[124,198,207],"results.":[126],"Furthermore,":[127],"formally":[129,211],"define":[130],"properties":[131,215],"that":[132,149,210,230],"capture":[133],"requirements.":[135],"Based":[136],"on":[137,216],"this,":[138],"propose":[140],"Partially":[142],"Protected":[143],"Uniprocessor":[144],"(PPU),":[145],"aims":[150],"meet":[152],"low-cost":[156],"microarchitectural":[157],"support.":[158],"These":[159],"convert":[162],"potentially":[163,168],"fatal":[164],"control":[165],"tolerable":[169],"data":[170],"instead":[172],"ensuring":[174],"instruction-level":[175],"or":[176],"byte-level":[177],"correctness.":[178],"The":[179],"PPU":[183,217],"protect":[184],"system":[186],"against":[187],"crashes,":[188],"unresponsiveness,":[189],"external":[191],"corruption.":[193],"addition,":[195],"they":[196],"also":[197],"support":[199],"achieving":[201],"result":[203],"quality.":[204],"Additionally,":[205],"methodology":[209,222],"proves":[212],"using":[218],"model":[219,246],"checking.":[220],"uses":[223],"models":[224],"hardware":[227],"software":[229],"integrated":[232],"fault":[235],"recovery":[237],"models.":[238],"Finally,":[239],"experimentally":[241],"demonstrate":[242],"results":[244,253],"checking":[247],"application-level":[250],"quality":[251],"PPU.":[255]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-04-28T00:00:00"}
