Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments
Transient fault detection via simultaneous multithreading