Accéder directement au contenu
GR

Guillaume Revy

3
Documents
Identifiants chercheurs

Présentation

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

Publications

843157
Image document

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks

 Matthieu Martel , Mohamed Amine Najahi , Guillaume Revy
Journal of Systems Architecture, 2017, 76, pp.133-148. ⟨10.1016/j.sysarc.2016.11.010⟩
Article dans une revue lirmm-01279628v1
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