Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization | IEEE Conference Publication | IEEE Xplore