Arnault Ioualalen

According to our database1, Arnault Ioualalen authored at least 5 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Neural Network Precision Tuning.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2017
An Overview of Numalis Software Suite for Reliable Numerical Computation.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2013
Synthesizing accurate floating-point formulas.
Proceedings of the 24th International Conference on Application-Specific Systems, 2013

2012
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012


  Loading...