ReStore: Symptom-Based Soft Error Detection in Microprocessors | IEEE Journals & Magazine | IEEE Xplore