ReStore: symptom based soft error detection in microprocessors | IEEE Conference Publication | IEEE Xplore