Zobrazeno 1 - 2
of 2
pro vyhledávání: '"rithmétique des ordinateurs"'
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
Autor:
Jeangoudoux, Clothilde
Publikováno v:
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Français
Arithmétique des ordinateurs. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS148⟩
Arithmétique des ordinateurs. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS148⟩
This work is done in the context of the validation and verification of numerical software for aircraft certification. In this thesis we develop an automatic generator of relaiable numerical test, according to the development rules mandated by the cer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b54a4af3b866ad6d73a83bab6a648bb
https://hal.archives-ouvertes.fr/tel-02420937/file/manuscrit.pdf
https://hal.archives-ouvertes.fr/tel-02420937/file/manuscrit.pdf