{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:16Z","timestamp":1725664996859},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617723"},{"type":"electronic","value":"9783540706779"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61772-8_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:23:32Z","timestamp":1330295012000},"page":"403-420","source":"Crossref","is-referenced-by-count":1,"title":["Constraint based system-level diagnosis of multiprocessors"],"prefix":"10.1007","author":[{"given":"J.","family":"Altmann","sequence":"first","affiliation":[]},{"given":"T.","family":"Bartha","sequence":"additional","affiliation":[]},{"given":"A.","family":"Pataricza","sequence":"additional","affiliation":[]},{"given":"A.","family":"Petri","sequence":"additional","affiliation":[]},{"given":"P.","family":"Urb\u00e1n","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"25_CR1","volume-title":"Generalization of System-Level Diagnosis Theory","author":"E. Sel\u00e9nyi","year":"1985","unstructured":"E. Sel\u00e9nyi, \u201cGeneralization of System-Level Diagnosis Theory,\u201d D.Sc. Thesis, Budapest, Hungarian Academy of Sciences, 1985."},{"key":"25_CR2","unstructured":"A. Pataricza, K. Tilly, E. Sel\u00e9nyi, M. Dal Cin, \u201cA Constraint Based Approach to System-Level Diagnosis,\u201d Internal report 4\/1994, University of Erlangen-N\u00fcrnberg, 1994."},{"key":"25_CR3","unstructured":"A. Petri, \u201cA Constraint Based Algorithm for System Level Diagnosis,\u201d Diploma Thesis, Technical University of Budapest, 1994."},{"key":"25_CR4","first-page":"75","volume":"1","author":"A. Pataricza","year":"1994","unstructured":"A. Pataricza, K. Tilly, E. Sel\u00e9nyi, M. Dal Cin, A. Petri, \u201cConstraint-based System Level Diagnosis of Multiprocessor Architectures,\u201d Proc. of 8th Symp. on Microprocessor and Microcomputer Applications, vol. 1, pp. 75\u201384, 1994.","journal-title":"Proc. of 8th Symp. on Microprocessor and Microcomputer Applications"},{"key":"25_CR5","unstructured":"P. Urb\u00e1n, \u201cA Distributed Constraint Based Diagnosis Algorithm for Multiprocessors,\u201d Scientific Conference of the Students, Technical University of Budapest, Faculty of Electrical Engineering and Computer Science, 1995."},{"key":"25_CR6","first-page":"109","volume":"1","author":"J. Altmann","year":"1994","unstructured":"J. Altmann, T. Bartha, A. Pataricza, \u201cAn Event-Driven Approach to Multiprocessor Diagnosis,\u201d Proc. of 8th Symp. on Microprocessor and Microcomputer Applications, vol. 1, pp. 109\u2013118, 1994.","journal-title":"Proc. of 8th Symp. on Microprocessor and Microcomputer Applications"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"J. Altmann, T. Bartha, A. Pataricza, \u201cOn Integrating Error Detection into a Fault Diagnosis Algorithm For Massively Parallel Computers,\u201d Proc. of IEEE IPDS '95 Symposium, pp. 154\u2013164, 1995.","DOI":"10.1109\/IPDS.1995.395836"},{"key":"25_CR8","unstructured":"T. Bartha, \u201cEffective Approximate Fault Diagnosis of System with Inhomogeneous Test Invalidation,\u201d submitted to the Euromicro '96 Conference, 1996."},{"key":"25_CR9","unstructured":"K. Tilly, \u201cConstraint Based Logic Test Generation,\u201d Ph.D. Thesis, Hungarian Academy of Sciences, 1994."},{"key":"25_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari, \u201cNetworks of Constraints: Fundamental Properties and Applications to Picture Processing,\u201d Information Sciences, vol. 7, pp. 95\u2013132, 1974.","journal-title":"Information Sciences"},{"key":"25_CR11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr, T. C. Henderson, \u201cArc and Path Consistency Revisited,\u201d Artificial Intelligence, vol. 28, pp. 225\u2013233, 1986.","journal-title":"Artificial Intelligence"},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A. Mackworth","year":"1985","unstructured":"A. Mackworth, E. C. Freuder, \u201cThe Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems,\u201d Artificial Intelligence, vol 25, pp. 65\u201374, 1985.","journal-title":"Artificial Intelligence"},{"key":"25_CR13","unstructured":"R. Seidel, \u201cA New Method for Solving Constraint Satisfaction Problems\u201d, IJCAI '81, pp. 338\u2013342, 1981."},{"key":"25_CR14","unstructured":"P. van Beek, \u201cA Binary CSP Solution Library,\u201d available by FTP from ftp.cs.alberta.ca."},{"key":"25_CR15","volume-title":"A Theoretical Evaluation of Selected Backtracking Algorithms","author":"G. Kondrak","year":"1994","unstructured":"G. Kondrak, \u201cA Theoretical Evaluation of Selected Backtracking Algorithms,\u201d M.Sc. Thesis, University of Alberta, Edmonton, 1994."},{"issue":"no.2","key":"25_CR16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/152610.152612","volume":"25","author":"M. Barborak","year":"1993","unstructured":"M. Barborak, M. Malek, A. Dahbura, \u201cThe Consensus Problem in Fault-Tolerant Computing,\u201d ACM Computing Surveys, vol. 25, no. 2, pp. 171\u2013220, June 1993.","journal-title":"ACM Computing Surveys"},{"issue":"no.6","key":"25_CR17","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1109\/PGEC.1967.264748","volume":"EC-16","author":"F. Preparata","year":"1967","unstructured":"F. Preparata; G. Metze; R. Chien, \u201cOn the Connection Assignment Problem of Diagnosable Systems,\u201d IEEE Trans. Comput., vol. EC-16, no. 6, pp. 848\u2013854, Dec. 1967.","journal-title":"IEEE Trans. Comput."},{"key":"25_CR18","first-page":"577","volume-title":"Fault-Tolerant Computing: Theory and Techniques","author":"C. Kime","year":"1985","unstructured":"C. Kime, \u201cSystem Diagnosis,\u201d in Fault-Tolerant Computing: Theory and Techniques, D. Pradhan ed., Prentice-Hall, New York, pp. 577\u2013623, 1985."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61772-8_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:30Z","timestamp":1619573790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61772-8_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617723","9783540706779"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61772-8_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}