TY - GEN
AU - Damouche, Nasrine
AU - Perpignan
AU - Martel, Matthieu
AU - Chapoutot, Alexandre
TI - Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods ; Amélioration de la précision numérique de programmes basés sur l'arithmétique flottante par les méthodes de transformation automatique
KW - Analyse statique
KW - Précision numérique
KW - Floating-point arithmetic
KW - Numerical accuracy
KW - Static analysis
KW - Abstract interpretation
KW - Arithmétique flottante
KW - Automatic transformation of programs
KW - Interprétation abstraite
KW - Rounding errors
KW - Erreur d'arrondi
KW - Transformation automatique de programmes
PY - 2016-12-12
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation