{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:54:12Z","timestamp":1772042052034,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642388521","type":"print"},{"value":"9783642388538","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_5","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T14:39:00Z","timestamp":1371134340000},"page":"49-60","source":"Crossref","is-referenced-by-count":5,"title":["Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software"],"prefix":"10.1007","author":[{"given":"Rafael B.","family":"Parizi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronaldo R.","family":"Ferreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Carro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1lvaro F.","family":"Moreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"ITRS. ITRS 2009 Roadmap. International Technology Roadmap for Semiconductors. Tech. Rep. (2009)"},{"issue":"6","key":"5_CR2","first-page":"10","volume":"25","author":"S. Borkar","year":"2005","unstructured":"Borkar, S.: Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. Micro\u00a025(6), 10\u201316 (2005)","journal-title":"Micro"},{"issue":"6","key":"5_CR3","doi-asserted-by":"publisher","first-page":"2742","DOI":"10.1109\/23.556861","volume":"43","author":"E. Normand","year":"1996","unstructured":"Normand, E.: Single event upset at ground level. IEEE Trans. on Nuclear Science\u00a043(6), 2742\u20132750 (1996)","journal-title":"IEEE Trans. on Nuclear Science"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Rech, P., et al.: Neutron-induced soft-errors in graphic processing units. In: IEEE Radiation Effects Data Workshop (REDW 2012), 6 p. IEEE (2012)","DOI":"10.1109\/REDW.2012.6353714"},{"key":"5_CR5","unstructured":"ARM Mali Graphics Hardware, \n                    \n                      http:\/\/www.arm.com\/products\/multimedia\/mali-graphics-hardware\/index.php"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Esmaeizadeh, H., et al.: Dark silicon and the end of multicore scaling. In: ISCA 2011: Proc. of the 38th Int. Symp. on Comp. Arch., pp. 365\u2013376 (2011)","DOI":"10.1145\/2000064.2000108"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Mehlitz, P.C., Penix, J.: Expecting the unexpected \u2013 radiation hardened software. In: Infocom @ American Inst. of Aeronautics and Astronautics (2005)","DOI":"10.2514\/6.2005-7088"},{"key":"5_CR8","volume-title":"Software-Implemented Hardware Fault Tolerance","author":"O. Goloubeva","year":"2006","unstructured":"Goloubeva, O., Rebaudengo, M., Reorda, M.S., Violante, M.: Software-Implemented Hardware Fault Tolerance. Springer, New York (2006)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Vemu, R., Gurumurthy, S., Abraham, J.: ACCE: Automatic correction of control-flow errors. In: ITC 2007: IEEE Int. Test Conf., pp. 1\u201310 (2007)","DOI":"10.1109\/TEST.2007.4437639"},{"key":"5_CR10","unstructured":"Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: MiBench: A free, commercially representative embedded benchmark suite. In: WWC-4 2001: Proc. of the IEEE Int. Workshop of Workload Characterization, pp. 3\u201314. IEEE (2001)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/CGO.2004.1281665","volume-title":"CGO 2004: Proc. of the Int. Symp. on Code Generation and Optimization","author":"C. Lattner","year":"2004","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: CGO 2004: Proc. of the Int. Symp. on Code Generation and Optimization, pp. 75\u201388. IEEE, Washington, DC (2004)"},{"key":"5_CR12","unstructured":"Krishnamurthy, N., Jhaveri, V., Abraham, J.A.: A design methodology for software fault injection in embedded systems. In: DCIA 1998: Proc. of the Workshop on Dependable Computing and its Applications. IFIP (1998)"},{"key":"5_CR13","unstructured":"Pan, Z., Eigenmann, R.: Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning. In: Proceedings of the International Symposium on Code Generation and Optimization (CGO 2006), pp. 319\u2013332. IEEE (2006)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Hoste, K., Eeckhout, L.: Cole: compiler optimization level exploration. In: Proceedings of the 6th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO 2008), pp. 165\u2013174. ACM (2008)","DOI":"10.1145\/1356058.1356080"},{"key":"5_CR15","unstructured":"Mukherjee, S.S., Weaver, C., Emer, J., Reinhardt, S.K., Austin, T.: A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor. In: Proc. of the 36th Annual IEEE\/ACM Int. Symp. on Microarchitecture (MICRO 36), pp. 29\u201341. IEEE (2003)"},{"key":"5_CR16","unstructured":"Jones, T.M., O\u2019Boyle, M.F.P., Ergin, O.: Evaluating the Effects of Compiler Optimisations on AVF. In: Workshop on Interaction Between Compilers and Computer Architecture, INTERACT-12 (2008)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Bergaoui, S., Leveugle, R.: Impact of Software Optimization on Variable Lifetimes in a Microprocessor-Based System. In: Proceedings of the 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application (DELTA 2011), pp. 56\u201361 (2011)","DOI":"10.1109\/DELTA.2011.20"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Argyrides, C., Ferreira, R., Lisboa, C., Carro, L.: Decimal hamming: a novel software-implemented technique to cope with soft errors. In: Proc. of the 26th IEEE Int. Symp. on Defect and Fault Tolerance in VLSI and Nanotech. Sys., DFT 2011, pp. 11\u201317. IEEE (2011)","DOI":"10.1109\/DFT.2011.35"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:57:02Z","timestamp":1558375022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_5","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}