Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.
Merav Aharoni, Ron Maharik, Abraham Ziv
VenueCARITH
Year2007
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/AharoniMZ07 ↗
Browse the full ARITH paper archive.