BlackJack: Hard Error Detection with Redundant Threads on SMT | IEEE Conference Publication | IEEE Xplore