Dependable Computing for Critical Applications 2: Dependable Computing and Fault-Tolerant Systems, cartea 6
Editat de John F. Meyer, Richard D. Schlichtingen Limba Engleză Paperback – 12 feb 2012
Preț: 343.44 lei
Preț vechi: 429.30 lei
-20% Nou
Puncte Express: 515
Preț estimativ în valută:
65.73€ • 68.37$ • 55.09£
65.73€ • 68.37$ • 55.09£
Carte tipărită la comandă
Livrare economică 14-28 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783709192009
ISBN-10: 3709192005
Pagini: 456
Ilustrații: XIII, 439 p.
Dimensiuni: 170 x 244 x 24 mm
Greutate: 0.72 kg
Ediția:Softcover reprint of the original 1st ed. 1992
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
ISBN-10: 3709192005
Pagini: 456
Ilustrații: XIII, 439 p.
Dimensiuni: 170 x 244 x 24 mm
Greutate: 0.72 kg
Ediția:Softcover reprint of the original 1st ed. 1992
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Distributed Systems I.- Architectural Foundations, Concepts and Methods Behind ISACS — A Real-Time Intelligent System for Critical Applications.- Implementing Forward Recovery Using Checkpoints in Distributed Systems.- Replication.- Evaluating the Impact of Network Partitions on Replicated Data Availability.- A Distributed Systems Architecture Supporting High Availability and Reliability.- Evaluation.- A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems.- Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events.- Limits of Parallelism in Fault-Tolerant Multiprocessors.- Correlated Failures.- Correlated Hardware Failures in Redundant Systems.- Impact of Correlated Failures on Dependability in a VAXcluster System.- Design Diversity.- Assuring Design Diversity in N-Version Software: A Design Paradigm for N-Version Programming.- An Empirical Investigation of the Effect of Formal Specifications on Program Diversity.- Verification Techniques.- The Proof of Correctness of a Fault-Tolerant Circuit Design.- Verification of Memory Management Units.- High Level Design Proof of a Reliable Computing Platform.- Distributed Systems II.- A Membership Protocol Based on Partial Order.- A Fault-Tolerant Architecture for the Intellectual Distributed Processing System.- Validation.- A New Approach of Formal Proof: Probabilistic Validation.- Testing Programs to Detect Malicious Faults.- Signatures.- On-Line Signature Learning and Checking.- A New Efficient Signature Technique for Process Monitoring in Critical Systems.