FAULT-TOLERANT PROCESSOR EVALUATION EXPERIENCE - FORMAL VERIFICATION STUDIES

被引：0
|
作者：
KLJAICH, J
SMITH, BT
WOJCIK, AS
机构：
[1] ARGONNE NATL LAB,ARGONNE,IL 60439
[2] IIT,CHICAGO,IL 60616
来源：
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY | 1985年 / 49卷 / JUN期
关键词：
D O I：
暂无
中图分类号：
TL [原子能技术]; O571 [原子核物理学];
学科分类号：
0827 ; 082701 ;
摘要：
引用
收藏
页码：379 / 379
页数：1
相关论文
共 50 条
  • [41] Lazy verification in fault-tolerant distributed storage systems
    Abd-El-Malek, M
    Ganger, GR
    Goodson, GR
    Reiter, MK
    Wylie, JJ
    [J]. 24TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, : 179 - 190
  • [42] Nonadaptive fault-tolerant verification of quantum supremacy with noise
    Kapourniotis, Theodoros
    Datta, Animesh
    [J]. QUANTUM, 2019, 3
  • [43] An Efficient Data Integrity Verification and Fault-tolerant Scheme
    Gan, Hui
    Chen, Long
    [J]. 2014 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORK TECHNOLOGIES (CSNT), 2014, : 1157 - 1160
  • [44] Mechanical verification of automatic synthesis of fault-tolerant programs
    Kulkarni, SS
    Bonakdarpour, B
    Borzoo, S
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 36 - 52
  • [45] Analysis and Experimental Verification of a Fault-Tolerant HEV Powertrain
    Song, Yantao
    Wang, Bingsen
    [J]. IEEE TRANSACTIONS ON POWER ELECTRONICS, 2013, 28 (12) : 5854 - 5864
  • [46] ON AREA AND YIELD CONSIDERATIONS FOR FAULT-TOLERANT VLSI PROCESSOR ARRAYS
    KOREN, I
    BREUER, MA
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1984, 33 (01) : 21 - 27
  • [47] Configurable fault-tolerant processor (CFTP) for spacecraft onboard processing
    Hulme, CA
    Loomis, HH
    Ross, AA
    Yuan, R
    [J]. 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 2269 - 2276
  • [48] HYPERGRAPH MODEL FOR FAULT-TOLERANT VLSI PROCESSOR ARRAYS.
    Rosenberg, Arnold L.
    [J]. IEEE Transactions on Computers, 1985, C-34 (06) : 578 - 584
  • [49] Fault-tolerant operation of a logical qubit in a diamond quantum processor
    Abobeih, M. H.
    Wang, Y.
    Randall, J.
    Loenen, S. J. H.
    Bradley, C. E.
    Markham, M.
    Twitchen, D. J.
    Terhal, B. M.
    Taminiau, T. H.
    [J]. NATURE, 2022, 606 (7916) : 884 - +
  • [50] THE HEIDELBERG POLYP - A FLEXIBLE AND FAULT-TOLERANT POLY-PROCESSOR
    MANNER, R
    DELUIGI, B
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1981, 22 (2-3) : 279 - 284
12345