Dependable Computing for Critical Applications 3: Dependable Computing and Fault-Tolerant Systems, cartea 8
Editat de Carl E. Landwehr, Brian Randell, Luca Simoncinien Limba Engleză Paperback – 20 noi 2013
Preț: 327.52 lei
Preț vechi: 409.40 lei
-20% Nou
Puncte Express: 491
Preț estimativ în valută:
62.68€ • 66.13$ • 52.24£
62.68€ • 66.13$ • 52.24£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783709140116
ISBN-10: 3709140110
Pagini: 400
Ilustrații: XII, 384 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
ISBN-10: 3709140110
Pagini: 400
Ilustrații: XII, 384 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Functional Testing.- On Functional Statistical Testing Designed from Software Behavior Models.- Functional Test Case Generation for Real-Time Systems.- Specification and Verification of Fault Tolerance.- Design for Dependability.- Tracing Fault Tolerance.- Dependability and Performance.- Evaluation of Fault-Tolerant Software: A Performability Modeling Approach.- On the Transient Analysis of Stiff Markov Chains.- Application of Formal Methods.- Formal Techniques for Synchronized Fault-Tolerant Systems.- Compiler Correctness and Input/Output.- On Line Error Detection.- Control Flow Checking in Object-Based Distributed Systems.- Safety-Critical Industrial Systems.- A “Strongly-Fail-Safe Majority Voted Output” Circuit used for Designing Dependable Computer Systems.- Dependable Computing for Railway Control Systems.- Experimental Evaluation.- A Hybrid Monitor Assisted Fault Injection Environment.- Space/Time Overhead Analysis and Experiments with Techniques for Fault Tolerance.- Protocols for Dependability.- Primary-Backup Protocols: Lower Bounds and Optimal Implementations.- A Linguistic Framework for Dynamic Composition of Dependability Protocols.- Using Two-Phase Commit for Crash Recovery in Federated Multilevel Secure Database Management Systems.- Author Index.