Exploiting Mixed-Precision Redundancy for Soft-Error Detection in LU Decomposition | Publicación