A New Speculation Technique to Optimize Floating-Point Performance while Preserving Bit-by-Bit ReproducibilityMikio TakeuchiHideaki Komatsuet al.2003ICS 2003