{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:34:38Z","timestamp":1725568478191},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165573"},{"type":"electronic","value":"9783642165580"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16558-0_6","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:36:49Z","timestamp":1288705009000},"page":"47-57","source":"Crossref","is-referenced-by-count":0,"title":["Compiler-Support for Robust Multi-core Computing"],"prefix":"10.1007","author":[{"given":"Raimund","family":"Kirner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Herhut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven-Bodo","family":"Scholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avi\u017eienis","year":"2004","unstructured":"Avi\u017eienis, 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), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Mikolasek, V.: Dependability and robustness: State of the art and challenges. In: Proc. Workshop on Software Technologies for Future Dependable Distributed Systems, Tokyo, Japan (March 2009)","DOI":"10.1109\/STFSSD.2009.42"},{"key":"6_CR3","unstructured":"RTCA: Software considerations in airborne systems and equipment certification. RTCA\/DO-178B (1992)"},{"key":"6_CR4","unstructured":"ISO\/DIS: Road vehicles \u2013 functional safety. ISO\/DIS standard 26262"},{"key":"6_CR5","unstructured":"Treaster, M.: A survey of fault-tolerance and fault-recovery techniques in parallel systems. ACM Computing Research Repository (CoRR) abs\/cs\/0501002 (2005)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: SWIFT: Software implemented fault tolerance. In: Proc. 3rd International Symposium on Code Generation and Optimization (CGO) (March 2005)","DOI":"10.1109\/CGO.2005.34"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MM.2007.4","volume":"27","author":"J. Chang","year":"2007","unstructured":"Chang, J., Reis, G.A., August, D.I.: Automatic instruction-level software-only recovery. IEEE Micro\u00a027(1), 36\u201347 (2007)","journal-title":"IEEE Micro"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s10766-006-0018-x","volume":"34","author":"C. Grelck","year":"2006","unstructured":"Grelck, C., Scholz, S.B.: SAC: A functional array language for efficient multithreaded execution. International Journal of Parallel Programming\u00a034(4), 383\u2013427 (2006)","journal-title":"International Journal of Parallel Programming"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1017\/S0956796805005538","volume":"15","author":"C. Grelck","year":"2005","unstructured":"Grelck, C.: Shared memory multiprocessor support for functional array processing in SAC. Journal of Functional Programming\u00a015(3), 353\u2013401 (2005)","journal-title":"Journal of Functional Programming"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Ademaj, A.: Slightly-off-specification failures in the time-triggered architecture. In: Proc. 7th IEEE International Workshop on High Level Design Validation and Test, Cannes, France, pp. 7\u201312 (October 2002)","DOI":"10.1109\/HLDVT.2002.1224420"},{"key":"6_CR11","unstructured":"Mikolasek, V.: Robustness in complex systems - state of the art report. Research Report 26\/2008, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 1-3\/182-1, 1040 Vienna, Austria (2008)"},{"key":"6_CR12","unstructured":"Obermaisser, R., Kopetz, H.: From ARTEMIS requirements to a cross-domain embedded system architecture. In: Proc. Embedded Real Time Software and Systems, Toulouse, France (May 2010)"},{"key":"6_CR13","unstructured":"Horvitz, E.J.: Reasoning about beliefs and actions under computation resource constraints. In: Proc. Workshop on Uncertainty in Artificial Intelligence, Seattle, Washington (1987)"},{"key":"6_CR14","unstructured":"Boddy, M., Dean, T.: Solving time-dependent planning problems. In: Proc. 11th International Joint Conference on Artificial Intelligence (August 1989)"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1142\/S0129626408003351","volume":"18","author":"C. Grelck","year":"2008","unstructured":"Grelck, C., Scholz, S.B., Shafarenko, A.: A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components. Parallel Processing Letters\u00a018(2), 221\u2013237 (2008)","journal-title":"Parallel Processing Letters"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-70881-0_40","volume-title":"Perspectives of Systems Informatics","author":"A. Shafarenko","year":"2007","unstructured":"Shafarenko, A., Scholz, S.B., Grelck, C.: Streaming networks for coordinating data-parallel programs. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 451\u2013455. Springer, Heidelberg (2007)"},{"key":"6_CR17","unstructured":"Kirner, R., Scholz, S.B., Penczek, F., Shafarenko, A.: PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments. In: Proc. 1st Int\u2019l Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (submitted, November 2010)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Vallee, G., Engelmann, C., Tikotekar, A., Naughton, T., Charoenpornwattana, K., Leangsuksun, C., Scott, S.L.: A framework for proactive fault tolerance. In: Proc. 3rd Int\u2019l Converence of Availability, Reliability and Security, Barcelona, Spain, pp. 659\u2013664 (May 2008)","DOI":"10.1109\/ARES.2008.171"},{"key":"6_CR19","first-page":"113","volume-title":"Proc. Conference on Symposium on Human Interface 2009","author":"C. Lee","year":"2009","unstructured":"Lee, C., Lee, D., Koo, J., Chung, J.: Proactive fault detection schema for enterprise information system using statistical process control. In: Proc. Conference on Symposium on Human Interface 2009, pp. 113\u2013122. Springer, Heidelberg (2009)"},{"key":"6_CR20","unstructured":"Wang, C., Mueller, F., Engelmann, C., Scott, S.L.: Proactive process-level live migration in hpc environments. In: Proc. ACM\/IEEE conference on Supercomputing (SC 2008), Piscataway, NJ, USA. IEEE Press, Los Alamitos (2008)"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E.N.M. Elnozahy","year":"2002","unstructured":"Elnozahy, E.N.M., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Compututing Surveys\u00a034(3), 375\u2013408 (2002)","journal-title":"ACM Compututing Surveys"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/HPCSA.2002.1019157","volume-title":"Proc. 16th Annual International Symposium on High Performance Computing Systems and Applications","author":"S.E. Choi","year":"2002","unstructured":"Choi, S.E., Deitz, S.J.: Compiler support for automatic checkpointing. In: Proc. 16th Annual International Symposium on High Performance Computing Systems and Applications, Washington, DC, USA, p. 213. IEEE Computer Society, Los Alamitos (2002)"},{"key":"6_CR23","first-page":"709","volume-title":"Proc. IEEE International Symposium on Cluster Computing and the Grid","author":"J. Dinan","year":"2010","unstructured":"Dinan, J., Singri, A., Sadayappan, P., Krishnamoorthy, S.: Selective recovery from failures in a task parallel programming model. In: Proc. IEEE International Symposium on Cluster Computing and the Grid, pp. 709\u2013714. IEEE Computer Society, Los Alamitos (2010)"},{"key":"6_CR24","first-page":"48","volume-title":"Proc. 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: Proc. 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 48\u201360. ACM, New York (2005)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/FTCS.1997.614078","volume-title":"Proc. 27th International Symposium on Fault-Tolerant Computing (FTCS 1997)","author":"B. Ramkumar","year":"1997","unstructured":"Ramkumar, B., Strumpen, V.: Portable checkpointing for heterogeneous archtitectures. In: Proc. 27th International Symposium on Fault-Tolerant Computing (FTCS 1997), Washington, DC, USA, p. 58. IEEE Computer Society, Los Alamitos (1997)"},{"key":"6_CR26","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/325694.325709","volume-title":"Proc. 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Hinze","year":"2000","unstructured":"Hinze, R.: A new approach to generic functional programming. In: Proc. 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 119\u2013132. ACM Press, New York (2000)"},{"issue":"6","key":"6_CR27","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1017\/S0956796802004458","volume":"13","author":"S.B. Scholz","year":"2003","unstructured":"Scholz, S.B.: Single Assignment C \u2014 efficient support for high-level array operations in a functional setting. Journal of Functional Programming\u00a013(6), 1005\u20131059 (2003)","journal-title":"Journal of Functional Programming"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/HPCSA.2002.1019157","volume-title":"HPCS 2002: Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications","author":"S.E. Choi","year":"2002","unstructured":"Choi, S.E., Deitz, S.J.: Compiler support for automatic checkpointing. In: HPCS 2002: Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, Washington, DC, USA, p. 213. IEEE Computer Society, Los Alamitos (2002)"},{"key":"6_CR29","first-page":"48","volume-title":"PPoPP 2005: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 48\u201360. ACM, New York (2005)"},{"key":"6_CR30","unstructured":"Grelck, C., van Deurzen, T., Herhut, S., Scholz, S.B.: An Adaptive Compilation Framework for Generic Data-Parallel Array Programming. In: 15th Workshop on Compilers for Parallel Computing (CPC 2010), Vienna University of Technology, Vienna, Austria (2010)"},{"key":"6_CR31","unstructured":"Patai, G., Han\u00e1k, P.: Embedded functional programming in Hume. In: IASTED on Software Engineering, Innsbruck, Austria, pp. 328\u2013333. ACTA Press (2007)"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-25935-0_8","volume-title":"Domain-Specific Program Generation","author":"K. Hammond","year":"2004","unstructured":"Hammond, K., Michaelson, G.: The design of Hume: A high-level language for the real-time embedded systems domain. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 127\u2013142. Springer, Heidelberg (2004)"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-39815-8_3","volume-title":"Generative Programming and Component Engineering","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.: Hume: A domain-specific language for real-time embedded systems. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol.\u00a02830, pp. 37\u201356. Springer, Heidelberg (2003)"},{"key":"6_CR34","unstructured":"MISRA, T.M.I.S.R.A.: MISRA-C 2004: Guidelines for the Use of the C Language in Critical Systems. MISRA (October 2004), ISBN: 0-9524156-4-X (pdf version)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16558-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T23:29:53Z","timestamp":1636759793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16558-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165573","9783642165580"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16558-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}