LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » الروابـط » مخـبرمـخـبر LIP6

GT PequanRSS

Verrou : l'arithmétique stochastique sans recompiler


http://www-pequan.lip6.fr/seminaire_pequan.php
07/05/2015
المتدخلون) المتدخل) : François Fevotte et Bruno Lathuiliere (EDF)
EDF développe et utilise un grand nombre d'applications utilisant la simulation numérique. Dans le cadre des processus de Validation & Vérification, EDF souhaite évaluer l'impact de l'arithmétique flottante sur la qualité des résultats fournis. Parmi les outils existants, CADNA implémente l'arithmétique stochastique discrète et permet d'auditer un code sans avoir à modifier les algorithmes mais nécessite de modifier les codes sources. Cela rend le coût d'entrée trop élevé pour une utilisation quotidienne, sans parler du problème (pour l'instant non résolu) de l'utilisation de bibliothèques externes pour lesquelles l'accès aux sources n'est pas garanti.
Pour faire face à ces difficultés, EDF étudie avec Verrou la possibilité d'implémenter l'arithmétique stochastique en partant de l'exécutable sous sa forme binaire.
لمعلومات أكـثر أنقـر هنا
marc (at) nullmezzarobba.net
 Mentions légales
| خـريـطـة المـوقـع