Found 6 Documents (Results 1–6)
Solving the generalized mask constraint for test generation of binary floating point add operation. (English) Zbl 1064.68008
MSC:
68M07
A \(p\times p\) bit fraction model of binary floating point division and extremal rounding cases. (English) Zbl 1064.68006
MSC:
68M07
Additive symmetries: The non-negative case. (English) Zbl 1064.68002
MSC:
68M07
Filter Results by …
all
top 5
Author
- Bajard, Jean-Claude (1)
- Daumas, Marc (1)
- Fournier, Laurent (1)
- Frougny, Christiane (1)
- Gowland, Paul (1)
- Hanrot, Guillaume (1)
- Kornerup, Peter (1)
- Langlois, Philippe (1)
- Lester, David R. (1)
- Matula, David W. (1)
- McFearin, Lee D. (1)
- Muller, Jean-Michel (1)
- Rivat, Joël (1)
- Tenenbaum, Gérald (1)
- Zimmermann, Paul (1)
- Ziv, Abraham (1)