Login / Signup
Arnault Ioualalen
Publication Activity (10 Years)
Years Active: 2012-2019
Publications (10 Years): 2
Top Topics
Floating Point
Fine Tune
Neural Network
Sparse Matrices
Top Venues
ASAP
ISSRE Workshops
SAS
DASIP
</>
Publications
</>
Arnault Ioualalen
,
Matthieu Martel
Neural Network Precision Tuning.
QEST
(2019)
Arnault Ioualalen
,
Matthieu Martel
,
Nicolas Normand
An Overview of Numalis Software Suite for Reliable Numerical Computation.
ISSRE Workshops
(2017)
Arnault Ioualalen
,
Matthieu Martel
Synthesizing accurate floating-point formulas.
ASAP
(2013)
Arnault Ioualalen
,
Matthieu Martel
Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach.
DASIP
(2012)
Arnault Ioualalen
,
Matthieu Martel
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.
SAS
(2012)