Filter your results
- 5
- 1
- 4
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 Results
|
|
sorted by
|
|
Beginner's Luck: A Language for Random Generators44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017, Paris, France. pp.114-129, ⟨10.1145/3009837.3009868⟩
Conference papers
hal-01424793v1
|
||
|
Formalisation en Coq d'algorithmes de filtres numériquesJFLA 2019 - Journées Francophones des Langages Applicatifs, Nicolas Magaud, Jan 2019, Les Rousses, France
Conference papers
hal-01929531v2
|
||
|
A Coq formalization of digital filtersCICM 2018 - 11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. pp.87--103, ⟨10.1007/978-3-319-96812-4_8⟩
Conference papers
hal-01728828v2
|
||
|
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product AlgorithmARITH 2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩
Conference papers
hal-02982017v1
|
||
|
33èmes Journées Francophones des Langages ApplicatifsBooks hal-03689075v1 |
||
|
Optimal Inverse Projection of Floating-Point AdditionNumerical Algorithms, In press, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
Journal articles
hal-01939097v1
|