A communication-efficient canonical form for fault-tolerant distributed protocols

Proceedings of the fifth annual ACM symposium on Principles of distributed computing - PODC '86 ◽

10.1145/10590.10596 ◽

1986 ◽

Cited By ~ 28

Author(s):

Brian A Coan

Keyword(s):

Canonical Form ◽

Fault Tolerant ◽

Distributed Protocols

Download Full-text

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10373-5_8 ◽

2009 ◽

pp. 147-166 ◽

Cited By ~ 3

Author(s):

Péter Bokor ◽

Marco Serafini ◽

Neeraj Suri ◽

Helmut Veith

Keyword(s):

Fault Tolerant ◽

Symmetry Reduction ◽

Distributed Protocols ◽

Language Support ◽

Role Based

Download Full-text

Structures for Fault-Tolerant Distributed Protocols

Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications ◽

10.1109/pccc.1994.504097 ◽

2005 ◽

Author(s):

M.L. Neilsen

Keyword(s):

Fault Tolerant ◽

Distributed Protocols

Download Full-text

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/978-3-642-04355-0_29 ◽

2009 ◽

pp. 289-290

Author(s):

Péter Bokor ◽

Marco Serafini ◽

Neeraj Suri ◽

Helmut Veith

Keyword(s):

Model Checking ◽

Fault Tolerant ◽

Symmetry Reduction ◽

Distributed Protocols

Download Full-text

Efficient model checking of fault-tolerant distributed protocols

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) ◽

10.1109/dsn.2011.5958208 ◽

2011 ◽

Cited By ~ 12

Author(s):

Peter Bokor ◽

Johannes Kinder ◽

Marco Serafini ◽

Neeraj Suri

Keyword(s):

Model Checking ◽

Fault Tolerant ◽

Distributed Protocols

Download Full-text

Jordan Canonical Form for Finite Rank Elements in Jordan Algebras

Linear Algebra and its Applications ◽

10.1016/s0024-3795(96)00298-4 ◽

1997 ◽

Vol 260 (1-3) ◽

pp. 151-167

Author(s):

A LÃ³pez

Keyword(s):

Canonical Form ◽

Finite Rank ◽

Jordan Algebras ◽

Jordan Canonical Form ◽

Finite Rank Elements

Download Full-text

Fault tolerant isolation between devices powered by separate power sources

Journal of Power Sources ◽

10.1016/s0378-7753(97)84068-2 ◽

1998 ◽

Vol 70 (1) ◽

pp. 151

Author(s):

F Khosrowpour

Keyword(s):

Fault Tolerant ◽

Power Sources

Download Full-text

Fault-tolerant transputer-based controller configurations for gas-turbine engines

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1990.0031 ◽

1990 ◽

Vol 137 (4) ◽

pp. 253 ◽

Cited By ~ 8

Author(s):

H.A. Thompson ◽

P.J. Fleming

Keyword(s):

Gas Turbine ◽

Fault Tolerant ◽

Turbine Engines ◽

Gas Turbine Engines

Download Full-text

Redundancy design for a fault tolerant systolic array

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1990.0027 ◽

1990 ◽

Vol 137 (3) ◽

pp. 218 ◽

Cited By ~ 1

Author(s):

J.-J. Wang ◽

C.-W. Jen

Keyword(s):

Systolic Array ◽

Fault Tolerant ◽

Redundancy Design

Download Full-text

Fault-tolerant loops for distributed measurement systems

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1989.0066 ◽

1989 ◽

Vol 136 (6) ◽

pp. 485

Author(s):

C. Gater ◽

R.D.L. Mackie ◽

J.R. Jordan

Keyword(s):

Fault Tolerant ◽

Measurement Systems ◽

Distributed Measurement Systems ◽

Distributed Measurement

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Cited By ~ 13

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Time Systems

Download Full-text