Martin Dimitrov Huiyang Zhou Unified Architectural Support for Soft-Error Protection or Software Bug Detection. 73-82 2007 PACT http://doi.ieeecomputersociety.org/10.1109/PACT.2007.76 conf/IEEEpact/2007 db/conf/IEEEpact/IEEEpact2007.html#DimitrovZ07