{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T20:20:20Z","timestamp":1772569220281,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1145\/2593069.2593155","type":"proceedings-article","created":{"date-parts":[[2014,5,27]],"date-time":"2014-05-27T12:57:10Z","timestamp":1401195430000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["LiVe"],"prefix":"10.1145","author":[{"given":"Carles","family":"Hernandez","sequence":"first","affiliation":[{"name":"Barcelona Supercomputing Center (BSC-CNS), Barcelona (Spain)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC-CNS), Barcelona (Spain)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761 2001.  Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2011.5994536"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2005.1609436"},{"key":"e_1_3_2_1_4_1","volume-title":"Technical Overview V2.0.1","author":"AUTOSAR.","year":"2006","unstructured":"AUTOSAR. Technical Overview V2.0.1 , 2006 . AUTOSAR. Technical Overview V2.0.1, 2006."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.70"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.282.0124"},{"key":"e_1_3_2_1_7_1","volume-title":"Qorivva MPC5643L Microcontroller Data Sheet","year":"2013","unstructured":"Freescale Semiconductor. Qorivva MPC5643L Microcontroller Data Sheet , 2013 . Freescale Semiconductor. Qorivva MPC5643L Microcontroller Data Sheet, 2013."},{"key":"e_1_3_2_1_8_1","volume-title":"PowerPC 750GX Lockstep Facility. Application note","author":"IBM.","year":"2008","unstructured":"IBM. PowerPC 750GX Lockstep Facility. Application note , 2008 . IBM. PowerPC 750GX Lockstep Facility. Application note, 2008."},{"key":"e_1_3_2_1_9_1","unstructured":"Infineon. AURIX - TriCore datasheet. highly integrated and performance optimized 32-bit microcontrollers for automotive and industrial applications.  Infineon. AURIX - TriCore datasheet. highly integrated and performance optimized 32-bit microcontrollers for automotive and industrial applications."},{"key":"e_1_3_2_1_10_1","volume-title":"Road Vehicles -- Functional Safety","author":"International Organization for Standardization. ISO\/DIS 26262.","year":"2009","unstructured":"International Organization for Standardization. ISO\/DIS 26262. Road Vehicles -- Functional Safety , 2009 . International Organization for Standardization. ISO\/DIS 26262. Road Vehicles -- Functional Safety, 2009."},{"key":"e_1_3_2_1_11_1","unstructured":"LiP6. SoCLib. www.soclib.fr\/trac\/dev.  LiP6. SoCLib. www.soclib.fr\/trac\/dev."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"e_1_3_2_1_13_1","volume-title":"ISCA","author":"Mukherjee S.S.","year":"2002","unstructured":"S.S. Mukherjee , M. Kontz , and S.K. Reinhardt . Detailed design and evaluation of redundant multithreading alternatives . In ISCA , 2002 . S.S. Mukherjee, M. Kontz, and S.K. Reinhardt. Detailed design and evaluation of redundant multithreading alternatives. In ISCA, 2002."},{"key":"e_1_3_2_1_14_1","volume-title":"Characterization of the EEMBC Benchmark Suite","author":"Poovey J.","year":"2007","unstructured":"J. Poovey . Characterization of the EEMBC Benchmark Suite . North Carolina State University , 2007 . J. Poovey. Characterization of the EEMBC Benchmark Suite. North Carolina State University, 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339652"},{"key":"e_1_3_2_1_16_1","volume-title":"FTC","author":"Rotenberg E.","year":"1999","unstructured":"E. Rotenberg . AR-SMT : A microarchitectural approach to fault tolerance in microprocessors . In FTC , 1999 . E. Rotenberg. AR-SMT: A microarchitectural approach to fault tolerance in microprocessors. In FTC, 1999."},{"key":"e_1_3_2_1_17_1","volume-title":"Software Considerations in Airborne Systems and Equipment Certification","author":"RTCA","year":"1992","unstructured":"RTCA and EUROCAE. DO-178B \/ ED-12B , Software Considerations in Airborne Systems and Equipment Certification , 1992 . RTCA and EUROCAE. DO-178B \/ ED-12B, Software Considerations in Airborne Systems and Equipment Certification, 1992."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.46"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601497"}],"event":{"name":"DAC '14: The 51st Annual Design Automation Conference 2014","location":"San Francisco CA USA","acronym":"DAC '14","sponsor":["EDAC Electronic Design Automation Consortium","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"]},"container-title":["Proceedings of the 51st Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593155","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593069.2593155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:23Z","timestamp":1750230083000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593155"}},"subtitle":["Timely Error Detection in Light-Lockstep Safety Critical Systems"],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":19,"alternative-id":["10.1145\/2593069.2593155","10.1145\/2593069"],"URL":"https:\/\/doi.org\/10.1145\/2593069.2593155","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2014-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}