- 3
- 2
- 1
- 1
Sylvie Boldo
7
Documents
Identifiants chercheurs
- sboldo
- 0000-0002-1970-3019
- IdRef : 112505821
Présentation
Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
Le dilemme du fabricant de tablesLa Recherche, 2023, 572
Article dans une revue
hal-03932037v1
|
|
|
Floating-point arithmeticActa Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩
Article dans une revue
hal-04095151v1
|
|
Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmeticIEEE Transactions on Computers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩
Article dans une revue
hal-02137968v4
|
|
On the robustness of the 2Sum and Fast2Sum algorithmsACM Transactions on Mathematical Software, 2017, 44 (1)
Article dans une revue
ensl-01310023v2
|
Des ordinateurs capables de calculer plus justeLa Recherche, 2014, pp.46-53
Article dans une revue
ensl-01069744v1
|
|
|
Exact and Approximated error of the FMAIEEE Transactions on Computers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩
Article dans une revue
inria-00429617v1
|
|
Some Functions Computable with a Fused-mac17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58
Communication dans un congrès
inria-00000895v1
|