Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations
| Title: | Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations |
|---|---|
| Authors: | Aharoni, Merav; Maharik, Ron; Ziv, Abraham |
| Source: | 18th IEEE Symposium on Computer Arithmetic (ARITH '07) Computer Arithmetic, 2007. ARITH '07. 18th IEEE Symposium on. :38-45 Jun, 2007 |
| Relation: | 18th IEEE Symposium on Computer Arithmetic |
| Database: | IEEE Xplore Digital Library |