Skip to Main content Skip to Navigation

lirmm-01212806v1  Conference papers
Matthieu MartelMohamed Amine NajahiGuillaume Revy. Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition
DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩
lirmm-00814338v2  Conference papers
Christophe MouilleronMohamed Amine NajahiGuillaume Revy. Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic
SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. pp.141-148, ⟨10.1109/SYNASC.2014.27⟩
lirmm-00860383v1  Conference papers
Matthieu MartelMohamed Amine NajahiGuillaume Revy. Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication
PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩