LEXACT: Low Energy N-Modular Redundancy Using Approximate Computing for Real-Time Multicore Processors | IEEE Journals & Magazine | IEEE Xplore