The Resilient Systems theme

Parallel Assertions for Debugging Parallel Programs
Resilient Coherence in Many-Core CMPs
Bug Positioning System
Relyzer: Application Resiliency Analyzer for Transient Faults
Resilient Systems Theme Overview
GSRC State of the Center
Debugging Parallel Programs for the Masses
Soft Error Modeling and Recovery
Automatic Verification and Synthesis of Concurrent Programs Running on Weak Memory Models
Variation Tolerant Circuits
Stochastic Computing
Reliability Perspectives
Towards a Theory of Hardware Memory Consistency Models
Debugging and Verifying Multi-threaded Programs for the Masses
The Watson Machine: Today and Tomorrow
Key Technology Challenges for Next Decade
State of the Center
Resilient On-Chip Networks for Many-Core Chips

You are not logged in