Dependable Computing — EDCC-1

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 121 A model for adaptive fault-tolerant systems
3. Altmetric Badge
   Chapter 122 Designing secure and reliable applications using fragmentation-redundancy-scattering: an object-oriented approach
4. Altmetric Badge
   Chapter 123 A fault-tolerant mechanism for simple controllers
5. Altmetric Badge
   Chapter 124 Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems
6. Altmetric Badge
   Chapter 125 Formal reasoning on fault coverage of fault tolerant techniques: A case study
7. Altmetric Badge
   Chapter 126 On performability modeling and evaluation of software fault tolerance structures
8. Altmetric Badge
   Chapter 127 Optimal design of fault-tolerant soft-real-time systems with imprecise computations
9. Altmetric Badge
   Chapter 128 Computational restrictions for SPN with generally distributed transition times
10. Altmetric Badge
    Chapter 129 Test generation for digital systems based on alternative graphs
11. Altmetric Badge
    Chapter 130 The Configuration Ratio: A model for simulating CMOS intra-gate bridge with variable logic thresholds
12. Altmetric Badge
    Chapter 131 Coverage of delay faults: When 13% and 99% mean the same
13. Altmetric Badge
    Chapter 132 RIFLE: A general purpose pin-level fault injector
14. Altmetric Badge
    Chapter 133 On single event upset error manifestation
15. Altmetric Badge
    Chapter 134 Injecting faults into environment simulators for testing safety critical software
16. Altmetric Badge
    Chapter 135 On statistical structural testing of synchronous data flow programs
17. Altmetric Badge
    Chapter 136 Hierarchical test analysis of VLSI circuits for random BIST
18. Altmetric Badge
    Chapter 137 Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models
19. Altmetric Badge
    Chapter 138 Systematic and design diversity — Software techniques for hardware fault detection
20. Altmetric Badge
    Chapter 139 Detection of permanent hardware faults of a floating point adder by pseudoduplication
21. Altmetric Badge
    Chapter 140 MLDD(Multi-Layered Design Diversity) architecture for achieving high design fault tolerance capabilities
22. Altmetric Badge
    Chapter 141 Reconfiguration and checkpointing in massively parallel systems
23. Altmetric Badge
    Chapter 142 An approach for hierarchical system level diagnosis of massively parallel computers combined with a simulation-based method for dependability analysis
24. Altmetric Badge
    Chapter 143 Hierarchical checking of multiprocessors using watchdog processors
25. Altmetric Badge
    Chapter 144 Dependability: The challenge for the future of computing and communication technologies
26. Altmetric Badge
    Chapter 145 Position paper
27. Altmetric Badge
    Chapter 146 Position paper
28. Altmetric Badge
    Chapter 147 Position paper
29. Altmetric Badge
    Chapter 148 Some lessons from the SW2000 workshop
30. Altmetric Badge
    Chapter 149 Dependable computing and its industrial use
31. Altmetric Badge
    Chapter 150 An effective reconfiguration process for fault-tolerant VLSI/WSI array processors
32. Altmetric Badge
    Chapter 151 Concurrent error detection in fast FNT networks
33. Altmetric Badge
    Chapter 152 Feasible regions quantify the configuration power of arrays with multiple fault types
34. Altmetric Badge
    Chapter 153 Software reliability analysis of three successive generations of a Switching System
35. Altmetric Badge
    Chapter 154 Performance of consistent checkpointing in a modular operating system: Results of the FTM experiment
36. Altmetric Badge
    Chapter 155 Ring-banyan network: A fault tolerant multistage interconnection network and its fault diagnosis
37. Altmetric Badge
    Chapter 156 Reconfiguration of faulty hypercubes
38. Altmetric Badge
    Chapter 157 Fault-tolerance on boolean n-cube architectures
39. Altmetric Badge
    Chapter 158 Relative signatures for fault tolerance and their implementation
40. Altmetric Badge
    Chapter 159 GatoStar: A fault tolerant load sharing facility for parallel applications
41. Altmetric Badge
    Chapter 160 A hierarchical membership protocol for synchronous distributed systems