SELF-STABILIZING PROGRAMS - THE FAULT-TOLERANT CAPABILITY OF SELF-CHECKING PROGRAMS - COMMENTS

被引：0
作者：
BEST, E [1 ]
CRISTIAN, F [1 ]
机构：
[1] IBM CORP,SAN JOSE,CA 95114
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1985年 / 34卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：97 / 98
页数：2
相关论文
共 50 条
[41]   Symbolic synthesis of masking fault-tolerant distributed programs [J].
Bonakdarpour, Borzoo ;
Kulkarni, Sandeep S. ;
Abujarad, Fuad .
DISTRIBUTED COMPUTING, 2012, 25 (01) :83-108
[42]   Mechanical verification of automatic synthesis of fault-tolerant programs [J].
Kulkarni, SS ;
Bonakdarpour, B ;
Borzoo, S .
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 :36-52
[43]   Symbolic synthesis of masking fault-tolerant distributed programs [J].
Borzoo Bonakdarpour ;
Sandeep S. Kulkarni ;
Fuad Abujarad .
Distributed Computing, 2012, 25 :83-108
[44]   Self-checking and fault tolerance quality assessment using Fault Sampling [J].
Gonçalves, FM ;
Santos, MB ;
Teixeira, IC ;
Teixeira, JP .
17TH IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2002, :216-224
[45]   Fault-containing self-stabilizing distributed protocols [J].
Sukumar Ghosh ;
Arobinda Gupta ;
Ted Herman ;
Sriram V. Pemmaraju .
Distributed Computing, 2007, 20 :53-73
[46]   Fault-containing self-stabilizing distributed protocols [J].
Ghosh, Sukumar ;
Gupta, Arobinda ;
Herman, Ted ;
Pemmaraju, Sriram V. .
DISTRIBUTED COMPUTING, 2007, 20 (01) :53-73
[47]   Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs [J].
Zhu, Ling ;
Kulkarni, Sandeep .
GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, :1119-1126
[48]   Self Checking and Fault Tolerant Digital Design [J].
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
[49]   Fast Self-Stabilizing Byzantine Tolerant Digital Clock Synchronization [J].
Ben-Or, Michael ;
Dolev, Danny ;
Hoch, Ezra N. .
PODC'08: PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2008, :385-394
[50]   TOTALLY SELF-CHECKING CHECKERS WITH SEPARATE INTERNAL FAULT INDICATION [J].
GAITANIS, N .
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (10) :1206-1213
12345