Zobrazeno 1 - 5
of 5
pro vyhledávání: '"JEANGOUDOUX, CLOTHILDE"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jeangoudoux, Clothilde
Publikováno v:
Arithmétique des ordinateurs. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS148⟩
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Français
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Français
This work has been done in the context of the validation and verification of numerical softwarefor aircraft certification. In this thesis we develop an automatic generator of reliable numerical test, ac-cording to the development rules mandated by th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b728a883f604c793e6a9f23c79531508
https://tel.archives-ouvertes.fr/tel-02947212/file/JEANGOUDOUX_Clothilde_2019.pdf
https://tel.archives-ouvertes.fr/tel-02947212/file/JEANGOUDOUX_Clothilde_2019.pdf
Publikováno v:
Reliable Computing Journal
Reliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52
Reliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52
International audience; We describe the mechanisms and implementation of a library that defines a decimal multiple-precision interval arithmetic. The aim of such a library is to provide guaranteed and accurate results in decimal. This library contain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a749b4305604de33f9d81323959e70f0
https://hal.sorbonne-universite.fr/hal-01451162
https://hal.sorbonne-universite.fr/hal-01451162
Publikováno v:
18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018)
18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Sep 2018, Tokyo, Japan. pp.54-55
18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Sep 2018, Tokyo, Japan. pp.54-55
International audience; Developing critical software and ensuring its compliance with lawful requirements are difficult, expensive and resource-intensive activities. In the aeronautical industry, it is required to provide some quality guarantees in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d10e8ad29a05b8b845f019778e1a6d00
https://hal.archives-ouvertes.fr/hal-02062339/document
https://hal.archives-ouvertes.fr/hal-02062339/document
Publikováno v:
book of abstracts : 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics.
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics.
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Sep 2016, Uppsala, Sweden
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics.
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Sep 2016, Uppsala, Sweden
International audience; We describe the mechanisms and implementation of a library that define a decimal multiple-precision interval arithmetic. The aim of such a library is to provide guaranteed and accurate results in decimal. This library contains
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ff301a55a8322380d2975aa31f098c28
https://hal.archives-ouvertes.fr/hal-01539158
https://hal.archives-ouvertes.fr/hal-01539158