Data flow transformations to detect results which are corrupted by hardware faults | IEEE Conference Publication | IEEE Xplore