Skip to Main content Skip to Navigation

hal-00698621v1  Conference papers
Arnault IoualalenMatthieu Martel. Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
hal-00812995v1  Conference papers
Matthieu Martel. Accurate Evaluation of Arithmetic Expressions (Invited Talk)
NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.3-16