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 条
[31]   A Byzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systems [J].
Malekpour, Mahyar R. .
Stabilization, Safety, and Security of Distributed Systems, Proceedings, 2006, 4280 :411-427
[32]   Self-stabilizing and Byzantine-tolerant overlay network [J].
Dolev, Danny ;
Hoch, Ezra N. ;
van Renesse, Robbert .
PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4878 :343-+
[33]   Location Functions for Self-stabilizing Byzantine Tolerant Swarms [J].
Ashkenazi, Yotam ;
Dolev, Shlomi ;
Kamei, Sayaka ;
Katayama, Yoshiaki ;
Ooshita, Fukuhito ;
Wada, Koichi .
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2021, 2021, 13046 :229-242
[34]   Location functions for self-stabilizing byzantine tolerant swarms [J].
Ashkenazi, Yotam ;
Dolev, Shlomi ;
Kamei, Sayaka ;
Katayama, Yoshiaki ;
Ooshita, Fukuhito ;
Wada, Koichi .
THEORETICAL COMPUTER SCIENCE, 2023, 954
[35]   Self-checking fault detection using discrepancy mirrors [J].
DeMara, RF ;
Sharma, CA .
PDPTA '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2005, :311-317
[36]   STRONGLY FAULT-SECURE AND STRONGLY SELF-CHECKING DOMINO-CMOS IMPLEMENTATIONS OF TOTALLY SELF-CHECKING CIRCUITS [J].
JHA, NK .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (03) :332-336
[37]   Self-Checking Carry Select Adder with Fault Localization [J].
Akbar, Muhammad Ali ;
Lee, Jeong-A .
16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, :863-869
[38]   Model Checking A Self-Stabilizing Synchronization Protocol For Arbitrary Digraphs [J].
Malekpour, Mahyar R. .
2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
[39]   MODEL CHECKING A SELF-STABILIZING SYNCHRONIZATION PROTOCOL FOR ARBITRARY DIGRAPHS [J].
Malekpour, Mahyar R. .
2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
[40]   SYCRAFT: A tool for synthesizing distributed fault-tolerant programs [J].
Bonakdarpour, Borzoo ;
Kulkarni, Sandeep S. .
CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 :167-171
12345