Predicate Elimination Technique in Binary Translation for IA-64 Architecture | IEEE Conference Publication | IEEE Xplore