Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

A Coq formalization of digital filters

 Diane Gallois-Wong , Sylvie Boldo , Thibault Hilaire
CICM 2018 - 11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. pp.87--103, ⟨10.1007/978-3-319-96812-4_8⟩
Communication dans un congrès hal-01728828v2
Image document

33èmes journées francophones des langages applicatifs

 Chantal Keller , Timothy Bourke , Sandrine Blazy , Frédéric Bour , Guillaume Bury , et al.
Chantal Keller; Timothy Bourke. , pp.1-292, 2022
Ouvrages hal-03689075v1
Image document

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm

 Sylvie Boldo , Diane Gallois-Wong , Thibault Hilaire
ARITH 2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩
Communication dans un congrès hal-02982017v1
Image document

Optimal Inverse Projection of Floating-Point Addition

 Diane Gallois-Wong , Sylvie Boldo , Pascal Cuoq
Numerical Algorithms, In press, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
Article dans une revue hal-01939097v1

Beginner's Luck: A Language for Random Generators

 Leonidas Lampropoulos , Diane Gallois-Wong , Cătălin Hriţcu , John Hughes , Benjamin C. Pierce , et al.
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017, Paris, France. pp.114-129, ⟨10.1145/3009837.3009868⟩
Communication dans un congrès hal-01424793v1
Image document

Formalisation en Coq d'algorithmes de filtres numériques

 Diane Gallois-Wong
JFLA 2019 - Journées Francophones des Langages Applicatifs, Nicolas Magaud, Jan 2019, Les Rousses, France
Communication dans un congrès hal-01929531v2
Page :