Foundations of Dependable Computing System Implementation /

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

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fau...

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

• Dependable Components
• Self-Checking and Self-Exercising Design for Hierarchic Long-Life Fault-Tolerant Systems
• Design of Self-Checking Processors Using Efficient Berger Check Prediction Logic
• Dependable Communications
• Network Fault Detection and Recovery in the Chaos Router
• Real-Time Fault-Tolerant Communication in Distributed Computing Systems
• Computer Support
• Speculative Execution and Compiler-Assisted Multiple Instruction Recovery
• Compiler Assisted Synthesis of Algorithm-Based Checking in Multiprocessors1
• Operating System Support
• Application Transparent Fault Management in Fault Tolerant Mach
• Constructing Dependable Distributed Systems Using Consul
• Enhancing Fault Tolerance of Real-Time Systems through Time Redundancy.