Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation
Aujourd'hui encore, certains systèmes embarqués n'intègrent pas leur propre unité flottante, pour des contraintes de surface, de coût et de consommation d'énergie. Cependant, ce type d'architecture est largement utilisé dans des domaines d'application extrêmement exigeants e...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole normale supérieure de lyon - ENS LYON
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00469661 http://tel.archives-ouvertes.fr/docs/00/46/96/61/PDF/Revy09.pdf http://tel.archives-ouvertes.fr/docs/00/46/96/61/ANNEX/Revy09-Defense011209.pdf |