✦ LIBER ✦

Symbolic synthesis of masking fault-tolerant distributed programs

✍ Scribed by Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad

Publisher: Springer-Verlag
Year: 2011
Tongue: English
Weight: 718 KB
Volume: 25
Category: Article
ISSN: 0178-2770
DOI: 10.1007/s00446-011-0139-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Units of Computation in Fault-Tolerant D

Units of Computation in Fault-Tolerant Distributed Systems

✍ Mohan Ahuja; Shivakant Mishra 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 493 KB

We develop a framework that helps in understanding a faulttolerant distributed system and so aids in designing such systems. We illustrate the uses of the developed work in application areas such as checkpointing and recovery, phase termination detection, stable property detection, implementing memb

Distributed fault-tolerant embeddings of

Distributed fault-tolerant embeddings of rings in hypercubes

✍ Mee Yee Chan; Shiang-Jen Lee 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 881 KB

Synthesis of fault tolerant reaction pat

Synthesis of fault tolerant reaction paths

✍ Gary J. Powers; Daniel L. Cummings; Ram N. S. Rathore 📂 Article 📅 1975 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 697 KB

Robust diagnosis and fault-tolerant cont

Robust diagnosis and fault-tolerant control of distributed processes over communication networks

✍ Sathyendra Ghantasala; Nael H. El-Farra 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB 👁 2 views

Distribution-free analysis of repairable

Distribution-free analysis of repairable fault-tolerant systems

✍ Norman S. Matloff 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Structured design and synthesis of some

Structured design and synthesis of some symbolic processing programs

✍ L. I. Nagornaya 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 223 KB