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 条
  • [31] EFFECTIVE RECONFIGURATION ALGORITHMS IN FAULT-TOLERANT PROCESSOR ARRAYS
    BERESFORDSMITH, B
    SCHRODER, H
    [J]. COMPUTING SYSTEMS, 1990, 5 (03): : 169 - 177
  • [32] Highly fault-tolerant FPGA processor by degrading strategy
    Nakamura, Y
    Hiraki, K
    [J]. 2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2002, : 75 - 78
  • [33] Interlocking bus network for fault-tolerant processor arrays
    Siegle, M.G.
    Reeves, D.S.
    Kozminski, K.
    [J]. Proceedings of the International GI/ITG/GMA Conference, 1991,
  • [34] A HYPERGRAPH MODEL FOR FAULT-TOLERANT VLSI PROCESSOR ARRAYS
    ROSENBERG, AL
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (06) : 578 - 584
  • [35] DYNAMICALLY RESTRUCTURABLE FAULT-TOLERANT PROCESSOR NETWORK ARCHITECTURES
    PRADHAN, DK
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (05) : 434 - 447
  • [36] A FAULT-TOLERANT MULTI-PROCESSOR WITHOUT BOTTLENECKS
    MANNER, R
    DELUIGI, B
    [J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1981, 28 (01) : 390 - 394
  • [37] Modelling multiple faults in fault-tolerant processor architectures
    Touloupis, E
    Flint, JA
    Chouliaras, V
    Ward, DD
    [J]. ELECTRONICS LETTERS, 2005, 41 (21) : 1162 - 1163
  • [38] FAULT-TOLERANT MATRIX-INVERSION ON PROCESSOR ARRAY
    MILOVANOVIC, EI
    MILOVANOVIC, IZ
    STOJCEV, MK
    JOVANOVIC, GS
    [J]. ELECTRONICS LETTERS, 1992, 28 (13) : 1206 - 1208
  • [39] An application of formal analysis to software in a fault-tolerant environment
    Chisholm, GH
    Wojcik, AS
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (10) : 1053 - 1064
  • [40] Experiences with Formal Specification of Fault-Tolerant File Systems
    Geambasu, Roxana
    Birrell, Andrew
    MacCormick, John
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC, 2008, : 96 - +
12345