Floating point fault tolerance with backward error assertions | IEEE Journals & Magazine | IEEE Xplore