A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

被引：0

作者：

Dept. of Comp. and Info. Sciences, Kansas State University, Manhattan, KS 66506, United States ^{[1
]}

机构：

来源：

Inf. Process. Lett. | / 6卷 / 285-290期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] A self-stabilizing quorum-based protocol for maxima computing
Chiao, Y
Mizuno, M
Neilsen, ML
DISTRIBUTED COMPUTING, 2002, 15 (01) : 49 - 55
[22] A self-stabilizing quorum-based protocol for maxima computing
Yiwei Chiao
Masaaki Mizuno
Mitchell L. Neilsen
Distributed Computing, 2002, 15 : 49 - 55
[23] Symbolic model checking for self-stabilizing algorithms
Tsuchiya, T
Nagano, S
Paidi, RB
Kikuno, T
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2001, 12 (01) : 81 - 95
[24] SELF-STABILIZING PROGRAMS - THE FAULT-TOLERANT CAPABILITY OF SELF-CHECKING PROGRAMS - REPLY
MILI, A
IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (01) : 98 - 98
[25] SELF-STABILIZING PROGRAMS - THE FAULT-TOLERANT CAPABILITY OF SELF-CHECKING PROGRAMS - COMMENTS
BEST, E
CRISTIAN, F
IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (01) : 97 - 98
[26] Efficient transformation of distance-2 self-stabilizing algorithms
Turau, Volker
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2012, 72 (04) : 603 - 612
[27] Size-Independent Self-Stabilizing Asynchronous Phase Synchronization in General Graphs
Tzeng, Chi-Hung
Jiang, Jehn-Ruey
Huang, Shing-Tsaan
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2010, 26 (04) : 1307 - 1322
[28] Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems
Georgiou, Chryssis
Lundström, Oskar
Schiller, Elad Michael
NETWORKED SYSTEMS, NETYS 2019, 2019, 11704 : 113 - 130
[29] Self-stabilizing deadlock detection under the OR requirement model
Orellana, Christian F.
Ruz, Cristian
Eterovic S., Yadran
EURO-PAR 2006 PARALLEL PROCESSING, 2006, 4128 : 559 - 570
[30] Self-stabilizing fine-grained parallel incomplete LU factorization
Coleman, Evan
Sosonkinab, Masha
SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, 2018, 19 : 291 - 304

← 1 2 3 4 5 →