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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 59; no. 8; pp. 83 - 92
Autores principales:	Carbin, Michael, Misailovic, Sasa, Rinard, Martin C.
Formato:	Artículo
Publicado:	Association for Computing Machinery Aug2016
Materias:	Programming languages Computer reliability High performance computing Computer architecture Soft errors
Acceso en línea:	Ver este registro en EBSCOhost