Note:
JavaScript is disabled
, see the
Site Map
for navigation links
Search:
Faculty
Students
Papers
Talks
Posters
Tasks
The
Resilient Systems
theme
resiliency
papers submitted in the last year:
Search all papers
Relyzer: Exploiting Application-Level Fault Equivalence to Analyze Application Resiliency to Transient Faults
CrashTest'ing SWAT: Accurate, Gate-Level Evaluation of Symptom-Based Resiliency Solutions
A Systematic Methodology to Develop Resilient Cache Coherence Protocols
Post-Silicon Bug Diagnosis with Inconsistent Executions
Formally Enhanced Runtime Verification to Ensure NoC Functional Correctness
Functional Correctness for CMP Interconnects
Cardio: Adaptive CMPs for Reliability through Dynamic Introspective Operation
Predicting Serializability Violations: SMT-based Search vs. DPOR-based Search
Dthreads: Efficient and Deterministic Multithreading
Sheriff: Precise Detection and Automatic Mitigation of False Sharing
ARIADNE: Agnostic Reconfiguration In A Disconnected Network Environment
An Embedded Reconfigurable Architecture for Patient-Specific Multi-Paramater Medical Monitoring
A Data-driven Modeling Approach to Stochastic Computation for Low-energy Biomedical Devices
End-to-End Error Correction and Online Diagnosis for On-Chip Networks
End-to-End Error Correction and Online Diagnosis for On-Chip Networks
Position Paper: The Potential of Sampling for Dynamic Analysis
Demand-Driven Software Race Detection using Hardware Performance Counters
CrashTest'ing SWAT: Accurate, Gate-Level Evaluation of Symptom-Based Resiliency Solutions
DRAIN: Distributed Recovery Architecture for Inaccessible Nodes in Multi-Core Chips
Parallel Assertions for Debugging Parallel Programs
Predictive Analysis for Detecting Serializability Violations through Trace Segmentation
Real Time Cross-Layer Adaptation for Minimum Energy Wireless Image Transport Using Bit Error Rate Control
Enabling System-Level Modeling of Variation-Induced Faults in Networks-on-Chips
Highly Scalable Distributed Dataflow Analysis
RMED: A Reconfigurable Architecture for Embedded Medical Monitoring
ReliNoC: A Reliable Network for Priority-Based On-Chip Communication
You are not logged in
©1998-2012 GSRC