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 条
  • [41] IS THE MULTIGRID METHOD FAULT TOLERANT? THE MULTILEVEL CASE
    Ainsworth, Mark
    Glusa, Christian
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2017, 39 (06): : C393 - C416
  • [42] Timed model checking of fault-tolerant nuclear I&C systems
    Buzhinsky, Igor
    Pakonen, Antti
    2020 IEEE 18TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOL 1, 2020, : 159 - 164
  • [43] Fault-tolerant performance checking application for distributed computing and supply chain networks
    Hassan, Umair
    Soh, Ben
    JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2006, 6 (5-6) : S217 - S228
  • [44] ASYMPTOTIC WAVE-FORM EVALUATION VIA A LANCZOS METHOD
    GALLIVAN, K
    GRIMME, E
    VANDOOREN, P
    APPLIED MATHEMATICS LETTERS, 1994, 7 (05) : 75 - 80
  • [45] NEWTON-TYPE MINIMIZATION VIA THE LANCZOS METHOD.
    Nash, Stephen G.
    1600, (21):
  • [46] Multiple Error Self Checking-Repairing Fault Tolerant Adder-Multiplier
    Palsodkar, Prachi
    Palsodkar, Prasanna
    Giri, Rupali
    2018 IEEE REGION 10 HUMANITARIAN TECHNOLOGY CONFERENCE (R10-HTC), 2018,
  • [47] Fault tolerant control using virtual actuators and invariant-set based fault detection and identification
    Seron, Maria M.
    De Dona, Jose A.
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 7801 - 7806
  • [48] Verification of fault tolerant safety I&C systems using model checking
    Pakonen, Antti
    Buzhinsky, Igor
    2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2019, : 969 - 974
  • [49] Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems
    Buzhinsky, Igor
    Pakonen, Antti
    IEEE ACCESS, 2020, 8 : 197684 - 197694
  • [50] Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
    Li, Junguo
    Chen, Xiangping
    Huang, Gang
    Mei, Hong
    Chauvel, Franck
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 69 - 86
12345