{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:20:18Z","timestamp":1742397618697},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_143","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:59:51Z","timestamp":1330271991000},"page":"386-403","source":"Crossref","is-referenced-by-count":7,"title":["Hierarchical checking of multiprocessors using watchdog processors"],"prefix":"10.1007","author":[{"given":"I.","family":"Majzik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Pataricza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Dal","family":"Cin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Hohl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"H\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Sieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science 732","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-662-21577-7_3","volume-title":"Parallel Computer Architectures","author":"M. D. Cin","year":"1993","unstructured":"M. Dal Cin et al.: Fault Tolerance in Distributed Shared Memory Multiprocessors, in: A. Bode, M.Dal Cin (eds.), Parallel Computer Architectures, Lecture Notes in Computer Science 732. Berlin: Springer, pp. 31\u201348, 1993"},{"key":"23_CR2","first-page":"394","volume":"14","author":"J.B. Eifert","year":"1984","unstructured":"J.B. Eifert, J.P. Shen: Processor Monitoring Using Asynchronous Signatured Instruction Streams. Proc. FTCS-14, 394\u2013399 (1984)","journal-title":"Proc. FTCS"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science 732","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/3-540-56733-X","volume-title":"Parallel Computer Architectures","author":"F. Hofmann","year":"1993","unstructured":"F. Hofmann et al.: MEMSY \u2014 A Modular Expandable Multiprocessor System. In: A. Bode, M. Dal Cin (eds): Parallel Computer Architectures. Lecture Notes in Computer Science 732. Berlin: Springer, 1993, pp. 15\u201330"},{"key":"23_CR4","first-page":"681","volume":"31","author":"D.J. Lu","year":"1982","unstructured":"D.J. Lu: Watchdog Processors and Structural Integrity Checking. IEEE Trans. on Comp. 31, 681\u2013685(1982)","journal-title":"IEEE Trans. on Comp."},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0141-9331(91)90131-X","volume":"15","author":"H. Madeira","year":"1991","unstructured":"H. Madeira et al.: A Watchdog Processor for Concurrent Error Detection in Multiple Processor Systems. Microprocessors and Microsystems 15, 123\u2013131 (1991).","journal-title":"Microprocessors and Microsystems"},{"key":"23_CR6","first-page":"318","volume":"21","author":"M. Schutte","year":"1991","unstructured":"M. Schutte, J.P. Shen: Exploiting Instruction Level Resource Parallelism for Transparent Integrated Control-Flow Monitoring. Proc. FTCS-21. 318\u2013325 (1991)","journal-title":"Proc. FTCS"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/12.2145","volume":"37","author":"A. Mahmood","year":"1988","unstructured":"A. Mahmood, E.J. McCluskey.: Concurrent Error Detection Using Watchdog Processors \u2014 A Survey. IEEE Transactions on Computers 37, 160\u2013174 (1988)","journal-title":"IEEE Transactions on Computers"},{"key":"23_CR8","first-page":"334","volume":"21","author":"T. Michel","year":"1991","unstructured":"T. Michel, R. Leveugle, G. Saucier: A New Approach to Control Flow Checking Without Program Modification. Proc. FTCS-21, 334\u2013341 (1991)","journal-title":"Proc. FTCS"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-76930-6_5","volume-title":"Fault Tolerant Computing Systems. Informatik-Fachberichte 283","author":"E. Michel","year":"1991","unstructured":"E. Michel, W. Hohl: Concurrent Error Detection Using Watchdog Processors in the Multiprocessor System MEMSY. In: M. Dal Cin (ed): Fault Tolerant Computing Systems. Informatik-Fachberichte 283. Berlin: Springer 1991, pp. 54\u201364"},{"key":"23_CR10","unstructured":"I. Majzik: Fault detection in the MEMSY multiprocessor using a SEIS watchdogprocessor. Internal report 10\/1993 of the IMMD3, Universit\u00e4t Erlangen, 1993"},{"key":"23_CR11","unstructured":"I. Majzik: SEIS: A program control-flow graph encoding algorithm for control flow checking. Internal report, Technical University of Budapest, 1994 (in Press)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0165-6074(93)90059-T","volume":"39","author":"A. Pataricza","year":"1993","unstructured":"A. Pataricza, I. Majzik, W. Hohl, J. H\u00f6nig: Watchdog Processors in Parallel Systems. Microprocessing and Microprogramming 39, 69\u201374 (1993)","journal-title":"Microprocessing and Microprogramming"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0165-6074(87)90215-8","volume":"20","author":"J.P. Shen","year":"1987","unstructured":"J.P. Shen. S.P. Tomas: A Roving Monitoring Processor for Detection of Control Flow Errors in Multiple Processor Systems. Microprocessing and Microprogramming 20, 249\u2013269 (1987)","journal-title":"Microprocessing and Microprogramming"},{"key":"23_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner: Communication and Concurrency. New York: Prentice Hall. 1989"},{"key":"23_CR15","unstructured":"T. Sridhar, S.M. Thatte: Concurrent Checking of Program Flow in VLSI Processors. Proc. 1982 Int. Test Conf., 191\u2013199 (1982)"},{"key":"23_CR16","first-page":"328","volume":"22","author":"G. Miremadi","year":"1992","unstructured":"G. Miremadi et al.: Two Software Techniques for On-Line Error Detection, Proc FTCS-22, 328\u2013335 (1992)","journal-title":"Proc FTCS"},{"key":"23_CR17","volume-title":"The Cache Memory Handbook","author":"J. Handy","year":"1993","unstructured":"J. Handy: The Cache Memory Handbook. San Diego: Academic Press 1993."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_143.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:15:24Z","timestamp":1619572524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_143","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}