Predicate Elimination Technique in Binary Translation for IA-64 Architecture. - Zong-Yu Song; Ming Su (ICAT Workshops, 2006)