Design of a power-efficient ARM processor with a timing-error detection and correction mechanism | IEEE Conference Publication | IEEE Xplore