Date 15-17 Dec. 2008
Filter Results
Displaying Results 1 - 25 of 58
-
[Front cover]
|
PDF (198 KB)
-
[Title page i]
|
PDF (29 KB)
-
[Title page iii]
|
PDF (138 KB)
-
[Copyright notice]
|
PDF (107 KB)
-
Table of contents
|
PDF (192 KB)
-
Message from the General and Program Committee Chairs
|
PDF (86 KB)
-
Organizing Committee
|
PDF (97 KB)
-
Fetching Primary and Redundant Instructions in Turn for a Fault-Tolerant Embedded Microprocessor
|
PDF (332 KB)
-
Conjoined Pipeline: Enhancing Hardware Reliability and Performance through Organized Pipeline Redundancy
|
PDF (517 KB)
-
Versatile and Efficient Techniques for Speeding-Up Circuit Level Simulated Fault-Injection Campaigns
|
PDF (543 KB)
-
-
-
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms
|
PDF (204 KB)
-
On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems
|
PDF (562 KB)
-
VTV - A Voting Strategy for Real-Time Systems
|
PDF (326 KB)
-
A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted Processes
|
PDF (258 KB)
-
-
RAS Modeling of an HPC Switch System
|
PDF (622 KB)
-
-
Modeling Perfect and Minimal Rejuvenation for Client Server Systems with Heterogeneous Load
|
PDF (323 KB)
-
Dependable Overlay Networks
|
PDF (213 KB)
-
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)
|
PDF (202 KB)
-
A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling
|
PDF (428 KB)
-
-
Detecting Inconsistent Values Caused by Interaction Faults Using Automatically Located Implicit Redundancies
|
PDF (514 KB)


