Foundations of Dependable Computing Paradigms for Dependable Applications /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Koob, Gary M. (Επιμελητής έκδοσης), Lau, Clifford G. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1994.
• Σειρά: The Springer International Series in Engineering and Computer Science, 284
• Θέματα: Computer science.; Microprocessors.; Special purpose computers.; Computer Science.; Special Purpose and Application-Based Systems.; Processor Architectures.; Computer Science, general.

Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstraction...

Πίνακας περιεχομένων:

• Protocol-Based Paradigms for Distributed Applications
• Adaptive System-Level Diagnosis in Real-Time
• Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol
• Language Support for Fault-Tolerant Parallel and Distributed Programming
• Algorithm-Based Paradigms for Parallel Applications
• Design and Analysis of Algorithm-Based Fault Tolerant Multiprocessor Systems
• Fault-Tolerance and Efficiency in Massively Parallel Algorithms
• Domain-Specific Paradigms for Real-Time Systems
• Use of Imprecise Computation to Enhance Dependability of Real-Time Systems
• Analytic Redundancy for Software Fault-Tolerance In Hard Real-Time Systems.