Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Monniaux
Compositional Analysis of Floating-Point Linear Numerical Filters
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Semantic Mutation Analysis of Floating-Point Comparison
Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions
Floating-Point Arithmetic
Rpe V5: An Emulator for Reduced Floating-Point Precision in Large Numerical Simulations
Geoscientific Model Development
Earth
Simulation
Planetary Sciences
Modeling
A Reflexive Tactic for Polynomial Positivity Using Numerical Solvers and Floating-Point Computations
Handbook of Floating-Point Arithmetic
Floating-Point LLL Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimistic Parallelization of Floating-Point Accumulation
18th IEEE Symposium on Computer Arithmetic (ARITH '07)
Morphological Filters--Part I: Their Set-Theoretic Analysis and Relations to Linear Shift-Invariant Filters
IEEE Transactions on Acoustics, Speech, and Signal Processing