Reducing Overprovision of Triple Modular Reduncancy Owing to Approximate Computing | IEEE Conference Publication | IEEE Xplore