Which Verification for Soft Error Detection?

Leonardo Bautista-Gomez, Anne Benoit, Aurlien Cavelan, Saurabh K. Raina, Yves Robert, Hongyang Sun

Browse the full HiPC paper archive.