Sold Out
Book Categories |
Message from the Conference Chairs | ||
Message from the Program Co-Chairs | ||
Program Committee | ||
Conference Organizers | ||
Reviewers | ||
W. C. Carter Award | ||
Opening Remarks | ||
Presentation of Awards | ||
The New Software | ||
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process | 5 | |
Difficulties Measuring Software Risk in an Industrial Environment | 15 | |
Techniques for Estimation of Design Diversity for Combinational Logic Circuits | 25 | |
Concurrent Error Detection in Fast Unitary Transform Algorithms | 37 | |
Fault-Tolerant High-Performance Matrix Multiplication: Theory and Practice | 47 | |
How to Model Link Failures: A Perception-Based Fault Model | 57 | |
A Checkpointing Tool for Palm Operating System | 71 | |
Model-Based Synthesis of Fault Trees from Matlab - Simulink Models | 77 | |
GOOFI: Generic Object-Oriented Fault Injection Tool | 83 | |
Quantifying the Reliability of Embedded Systems by Automated Analysis | 89 | |
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers | 97 | |
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults | 107 | |
Online Reconfiguration in Replicated Databases Based on Group Communication | 117 | |
Improving Driver Robustness: An Evaluation of the Devil Approach | 131 | |
Robustness Testing and Hardening of CORBA ORB Implementations | 141 | |
Constructing Self-Testable Software Components | 151 | |
An Approach for Analysing the Propagation of Data Errors in Software | 161 | |
Enhancing Survivability of Security Services Using Redundancy | 173 | |
Distributing Trust on the Internet | 183 | |
Protection of Software-Based Survivability Mechanisms | 193 | |
Intrusion-Tolerant Group Management in Enclaves | 203 | |
FATOMAS - A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach | 215 | |
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller | 225 | |
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems | 235 | |
A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs | 251 | |
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects | 261 | |
A Procedure-Based Dynamic Software Update | 271 | |
Design and Evaluation of Routing Schemes for Dependable Real-Time Connections | 285 | |
Performance Evaluation of Dependable Real-Time Communication with Elastic QoS | 295 | |
Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components | 304 | |
A Study of Failure Models in Feedback Control Systems | 314 | |
A Strategy for Testing MetaObject Protocols in Reflective Architectures | 327 | |
Applicability of Non-Specification-Based Approaches to Logic Testing for Software | 337 | |
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recovery | 347 | |
Run-Time Fault Detection in Monitor Based Concurrent Programming | 357 | |
Synergistic Coordination between Software and Hardware Fault Tolerance Techniques | 369 | |
Performance Validation of Fault-Tolerance Software: A Compositional Approach | 379 | |
Graybox Stabilization | 389 | |
REESE: A Method of Soft Error Detection in Microprocessors | 401 | |
A Fault Tolerant Approach to Microprocessor Design | 411 | |
An Experimental Study of Security Vulnerabilities Caused by Errors | 421 | |
Scalable Fault-Tolerant Aggregation in Large Process Groups | 433 | |
Lightweight Probabilistic Broadcast | 443 | |
Middleware Support for Voting and Data Fusion | 453 | |
The SIMBA User Alert Service Architecture for Dependable Alert Delivery | 463 | |
Recovery in Fault-Tolerant Distributed Microcontrollers | 475 | |
Ensuring Dependable Processor Performance: An Experience Report on Pre-silicon Performance Validation | 481 | |
The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform | 487 | |
Validating the Intel Pentium 4 Microprocessor | 493 | |
A Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance | 501 | |
Hazard Analysis in Object Oriented Design of Dependable Systems | 507 | |
Byzantine Fault Tolerance Can Be Fast | 513 | |
Performance Evaluation of Exception Handling in I/O Libraries | 519 | |
Author Index | 527 | |
DSN 2001 Call for Papers | 529 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProceedings
X
This Item is in Your InventoryProceedings
X
You must be logged in to review the productsX
X
X
Add Proceedings, , Proceedings to the inventory that you are selling on WonderClubX
X
Add Proceedings, , Proceedings to your collection on WonderClub |