A comparison of three rounding algorithms for IEEE floating-point multiplication | IEEE Conference Publication | IEEE Xplore