Software fault tolerance for FPUs via vectorization. - Zhi Chen 001; Ryoichi Inagaki; Alexandru Nicolau; Alexander V. Veidenbaum (SAMOS, 2015)