SHARC: An efficient metric for selective protection of software against soft errors | Publicación