Accéder directement au contenu
GR

Guillaume Revy

7
Documents
Identifiants chercheurs

Présentation

<http://perso.univ-perp.fr/guillaume.revy/>

Publications

966778
Image document

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic

Christophe Mouilleron , Mohamed Amine Najahi , Guillaume Revy
SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. pp.141-148, ⟨10.1109/SYNASC.2014.27⟩
Communication dans un congrès lirmm-00814338v2
Image document

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition

Matthieu Martel , Mohamed Amine Najahi , Guillaume Revy
DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩
Communication dans un congrès lirmm-01212806v1
Image document

Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication

Matthieu Martel , Mohamed Amine Najahi , Guillaume Revy
PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩
Communication dans un congrès lirmm-00860383v1
Image document

Approach based on instruction selection for fast and certified code generation

Christophe Mouilleron , Mohamed Amine Najahi , Guillaume Revy
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
Communication dans un congrès lirmm-00813055v1

Design of Fixed-Point Embedded Systems (defis) French ANR Project

Daniel Ménard , Romuald Rocher , Olivier Sentieys , Nicolas Simon , Laurent-Stéphane Didier
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. , pp.365-366, 2012
Poster de conférence hal-00822487v1