Efficient 16-bit Floating-Point Interval Processor for Embedded Systems and Applications | IEEE Conference Publication | IEEE Xplore