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 条

[1] SELF-STABILIZING PROGRAMS - THE FAULT-TOLERANT CAPABILITY OF SELF-CHECKING PROGRAMS
MILI, A
IEEE TRANSACTIONS ON COMPUTERS, 1982, 31 (07) : 685 - 689
[2] SELF-STABILIZING PROGRAMS - THE FAULT-TOLERANT CAPABILITY OF SELF-CHECKING PROGRAMS - REPLY
MILI, A
IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (01) : 98 - 98
[3] A Novel Fault-Tolerant Logic Style with Self-Checking Capability
Taheri, Mahdi
Sheikhpour, Saeideh
Mahani, Ali
Jenihhin, Maksim
2022 IEEE 28TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS 2022), 2022,
[4] Effect of Fairness in Model Checking of Self-stabilizing Programs
Chen, Jingshu
Abujarad, Fuad
Kulkarni, Sandeep
PRINCIPLES OF DISTRIBUTED SYSTEMS, 2010, 6490 : 135 - 138
[5] Towards scalable model checking of self-stabilizing programs
Chen, Jingshu
Abujarad, Fuad
Kulkarni, Sandeep
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (04) : 400 - 410
[6] DESIGN OF SELF-CHECKING AND FAULT-TOLERANT MICROPROGRAMMED CONTROLLERS
WILLIAMSON, I
RADIO AND ELECTRONIC ENGINEER, 1977, 47 (10): : 449 - 454
[7] A Self-Stabilizing Hybrid Fault-Tolerant Synchronization Protocol
Malekpour, Mahyar R.
2015 IEEE AEROSPACE CONFERENCE, 2015,
[8] THE DESIGN OF TOTALLY SELF-CHECKING TMR FAULT-TOLERANT SYSTEMS
GAITANIS, N
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (11) : 1450 - 1454
[9] A Self-Checking Hardware Journal for a Fault-Tolerant Processor Architecture
Amin, Mohsin
Ramazani, Abbas
Monteiro, Fabrice
Diou, Camille
Dandache, Abbas
INTERNATIONAL JOURNAL OF RECONFIGURABLE COMPUTING, 2011, 2011
[10] Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Duvignau, Romaric
Raynal, Michel
Schiller, Elad Michael
THEORETICAL COMPUTER SCIENCE, 2023, 972

← 1 2 3 4 5 →