Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "unreliable hardware, probabilistic semantics, quantitative reliability"
Now showing items 1-1 of 1
-
Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
(2013-06-19)Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is ...