{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:29:32Z","timestamp":1737523772261,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664833"},{"type":"electronic","value":"9783540482543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48254-7_28","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T22:45:26Z","timestamp":1194389126000},"page":"419-436","source":"Crossref","is-referenced-by-count":1,"title":["Fault-Detection by Result-Checking for the Eigenproblem1"],"prefix":"10.1007","author":[{"given":"Paula","family":"Prata","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Gabriel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Huang, K.-H. and J. A. Abraham, Algorithm-Based Fault Tolerance for Matrix Operations, in IEEE Transactions on Computers, 1984, p. 518\u2013528.","DOI":"10.1109\/TC.1984.1676475"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, P., et al., Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor, in IEEE Transactions on Computers, 1990, p. 1132\u20131144.","DOI":"10.1109\/12.57055"},{"key":"28_CR3","unstructured":"Chowdhury, A. R. and P. Banerjee. Algorithm-Based Fault Location and Recovery for Matrix Computations in 24th International Symposium on Fault-Tolerant Computing, 1994. Austin, Texas, p. 38\u201347."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Rela, M. Z., H. Madeira, and J. G. Silva. Experimental Evaluation of the Fail-Silent Behavior of Programs with Consistency Checks in 26th International Symposium on Fault-Tolerant Computing, 1996. Sendai-Japan, p. 394\u2013403.","DOI":"10.1109\/FTCS.1996.534625"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Silva, J. G., J. Carreira, H. Madeira, D. Costa, and F. Moreira. Experimental Assessment of Parallel Systems in 26th International Symposium on Fault-Tolerant Computing, 1996. Sendai, Japan, p. 415\u2013424.","DOI":"10.1109\/FTCS.1996.534627"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Chen, C.-Y. and A. Abraham. Fault-tolerant Systems for the computation of Eigenvalues and Singular Values in Proc. SPIE, Advanced Algorithms Architectures Signal Processing, 1986, p. 228\u2013237.","DOI":"10.1117\/12.936897"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Balasubramanian, V. and P. Banerjee, Algorithm-Based Error Detection for Signal Processing Applications on a Hypercube Multiprocessor, in Real-Time Systems Symposium, 1989, p. 134\u2013143.","DOI":"10.1109\/REAL.1989.63564"},{"issue":"1","key":"28_CR8","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/200836.200880","volume":"42","author":"M. Blum","year":"1995","unstructured":"Blum, M. and S. Kannan, Designing Programs that Check Their Work. Journal of the Association for Computing Machinery, 1995. 42(1): p. 269\u2013291.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Prata, P. and J. G. Silva. Algorithm Based Fault Tolerance Versus Result-Checking for Matrix Computations. To appear in 29th International Symposium on Fault-Tolerant Computing, 1999. Madison, Wisconsin, USA.","DOI":"10.1109\/FTCS.1999.781028"},{"key":"28_CR10","unstructured":"Velde, E. F. V. d., Concurrent Scientific Computing. 1994: Springer-Verlag."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Demmel, J. W., Applied Numerical Linear Algebra. 1997: SIAM.","DOI":"10.1137\/1.9781611971446"},{"key":"28_CR12","unstructured":"Anderson, E., Z. Bai, C. Bischof, and e. al., LAPACK Users\u2019 Guide. 1995: SIAM."},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Blum, M. and H. Wasserman, Reflections on The Pentium Division Bug, in IEEE Transactions on Computers, 1996, p. 385\u2013393.","DOI":"10.1109\/12.494097"},{"key":"28_CR14","unstructured":"Rubinfeld, R., A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs, PhD Thesis. University of California at Berkeley, 1990. 103 pages."},{"issue":"6","key":"28_CR15","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/268999.269003","volume":"44","author":"H. Wasserman","year":"1997","unstructured":"Wasserman, H. and M. Blum, Software Reliability via Run-Time Result-Checking. Journal of the ACM, 1997. 44(6): p. 826\u2013849.","journal-title":"Journal of the ACM"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Rubinfeld, R. Robust functional equations with applications to self-testing \/ correcting in 35th IEEE Conference on Foundations of Computer Science, 1994, p. 288\u2013299.","DOI":"10.1109\/SFCS.1994.365686"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Silva, J. G., P. Prata, M. Rela, and H. Madeira. Practical Issues in the Use of ABFT and a New Failure Model in 28th International Symposium on Fault-Tolerant Computing, 1998. Munich, Germany, p. 26\u201335.","DOI":"10.1109\/FTCS.1998.689452"},{"key":"28_CR18","unstructured":"Golub, G. H. and C. F. V. Loan, Matrix Computations. Second edition ed. 1989: Johns Hopkins University Press."},{"key":"28_CR19","unstructured":"Watkins, D. S., Fundamentals of Matrix Computations. 1991: John Wiley & Sons."},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Reddy, A. L. N. and P. Banerjee, Algorithm-Based Fault Detection for Signal Processing Applications, in IEEE Transactions on Computers, 1990, p. 1304\u20131308.","DOI":"10.1109\/12.59860"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Jou, J.-Y. and J. A. Abraham, Fault-Tolerant Matrix Arithmetic and Signal Processing on Highly Concurrent Computing Structures, in Proceedings of the IEEE, 1986, p. 732\u2013741.","DOI":"10.1109\/PROC.1986.13535"},{"key":"28_CR22","unstructured":"Higham, N., Accuracy and Stability of Numerical Algorithms. 1996: SIAM."},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Powell, D., M. Cukier, and J. Arlat. On Stratified Sampling for High Coverage Estimations in 2nd European Dependable Computing Conference, 1996. Taormina, Italy, p. 37\u201354.","DOI":"10.1007\/3-540-61772-8_29"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Carreira, J., H. Madeira, and J. G. Silva, Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers, in IEEE Transactions on Software Engineering, 1998, p. 125\u2013135.","DOI":"10.1109\/32.666826"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-3"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48254-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T03:58:31Z","timestamp":1737518311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48254-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664833","9783540482543"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48254-7_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}