SMCV: a Methodology for Detecting Transient Faults in Multicore Clusters | Publicación