{"id":"https://openalex.org/W2166035975","doi":"https://doi.org/10.1109/prdc.2006.24","title":"Dependable Multithreaded Processing Using Runtime Validation","display_name":"Dependable Multithreaded Processing Using Runtime Validation","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2166035975","doi":"https://doi.org/10.1109/prdc.2006.24","mag":"2166035975"},"language":"en","primary_location":{"id":"doi:10.1109/prdc.2006.24","is_oa":false,"landing_page_url":"https://doi.org/10.1109/prdc.2006.24","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06)","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/A5022122751","display_name":"Kaiyu Chen","orcid":"https://orcid.org/0000-0002-4464-0953"},"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":"Kaiyu Chen","raw_affiliation_strings":["Department of Electrical Engineering, Princeton University, Princeton, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Princeton University, Princeton, NJ, USA","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":["Department of Electrical Engineering, Princeton University, Princeton, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Princeton University, Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"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.20733062,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":null,"first_page":"275","last_page":"286"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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.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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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.9013234376907349},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.8758416175842285},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.740349292755127},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6617678999900818},{"id":"https://openalex.org/keywords/simultaneous-multithreading","display_name":"Simultaneous multithreading","score":0.6191520094871521},{"id":"https://openalex.org/keywords/yarn","display_name":"Yarn","score":0.5685271620750427},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5099807977676392},{"id":"https://openalex.org/keywords/context-switch","display_name":"Context switch","score":0.5039939284324646},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4612201154232025},{"id":"https://openalex.org/keywords/speculative-multithreading","display_name":"Speculative multithreading","score":0.4497907757759094},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.4446975886821747},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.38612648844718933},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3595582842826843},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32135188579559326},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1959981918334961}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9013234376907349},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.8758416175842285},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.740349292755127},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6617678999900818},{"id":"https://openalex.org/C85717602","wikidata":"https://www.wikidata.org/wiki/Q82178","display_name":"Simultaneous multithreading","level":4,"score":0.6191520094871521},{"id":"https://openalex.org/C2778787235","wikidata":"https://www.wikidata.org/wiki/Q49007","display_name":"Yarn","level":2,"score":0.5685271620750427},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5099807977676392},{"id":"https://openalex.org/C53833338","wikidata":"https://www.wikidata.org/wiki/Q1061424","display_name":"Context switch","level":2,"score":0.5039939284324646},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4612201154232025},{"id":"https://openalex.org/C15296174","wikidata":"https://www.wikidata.org/wiki/Q7575343","display_name":"Speculative multithreading","level":4,"score":0.4497907757759094},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.4446975886821747},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.38612648844718933},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3595582842826843},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32135188579559326},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1959981918334961},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/prdc.2006.24","is_oa":false,"landing_page_url":"https://doi.org/10.1109/prdc.2006.24","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1523595001","https://openalex.org/W1535557265","https://openalex.org/W1864485850","https://openalex.org/W1986463648","https://openalex.org/W2029601347","https://openalex.org/W2097046051","https://openalex.org/W2102480715","https://openalex.org/W2102863623","https://openalex.org/W2103224933","https://openalex.org/W2107859560","https://openalex.org/W2108806129","https://openalex.org/W2110011370","https://openalex.org/W2110038806","https://openalex.org/W2118033476","https://openalex.org/W2137443348","https://openalex.org/W2145021036","https://openalex.org/W2145716688","https://openalex.org/W2151845324","https://openalex.org/W2155571118","https://openalex.org/W2163329643","https://openalex.org/W2167786944","https://openalex.org/W2170582961","https://openalex.org/W2172063078","https://openalex.org/W4238549726","https://openalex.org/W4245971498","https://openalex.org/W4248445118","https://openalex.org/W4250000334","https://openalex.org/W4252934402","https://openalex.org/W6631190096","https://openalex.org/W6675837356","https://openalex.org/W6682763046"],"related_works":["https://openalex.org/W2115561485","https://openalex.org/W1985089255","https://openalex.org/W1541942136","https://openalex.org/W1976136846","https://openalex.org/W94981340","https://openalex.org/W2003413578","https://openalex.org/W2621634031","https://openalex.org/W2153202644","https://openalex.org/W1918501810","https://openalex.org/W2165495955"],"abstract_inverted_index":{"Modern":[0],"processors":[1],"face":[2],"growing":[3],"verification":[4],"and":[5,13,51,87,105,133],"reliability":[6],"challenges":[7,26],"posed":[8],"by":[9],"increasing":[10],"micro-architecture":[11],"complexity":[12,53],"aggressive":[14],"technology":[15],"scaling.":[16],"While":[17],"viable":[18],"approaches":[19],"have":[20],"been":[21,35],"proposed":[22],"to":[23,48,72,79,111],"address":[24],"these":[25],"in":[27],"the":[28,55,63,75,96],"context":[29],"of":[30,54,62,114],"uniprocessors,":[31],"little":[32],"work":[33],"has":[34,122],"done":[36],"for":[37,45,84,91],"emerging":[38],"multithreaded":[39,92],"processors.":[40],"Multithreading":[41],"raises":[42],"new":[43],"issues":[44],"validation":[46,83,97],"due":[47],"inter-thread":[49,88],"interactions":[50],"inherent":[52],"underlying":[56],"hardware.":[57],"We":[58,94],"propose":[59],"an":[60],"extension":[61],"DIVA":[64],"approach,":[65],"which":[66],"employs":[67],"a":[68,100],"simple":[69],"checker":[70],"processor":[71],"effectively":[73],"validate":[74],"complex":[76],"superscalar":[77],"processor,":[78],"perform":[80],"instruction-level":[81],"runtime":[82],"both":[85,131],"intra-thread":[86],"correctness":[89],"properties":[90],"execution.":[93],"present":[95],"methodology":[98],"using":[99],"representative":[101],"simultaneous-multithreaded":[102],"(SMT)":[103],"architecture,":[104],"briefly":[106],"discuss":[107],"its":[108],"general":[109,128],"applicability":[110],"other":[112],"forms":[113],"multithreading.":[115],"Detailed":[116],"timing":[117],"simulation":[118],"shows":[119],"this":[120],"solution":[121],"low":[123],"performance":[124],"penalty,":[125],"while":[126],"providing":[127],"robustness":[129],"against":[130],"operational":[132],"functional":[134],"errors":[135],"with":[136],"relatively":[137],"small":[138],"hardware":[139],"overhead":[140]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}