{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:16:05Z","timestamp":1743063365764,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642102646"},{"type":"electronic","value":"9783642102653"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10265-3_20","type":"book-chapter","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T01:26:16Z","timestamp":1257816376000},"page":"215-226","source":"Crossref","is-referenced-by-count":0,"title":["Parallelizing Software-Implemented Error Detection"],"prefix":"10.1007","author":[{"given":"Ute","family":"Schiffel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"S\u00fc\u00dfkraut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"The Paparazzi Project, http:\/\/paparazzi.enac.fr\/wiki\/Main_Page"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Avizienis, A.: Arithmetic error codes: Cost and effectiveness studies for application in digital system design. Transactions on Computers (1971)","DOI":"10.1109\/T-C.1971.223134"},{"issue":"1-3","key":"20_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10836-007-5028-0","volume":"24","author":"C. Bolchini","year":"2008","unstructured":"Bolchini, C., Miele, A., Rebaudengo, M., Salice, F., Sciuto, D., Sterpone, L., Violante, M.: Software and hardware techniques for SEU detection in IP processors. J. Electron. Test.\u00a024(1-3), 35\u201344 (2008)","journal-title":"J. Electron. Test."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/CGO.2006.33","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization (CGO)","author":"E. Borin","year":"2006","unstructured":"Borin, E., Wang, C., Wu, Y., Araujo, G.: Software-based transparent and comprehensive control-flow error detection. In: Proceedings of the International Symposium on Code Generation and Optimization (CGO), Washington, DC, USA, pp. 333\u2013345. IEEE Computer Society, Los Alamitos (2006)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Borkar, S.: Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro. (2005)","DOI":"10.1109\/MM.2005.110"},{"key":"20_CR6","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (DSN)","author":"J. Chang","year":"2006","unstructured":"Chang, J., Reis, G.A., August, D.I.: Automatic instruction-level software-only recovery. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN). IEEE Computer Society, Los Alamitos (2006)"},{"key":"20_CR7","volume-title":"ISCA 2008: Proceedings of the 35th International Symposium on Computer Architecture","author":"S. Chen","year":"2008","unstructured":"Chen, S., Kozuch, M., Strigkos, T., Falsafi, B., Gibbons, P.B., Mowry, T.C., Ramachandran, V., Ruwase, O., Ryan, M., Vlachos, E.: Flexible hardware acceleration for instruction-grain program monitoring. In: ISCA 2008: Proceedings of the 35th International Symposium on Computer Architecture. IEEE Computer Society, Los Alamitos (2008)"},{"key":"20_CR8","unstructured":"Dixit, A., Heald, R., Wood, A.: Trends from ten years of soft error experimentation. System Effects of Logic Soft Errors, SELSE (2009)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Forin, P.: Vital coded microprocessor principles and application for various transit systems. In: IFA-GCCT, September 1989, pp. 79\u201384 (1989)","DOI":"10.1016\/B978-0-08-037025-5.50017-7"},{"key":"20_CR10","volume-title":"Proceedings of the international symposium on Code generation and optimization (CGO)","author":"C. Lattner","year":"2004","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Proceedings of the international symposium on Code generation and optimization (CGO). IEEE Computer Society, Los Alamitos (2004)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Nightingale, E.B., Peek, D., Chen, P.M., Flinn, J.: Parallelizing security checks on commodity hardware. SIGARCH Comput. Archit. News (2008)","DOI":"10.1145\/1346281.1346321"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Oh, N., Mitra, S., McCluskey, E.J.: ED4I: Error detection by diverse data and duplicated instructions. IEEE Trans. Comput.\u00a051 (2002)","DOI":"10.1109\/12.980007"},{"key":"20_CR13","volume-title":"SPAA 2008: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures","author":"O. Ruwase","year":"2008","unstructured":"Ruwase, O., Gibbons, P.B., Mowry, T.C., Ramachandran, V., Chen, S., Kozuch, M., Ryan, M.: Parallelizing dynamic information flow tracking. In: SPAA 2008: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, USA. ACM, New York (2008)"},{"key":"20_CR14","unstructured":"Schiffel, U., S\u00fc\u00dfkraut, M., Fetzer, C.: AN-encoding compiler: Building safety-critical systems with commodity hardware. In: The 28th International Conference on Computer Safety, Reliability and Security, SafeComp 2009 (2009)"},{"key":"20_CR15","unstructured":"Stefanidis, V.K., Margaritis, K.G.: Algorithm based fault tolerance: Review and experimental study. In: International Conference of Numerical Analysis and Applied Mathematics (2004)"},{"key":"20_CR16","volume-title":"IOLTS 2006: Proceedings of the 12th IEEE International Symposium on On-Line Testing","author":"R. Vemu","year":"2006","unstructured":"Vemu, R., Abraham, J.A.: CEDA: Control-flow error detection through assertions. In: IOLTS 2006: Proceedings of the 12th IEEE International Symposium on On-Line Testing. IEEE Computer Society, Los Alamitos (2006)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Wallace, S., Hazelwood, K.: Superpin: Parallelizing dynamic instrumentation for real-time performance. In: 5th Annual International Symposium on Code Generation and Optimization, San Jose, CA, March 2007, pp. 209\u2013217 (2007)","DOI":"10.1109\/CGO.2007.37"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Wang, C., Kim, H.s., Wu, Y., Ying, V.: Compiler-managed software-based redundant multi-threading for transient fault detection. In: International Symposium on Code Generation and Optimization, CGO (2007)","DOI":"10.1109\/CGO.2007.7"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Wappler, U., Fetzer, C.: Hardware failure virtualization via software encoded processing. In: 5th IEEE International Conference on Industrial Informatics, INDIN 2007 (2007)","DOI":"10.1109\/INDIN.2007.4384907"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-540-75101-4_34","volume-title":"Computer Safety, Reliability, and Security","author":"U. Wappler","year":"2007","unstructured":"Wappler, U., Fetzer, C.: Software encoded processing: Building dependable systems with commodity hardware. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 356\u2013369. Springer, Heidelberg (2007)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Wappler, U., M\u00fcller, M.: Software protection mechanisms for dependable systems. In: Design, Automation and Test in Europe, DATE 2008 (2008)","DOI":"10.1109\/DATE.2008.4484802"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Wasserman, H., Blum, M.: Software reliability via run-time result-checking. J. ACM (1997)","DOI":"10.1145\/268999.269003"},{"key":"20_CR23","unstructured":"Wescott, T.: PID without a PhD. Embedded Systems Programming\u00a013(11) (2000)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10265-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T14:51:33Z","timestamp":1558623093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10265-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102646","9783642102653"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10265-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}