{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:56:04Z","timestamp":1743130564204,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152900"},{"type":"electronic","value":"9783642152917"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15291-7_25","type":"book-chapter","created":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T15:56:39Z","timestamp":1283183799000},"page":"260-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Adaptive Fault Tolerance for Many-Core Based Space-Borne Computing"],"prefix":"10.1007","author":[{"given":"Mark","family":"James","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Springer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Zima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Lardner, D.: Babbages\u2019s Calculating Engine. Edinburgh Review (July 1834); Reprinted in Morrison, P., Morrison, E. (eds.). Charles Babbage and His Calculating Engines. Dover, New York (1961)"},{"key":"25_CR2","unstructured":"Avizienis, A., Laprie, J.C., Randell, B.: Fundamental Concepts of Dependability. Technical report, UCLA (2000) (CSD Report No. 010028)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1) (January-March 2004)","DOI":"10.1109\/TDSC.2004.2"},{"issue":"5","key":"25_CR4","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/rob.20192","volume":"24","author":"R. Castano","year":"2007","unstructured":"Castano, R., Estlin, T., Anderson, R.C., Gaines, D.M., Castano, A., Bornstein, B., Chouinard, C., Judd, M.: OASIS: Onboard Autonomous Science Investigation System for Opportunistic Rover Science. Journal of Field Robotics\u00a024(5), 379\u2013397 (2007)","journal-title":"Journal of Field Robotics"},{"key":"25_CR5","unstructured":"Tile64 Processor Family (2007), http:\/\/www.tilera.com"},{"key":"25_CR6","unstructured":"Shirvani, P.P.: Fault-Tolerant Computing for Radiation Environments. Technical Report 01-6, Center for Reliable Computing, Stanford University, Stanford, California 94305 (June 2001) (Ph.D. Thesis)"},{"issue":"3","key":"25_CR7","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem. ACM Trans. Programming Languages and Systems\u00a04(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"6","key":"25_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/MC.2007.213","volume":"40","author":"N. Aggarwal","year":"2007","unstructured":"Aggarwal, N., Ranganathan, P., Jouppi, N.P., Smith, J.E.: Isolation in Commodity Multicore Processors. IEEE Computer\u00a040(6), 49\u201359 (2007)","journal-title":"IEEE Computer"},{"key":"25_CR9","unstructured":"Li, M., Tao, W., Goldberg, D., Hsu, I., Tamir, Y.: Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware. In: Cluster 2002: Proceedings of the IEEE International Conference on Cluster Computing, p. 266. IEEE Computer Society, Washington (September 2002)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Samson, J., Gardner, G., Lupia, D., Patel, M., Davis, P., Aggarwal, V., George, A., Kalbarcyzk, Z., Some, R.: High Performance Dependable Multiprocessor II. In: Proceedings 2007 IEEE Aerospace Conference, pp. 1\u201322 (March 2007)","DOI":"10.1109\/AERO.2007.353106"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"James, M., Shapiro, A., Springer, P., Zima, H.: Adaptive Fault Tolerance for Scalable Cluster Computing in Space. International Journal of High Performance Computing Applications (IJHPCA)\u00a023(3) (2009)","DOI":"10.1177\/1094342009106190"},{"key":"25_CR12","unstructured":"Zima, H.P., Chapman, B.M.: Supercompilers for Parallel and Vector Computers. ACM Press Frontier Series (1991)"},{"key":"25_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, New York (1999)"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-540-69149-5_40","volume-title":"Verified Software: Theories, Tools, Experiments","author":"K. Havelund","year":"2008","unstructured":"Havelund, K., Goldberg, A.: Verify Your Runs. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 374\u2013383. Springer, Heidelberg (2008)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering\u00a010, 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR16","unstructured":"Strout, M.M., Kreaseck, B., Hovland, P.: Data Flow Analysis for MPI Programs. In: Proceedings of the 2006 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2006) (June 2006)"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Some, R., Ngo, D.: REE: A COTS-Based Fault Tolerant Parallel Processing Supercomputer for Spacecraft Onboard Scientific Data Analysis. In: Proceedings of the Digital Avionics Systems System Conference, pp. 7.B.3-1\u20137.B.3-12 (1999)","DOI":"10.1109\/DASC.1999.821991"},{"issue":"6","key":"25_CR18","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/71.774907","volume":"10","author":"Z.T. Kalbarczyk","year":"1999","unstructured":"Kalbarczyk, Z.T., Iyer, R.K., Bagchi, S., Whisnant, K.: Chameleon: A software infrastructure for adaptive fault tolerance. IEEE Trans. Parallel Distrib. Syst.\u00a010(6), 560\u2013579 (1999)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Goldberg, A., Havelund, K., McGann, C.: Runtime Verification for Autonomous Spacecraft Software. In: Proceedings 2005 IEEE Aerospace Conference, pp. 507\u2013516 (March 2005)","DOI":"10.1109\/AERO.2005.1559341"},{"key":"25_CR20","unstructured":"Mehlitz, P.C., Penix, J.: Design for Verification with Dynamic Assertions. In: Proceedings of the 2005 29th Annual IEEE\/NASA Software Engineering Workshop, SEW 2005 (2005)"},{"key":"25_CR21","unstructured":"Kang, D.I., Suh, J., McMahon, J.O., Crago, S.P.: Preliminary Study toward Intelligent Run-time Resource Management Techniques for Large Multi-Core Architectures. In: Proceedings of the 2007 Workshop on High Performance Embedded Computing, HPEC 2007 (September 2007)"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Zima, H.P.: Introspection in a Massively Parallel PIM-Based Architecture. In: Joubert, G.R. (ed.) Advances in Parallel Computing, vol.\u00a013, pp. 441\u2013448. Elsevier B.V., Amsterdam (2004)","DOI":"10.1016\/S0927-5452(04)80057-1"},{"issue":"1","key":"25_CR23","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/MSP.2007.23","volume":"5","author":"R.K. Iyer","year":"2007","unstructured":"Iyer, R.K., Kalbarczyk, Z., Pattabiraman, K., Healey, W., Hwu, W.M.W., Klemperer, P., Farivar, R.: Toward Application-Aware Security and Reliability. IEEE Security and Privacy\u00a05(1), 57\u201362 (2007)","journal-title":"IEEE Security and Privacy"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2010 - Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15291-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T07:24:59Z","timestamp":1740468299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15291-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152900","9783642152917"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15291-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}