Probability of correctness of processor-array outputs using periodic concurrent error detection | IEEE Journals & Magazine | IEEE Xplore