Matthieu Martel

From MaRDI portal
Person:845240

Available identifiers

zbMath Open martel.matthieuMaRDI QIDQ845240

List of research outcomes





PublicationDate of PublicationType
Neural Network Precision Tuning2024-03-14Paper
Fast and efficient bit-level precision tuning2022-06-17Paper
Automatic repair of overflowing expressions with abstract interpretation2021-06-21Paper
Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics2020-10-02Paper
Transformation of a PID controller for numerical accuracy2016-12-16Paper
Impact of accuracy optimization on the convergence of numerical iterative methods2016-02-05Paper
Accurate evaluation of arithmetic expressions (invited talk)2014-07-22Paper
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics2010-02-05Paper
Semantics-Based Transformation of Arithmetic Expressions2009-03-03Paper
A Hybrid Denotational Semantics for Hybrid Systems2008-04-11Paper
Abstract Interpretation of the Physical Inputs of Embedded Programs2008-04-04Paper
Numerical Software with Result Verification2007-09-28Paper
Semantics of roundoff error propagation in finite precision calculations2006-11-17Paper
Computer Aided Verification2006-01-10Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
https://portal.mardi4nfdi.de/entity/Q47383562004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47383552004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44119552003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q47919452003-02-04Paper
https://portal.mardi4nfdi.de/entity/Q27537652001-11-11Paper

Research outcomes over time

This page was built for person: Matthieu Martel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:845240&oldid=7259770"
Powered by MediaWiki