{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:17Z","timestamp":1725551837324},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308812"},{"type":"electronic","value":"9783540322979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11599555_63","type":"book-chapter","created":{"date-parts":[[2005,11,29]],"date-time":"2005-11-29T08:43:33Z","timestamp":1133253813000},"page":"659-670","source":"Crossref","is-referenced-by-count":4,"title":["Control Flow Error Checking with ISIS"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Jos\u00e9","family":"Serrano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"63_CR1","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MM.1998.735939","volume":"18","author":"D. Avresky","year":"1998","unstructured":"Avresky, D., Grosspietsch, K.E., Johnson, B.W., Lombardi, F.: Embedded fault tolerant systems. IEEE Micro Magazine\u00a018(5), 8\u201311 (1998)","journal-title":"IEEE Micro Magazine"},{"key":"63_CR2","unstructured":"IEEE Std. 1076-1993: VHDL Language Reference Manual. The Institute of Electrical and Electronics Engineers Inc., New York (1995)"},{"key":"63_CR3","doi-asserted-by":"crossref","unstructured":"Gunneflo, U., Karlsson, J., Torin, J.: Evaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation. In: Proceedings of the 19th Fault Tolerant Computing Symposium (FTCS 19), Chicago, Illinois, pp. 340\u2013347 (1989)","DOI":"10.1109\/FTCS.1989.105590"},{"key":"63_CR4","doi-asserted-by":"crossref","unstructured":"Czeck, E.W., Siewieorek, D.P.: Effects of Transient Gate-Level Faults on Program Behavior. In: Proceedings of the 20th Fault Tolerant Computing Symposium (FTCS 20), NewCastle Upon Tyne, U.K, pp. 236\u2013243 (1990)","DOI":"10.1109\/FTCS.1990.89371"},{"key":"63_CR5","doi-asserted-by":"crossref","unstructured":"Ohlsson, J., Rim\u00e9n, M., Gunneflo, U.: A Study of the Effects of Transient Fault Injection into a 32-bit RISC with Built-in Watchdog. In: Proceedings of the 22nd Fault Tolerant Computing Symposium (FTCS 22), Boston, USA, pp. 316\u2013325 (1992)","DOI":"10.1109\/FTCS.1992.243569"},{"key":"63_CR6","unstructured":"Siewiorek, D.P.: Niche Sucesses to Ubiquitous Invisibility: Fault-Tolerant Computing Past, Present, and Future. In: Proceedings of the 25th Fault Tolerant Computing Symposium (FTCS 25), Pasadena, USA, pp. 26\u201333 (1995)"},{"key":"63_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-45732-1_26","volume-title":"Computer Safety, Reliability and Security","author":"F. Rodr\u00edguez","year":"2002","unstructured":"Rodr\u00edguez, F., Campelo, J.C., Serrano, J.J.: A Watchdog Processor Architecture with Minimal Performance Overhead. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, pp. 261\u2013272. Springer, Heidelberg (2002)"},{"key":"63_CR8","unstructured":"Rodr\u00edguez, F., Campelo, J.C., Serrano, J.J.: The HORUS Processor. In: Proceedings of the XVII Conference on Design of Circuits and Integrated Systems (DCIS 2002), Santander, Spain, pp. 517\u2013522 (2002)"},{"key":"63_CR9","unstructured":"MIPS32 Architecture for Programmers, volume I: Introduction to the MIPS32 Architecture. MIPS Technologies (2001)"},{"key":"63_CR10","unstructured":"AMBA Specification rev2.0. ARM Limited (1999)"},{"key":"63_CR11","volume-title":"Computer Architecture. A Quantitative Approach","author":"J.L. Hennessy","year":"1996","unstructured":"Hennessy, J.L., Patterson, D.A.: Computer Architecture. A Quantitative Approach, 2nd edn. Morgan-Kauffmann Publisher, San Francisco (1996)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599555_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:00:39Z","timestamp":1619492439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599555_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308812","9783540322979"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11599555_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}