CV Accueil - Archive ouverte HAL

	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

	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
	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
	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

	Les nombres réels sur un processeur entier Mohamed Amine Najahi , Guillaume Revy 2014 Autre publication scientifique lirmm-01333809v1

Guillaume Revy