Two control-flow error recovery methods for multithreaded programs running on multi-core processors | IEEE Conference Publication | IEEE Xplore