Correctly rounded architectures for Floating-Point multi-operand addition and dot-product computation | IEEE Conference Publication | IEEE Xplore