Software fault tolerance for FPUs via vectorization | IEEE Conference Publication | IEEE Xplore