Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2 4, 1996 : proceedings
This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1150 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Dependable computing--EDCC-2, second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, proceedings, Andrzej Hławiczka, João Gabriel Silva, Luca Simoncini, eds, 1996, New York, Springer, 1 vol. (XVI-440 p.), Lecture notes in computer science, 3-540-61772-8 • Dependable Computing - EDCC-2, Texte imprimé, 9783662196373 |
Indholdsfortegnelse:
- Friends: A flexible architecture for implementing fault tolerant and secure distributed applications
- Adaptable fault tolerance for distributed process control using exclusively standard components
- On stratified sampling for high coverage estimations
- Fault injection evaluation of assigned signatures in a RISC processor
- An evaluation of the error detection mechanisms in MARS using software-implemented fault injection
- Dependability modeling and analysis of complex control systems: An application to railway interlocking
- The effect of interfailure time variability on the software reliability growth modelling
- Dependability evaluation of a computing system for traction control of electrical locomotives
- Dependability models of RAID using stochastic activity networks
- Compiler assisted self-checking of structural integrity using return address hashing
- Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels
- On-line testing of an off-the-shelf microprocessor board for safety-critical applications
- The logic threshold based voting: A model for local feedback bridging fault
- On the yield of VLSI processors with on-chip CPU cache
- Design of dependable hardware: What BIST is most efficient?
- Pseudorandom testing of microprocessors at instruction/data flow level
- Multi-level test generation and fault diagnosis for finite state machines
- Dynamic testing from bounded data type specifications
- A theory of specification-based testing for object-oriented software
- Proving safety properties for embedded control systems
- Enhancing dependability of cooperative applications in partitionable environments
- Efficient message logging for uncoordinated checkpointing protocols
- Atomic updates of replicated data
- Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage
- Constraint based system-level diagnosis of multiprocessors
- A unified theory for f1/f2-diagnosable communication networks.