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 条

[21] Verification of a Byzantine-fault-tolerant self-stabilizing protocol for clock synchronization [J].

Malekpour, Mahyar R. .

2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, :1085-1097

[22] A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments [J].

Mizuno, M ;

Nesterenko, M .

INFORMATION PROCESSING LETTERS, 1998, 66 (06) :285-290

[23] Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study [J].

Zhu, Ling ;

Kulkarni, Sandeep S. .

2015 IEEE 35th International Conference on Distributed Computing Systems Workshops (ICDCSW), 2015, :29-34

[24] A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments [J].

Dept. of Comp. and Info. Sciences, Kansas State University, Manhattan, KS 66506, United States .

Inf. Process. Lett., 6 (285-290)

[25] Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip [J].

Dolev, Danny ;

Fuegger, Matthias ;

Posch, Markus ;

Schmid, Ulrich ;

Steininger, Andreas ;

Lenzen, Christoph .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2014, 80 (04) :860-900

[26] Optimal version sequencing in fault-tolerant programs [J].

Levitin, G .

ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, 2005, 22 (01) :1-18

[27] Structural analysis of explicit fault-tolerant programs [J].

Gossens, S ;

Dal Cin, M .

EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, :89-96

[28] A TECHNIQUE FOR ESTIMATING PERFORMANCE OF FAULT-TOLERANT PROGRAMS [J].

SCHLICHTING, RD .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (06) :555-563

[29] A temporal model for fault-tolerant parallel programs [J].

Slimani, Y ;

Majdoub, L .

PROCEEDINGS OF THE SIXTH IEEE COMPUTER SOCIETY WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, 1997, :304-309

[30] A Thin Self-Stabilizing Asynchronous Unison Algorithm with Applications to Fault Tolerant Biological Networks [J].

Emek, Yuval ;

Keren, Eyal .

PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, :93-102

← 1 2 3 4 5 →