Dependable Computing - EDDC-3
Editat de Jan Hlavicka, Erik Maehle, Andras Patariczaen Limba Engleză Paperback – sep 1999
Preț: 330.58 lei
Preț vechi: 413.22 lei
-20% Nou
Puncte Express: 496
Preț estimativ în valută:
58.50€ • 68.22$ • 51.36£
58.50€ • 68.22$ • 51.36£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540664833
ISBN-10: 3540664831
Pagini: 484
Ilustrații: XVIII, 462 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540664831
Pagini: 484
Ilustrații: XVIII, 462 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
Keynote Speech.- Reliable and Secure Operation of Smart Cards.- Session 1: Dependability Modelling.- Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.- Evaluation of Video Communication over Packet Switching Networks.- Dependability Evaluation of a Distributed Shared Memory Multiprocessor System.- Session 2a: Panel.- Software Reliability Engineering Risk Management for the New Millenium.- Session 2b: Fast Abstracts.- List of Fast Abstracts.- Session 3: Protocols.- Muteness Failure Detectors: Specification and Implementation.- A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators.- Avoiding Malicious Byzantine Faults by a New Signature Generation Technique.- An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine.- Session 4: Fault Injection 1.- MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.- Assessing Error Detection Coverage by Simulated Fault Injection.- Considering Workload Input Variations in Error Coverage Estimation.- Session 5: Fault Injection 2.- Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System.- Can Software Implemented Fault-Injection be Used on Real-Time Systems?.- Session 6: Safety.- Integrated Safety in Flexible Manufacturing Systems.- A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts.- Session 7: Hardware Testing.- Design of Totally Self-Checking Code-Disjoint Synchronous Sequential Circuits.- Path Delay Fault Testing of a Class of Circuit-Switched Multistage Interconnection Networks.- Diagnostic Model and Diagnosis Algorithm of a SIMD Computer.- Session 8: Built-In Self-Test.- Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata.- A New LFSR with D and T Flip-Flops as an Effective Test Pattern Generator for VLSI Circuits.- Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms.- Session 9: Networks and Distributed Systems.- Achieving Fault-Tolerant Ordered Broadcasts in CAN.- Directional Gossip: Gossip in a Wide Area Network.- Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks.- Session 10: Software Testing and Self-Checking.- A Case Study in Statistical Testing of Reusable Concurrent Objects.- Fault-Detection by Result-Checking for the Eigenproblem1.- Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoring.
Caracteristici
Includes supplementary material: sn.pub/extras