{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:18Z","timestamp":1725515178312},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691631"},{"type":"electronic","value":"9783540691662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69166-2_22","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T09:25:03Z","timestamp":1215941103000},"page":"332-346","source":"Crossref","is-referenced-by-count":9,"title":["Reasoning about Control Flow in the Presence of Transient Faults"],"prefix":"10.1007","author":[{"given":"Frances","family":"Perry","sequence":"first","affiliation":[]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Budiu, M., Erlingsson, \u00da., Ligatti, J.: Control-flow integrity: Principles, implementations, and applications. In: ACM Conference on Computer and Communications Security (November 2005)","DOI":"10.1145\/1102120.1102165"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Budiu, M.: A theory of secure control flow. In: International Conference on Formal Engineering Methods (November 2005)","DOI":"10.1007\/11576280_9"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/7298.946456","volume":"1","author":"R.C. Baumann","year":"2001","unstructured":"Baumann, R.C.: Soft errors in advanced semiconductor devices-part I: the three radiation sources. IEEE Transactions on Device and Materials Reliability\u00a01(1), 17\u201322 (2001)","journal-title":"IEEE Transactions on Device and Materials Reliability"},{"key":"22_CR4","unstructured":"Baumann, R.C.: Soft errors in commercial semiconductor technology: Overview and scaling trends. In: IEEE 2002 Reliability Physics Tutorial Notes, Reliability Fundamentals, pp. 121_01.1\u2013121_01.14 (April 2002)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/CGO.2006.33","volume-title":"CGO 2006: Proceedings of the International Symposium on Code Generation and Optimization","author":"E. Borin","year":"2006","unstructured":"Borin, E., Wang, C., Wu, Y., Araujo, G.: Software-based transparent and comprehensive control-flow error detection. In: CGO 2006: Proceedings of the International Symposium on Code Generation and Optimization, Washington, DC, USA, pp. 333\u2013345. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Borkar, S.: Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. In: IEEE Micro., vol.\u00a025, pp. 10\u201316 (December 2005)","DOI":"10.1109\/MM.2005.110"},{"key":"22_CR7","unstructured":"Elsman, M.: Fault-tolerant voting in a simply-typed lambda calculus. Technical Report ITU-TR-2007-99, IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark (June 2007)"},{"issue":"3","key":"22_CR8","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/TDMR.2005.855685","volume":"5","author":"S.E. Michalak","year":"2005","unstructured":"Michalak, S.E., Harris, K.W., Hengartner, N.W., Takala, B.E., Wender, S.A.: Predicting the number of fatal soft errors in Los Alamos National Labratory\u2019s ASC Q computer. IEEE Transactions on Device and Materials Reliability\u00a05(3), 329\u2013335 (2005)","journal-title":"IEEE Transactions on Device and Materials Reliability"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"O\u2019Gorman, T.J., Ross, J.M., Taber, A.H., Ziegler, J.F., Muhlfeld, H.P., Montrose, I.C.J., Curtis, H.W., Walsh, J.L.: Field testing for cosmic ray soft errors in semiconductor memories. IBM Journal of Research and Development, 41\u201349 (January 1996)","DOI":"10.1147\/rd.401.0041"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Oh, N., Shirvani, P.P., McCluskey, E.J.: Control-flow checking by software signatures. In: IEEE Transactions on Reliability, vol.\u00a051, pp. 111\u2013122 ( March 2002)","DOI":"10.1109\/24.994926"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Perry, F., Mackey, L., Reis, G.A., Ligatti, J., August, D.I., Walker, D.: Fault-tolerant typed assembly language. In: International Symposium on Programming Language Design and Implementation (PLDI) (June 2007)","DOI":"10.1145\/1250734.1250741"},{"key":"22_CR12","unstructured":"Perry, F., Walker, D.: Reasoning about control flow in the presence of transient faults. Technical Report TR-799-07, Princeton University (2007)"},{"key":"22_CR13","unstructured":"Perry, F., Walker, D.: Reasoning about control flow in the presence of transient faults - online proof appendix (2007), Web site: http:\/\/www.cs.princeton.edu\/sip\/projects\/zap\/tal_cf\/"},{"key":"22_CR14","first-page":"25","volume-title":"Proceedings of the 27th Annual International Symposium on Computer Architecture","author":"S.K. Reinhardt","year":"2000","unstructured":"Reinhardt, S.K., Mukherjee, S.S.: Transient fault detection via simultaneous multithreading. In: Proceedings of the 27th Annual International Symposium on Computer Architecture, pp. 25\u201336. ACM Press, New York (2000)"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: SWIFT: Software implemented fault tolerance. In: Proceedings of the 3rd International Symposium on Code Generation and Optimization (March 2005)","DOI":"10.1109\/CGO.2005.34"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I., Mukherjee, S.S.: Design and evaluation of hybrid fault-detection systems. In: Proceedings of the 32th Annual International Symposium on Computer Architecture, pp. 148\u2013159 (June 2005)","DOI":"10.1109\/ISCA.2005.21"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Shivakumar, P., Kistler, M., Keckler, S.W., Burger, D., Alvisi, L.: Modeling the effect of technology trends on the soft error rate of combinational logic. In: Proceedings of the 2002 International Conference on Dependable Systems and Networks, pp. 389\u2013399 ( June 2002)","DOI":"10.1109\/DSN.2002.1028924"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Walker, D., Mackey, L., Ligatti, J., Reis, G., August, D.I.: Static typing for a faulty lambda calculus. In: ACM International Conference on Functional Programming, Portland, Oregon (September 2006)","DOI":"10.1145\/1159803.1159809"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69166-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:30:13Z","timestamp":1620016213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69166-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540691631","9783540691662"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69166-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}