- 5
GR
Guillaume Revy
5
Documents
Identifiants chercheurs
- guillaume-revy
- IdRef : 14704040X
Présentation
<http://perso.univ-perp.fr/guillaume.revy/>
Publications
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 1
- 5
- 1
- 1
- 4
- 5
|
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocksJournal of Systems Architecture, 2017, 76, pp.133-148. ⟨10.1016/j.sysarc.2016.11.010⟩
Article dans une revue
lirmm-01279628v1
|
|
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point ArithmeticSYNASC: 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
|
|
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decompositionDASIP: 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
|
|
Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix MultiplicationPECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩
Communication dans un congrès
lirmm-00860383v1
|
|
Les nombres réels sur un processeur entier2014
Autre publication scientifique
lirmm-01333809v1
|