Cover Image
QR Code

Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware.

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 masking of soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approx...

Full description

Published in:Communications of the ACM Vol. 59; no. 8; pp. 83 - 92
Main Authors: Carbin, Michael, Misailovic, Sasa, Rinard, Martin C.
Format: Article
Published: Association for Computing Machinery Aug2016
Subjects:
Programming languages
Computer reliability
High performance computing
Computer architecture
Soft errors
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost