Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Time Multi-Core Systems
MiBench: A free, commercially representative embedded benchmark suite