Can you trust your computer? (digital arithmetic) | IEEE Journals & Magazine | IEEE Xplore