Fault Tolerant Lanczos Eigensolver via an Invariant Checking Method

被引：0
|
作者：
Loh, Felix [1 ]
Saluja, Kewal K. [1 ]
Ramanathan, Parameswaran [1 ]
机构：
[1] University of Wisconsin-Madison, 1415 Engineering Drive, Madison,WI, United States
来源：
Journal of Electronic Testing: Theory and Applications (JETTA) | 2021年 / 37卷 / 03期
关键词：
Computational units - Fault tolerant schemes - Fault-tolerant method - Invariant checking - Mathematical analysis - Real symmetric matrix - Scientific applications - Scientific computing applications;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
31
引用
收藏
页码：409 / 422
相关论文
共 50 条
  • [1] Fault Tolerant Lanczos Eigensolver via an Invariant Checking Method
    Felix Loh
    Kewal K. Saluja
    Parameswaran Ramanathan
    Journal of Electronic Testing, 2021, 37 : 409 - 422
  • [2] Fault Tolerant Lanczos Eigensolver via an Invariant Checking Method
    Loh, Felix
    Saluja, Kewal K.
    Ramanathan, Parameswaran
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2021, 37 (03): : 409 - 422
  • [3] Fault Tolerance through Invariant Checking for the Lanczos Eigensolver
    Loh, Felix
    Saluja, Kewal K.
    Ramanathan, Parameswaran
    2020 33RD INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2020 19TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2020, : 13 - 18
  • [4] FAULT-TOLERANT PROPERTIES AND A FAULT-CHECKING METHOD OF FUZZY CONTROL
    ITO, H
    MATSUBARA, T
    KUROKAWA, T
    KOGA, Y
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (05) : 586 - 593
  • [5] Model checking fault tolerant systems
    Bernardeschi, C
    Fantechi, A
    Gnesi, S
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2002, 12 (04): : 251 - 275
  • [6] Self Checking and Fault Tolerant Digital Design
    Rajasree, Y.
    Priya, Y. Vishnu
    Alamelu, N. R.
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF ELECTRICAL ENGINEERING/8TH INTERNATIONAL CONFERENCE ON APPLIED ELECTROMAGNETICS, WIRELESS AND OPTICAL COMMUNICATIONS, 2009, : 86 - 92
  • [7] ALGORITHMIC FAULT TOLERANCE USING THE LANCZOS METHOD
    BOLEY, DL
    BRENT, RP
    GOLUB, GH
    LUK, FT
    SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 1992, 13 (01) : 312 - 332
  • [8] Fault Tolerance through Invariant Checking for Iterative Solvers
    Loh, Felix
    Saluja, Kewal K.
    Ramanathan, Parameswaran
    2016 29TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2016 15TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2016, : 481 - 486
  • [9] Efficient Model Checking of Fault-Tolerant Distributed Protocols
    Bokor, Peter
    Kinder, Johannes
    Serafini, Marco
    Suri, Neeraj
    2011 IEEE/IFIP 41ST INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2011, : 73 - 84
  • [10] Validating requirements for fault tolerant systems using model checking
    Schneider, F
    Easterbrook, SM
    Callahan, JR
    Holzmann, GJ
    THIRD INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING - PROCEEDINGS, 1998, : 4 - 13
12345