Residue codes for error correction in a combined decimal/binary redundant floating point adder. - Shehab Y. Elsayed; Hossam A. H. Fahmy; Muhammad S. Khairy (ACSCC, 2012)