Partial evaluation based triple modular redundancy for single event upset mitigation. - Srinivas Katkoori; Sheikh Ariful Islam; Sujana Kakarla (Integr., 2021)