Selective Duplication and Selective Comparison for Data Flow Error Detection | IEEE Conference Publication | IEEE Xplore