The following pages link to Matthieu Martel (Q845240):
Displayed 19 items.
- Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Fast and efficient bit-level precision tuning (Q2145313) (← links)
- Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics (Q2204011) (← links)
- Transformation of a PID controller for numerical accuracy (Q2520677) (← links)
- (Q2753765) (← links)
- Semantics-Based Transformation of Arithmetic Expressions (Q3612007) (← links)
- (Q4411955) (← links)
- (Q4738355) (← links)
- (Q4738356) (← links)
- (Q4791945) (← links)
- (Q4994702) (← links)
- Accurate Evaluation of Arithmetic Expressions (Invited Talk) (Q5170165) (← links)
- Numerical Software with Result Verification (Q5308361) (← links)
- Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711510) (← links)
- Computer Aided Verification (Q5716589) (← links)
- Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (Q5743590) (← links)