LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 链接 » 巴黎六大计算机科学实验室日志

GT PequanRSS

Verrou : l'arithmétique stochastique sans recompiler


http://www-pequan.lip6.fr/seminaire_pequan.php
2015-5-7
报告人 : 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
网站导航 |