{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:20:06Z","timestamp":1729650006557,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/eurocon.2013.6625047","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T21:48:16Z","timestamp":1382046496000},"page":"630-637","source":"Crossref","is-referenced-by-count":3,"title":["Error model and the reliability of arithmetic operations"],"prefix":"10.1109","author":[{"given":"Peter","family":"Raab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen","family":"Mottok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Grundkurs Analysis 1 Differentiation und Integration in Einer Vera?nderlichen","year":"2008","author":"fritzsche","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1986.1057190"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1976.1055529"},{"journal-title":"Error Coding for Arithmetic Processors","year":"1974","author":"rao","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1109\/T-C.1971.223134","article-title":"arithmetic error codes: cost and effectiveness studies for application in digital system design","volume":"c 20","author":"avizienis","year":"1971","journal-title":"IEEE Transactions on Computers"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90916-9","author":"bossert","year":"1998","journal-title":"Kanalcodierung"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1002\/0470035706"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253806"},{"key":"12","first-page":"185","article-title":"The coded microprocessor certifcation","author":"ozello","year":"1992","journal-title":"International Conference on Computer Safety Reliability and Security"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/18.45284"},{"journal-title":"Bewertung von Codierverfahren fu?r Einen Sto?rungssicheren Datentransfer - Evaluation of Error-correcting Codes Used for a Reliable Data Transfer","year":"2001","author":"osmann","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511755262"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0685-4"},{"key":"24","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/978-3-540-75101-4_34","article-title":"Software encoded processing: Building dependable systems with commodity hardware","volume":"4680","author":"wappler","year":"2007","journal-title":"Computer Safety Reliability and Security"},{"journal-title":"System und Verfahren Zur Verbesserung von Fehlerbeherrschungsmassnahmen Insbesondere in Automatisierungssystemen","year":"2010","author":"kru?ger","key":"25"},{"journal-title":"GSL - GNU scientific library","year":"2011","author":"kru?ger","key":"26"},{"journal-title":"Error Correcting Codes","year":"1972","author":"peterson","key":"27"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI.2008.28"},{"journal-title":"Software-Implemented Hardware Fault Tolerance","year":"2006","author":"goloubeva","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.1999.802887"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2003.813129"},{"key":"7","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-642-15651-9_13","article-title":"ANB- and ANBDmem-encoding: Detecting hardware errors in software","volume":"6351","author":"schiffel","year":"2010","journal-title":"Computer Safety Reliability and Security"},{"key":"6","first-page":"283","article-title":"A concept for a safe realization of a state machine in embedded automotive applications","volume":"4680","author":"mottok","year":"2007","journal-title":"26th Safecomp Conference"},{"key":"5","first-page":"79","article-title":"Vital coded microprocessor principles and application for various transit systems","author":"forin","year":"1989","journal-title":"IFA-GCCT"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1960.5219855"},{"journal-title":"Hardware Error Detection Using An-codes","year":"2011","author":"schiffel","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/12.980007"}],"event":{"name":"IEEE EUROCON 2013","start":{"date-parts":[[2013,7,1]]},"location":"Zagreb, Croatia","end":{"date-parts":[[2013,7,4]]}},"container-title":["Eurocon 2013"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596534\/6624951\/06625047.pdf?arnumber=6625047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T00:06:00Z","timestamp":1498089960000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6625047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/eurocon.2013.6625047","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}