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⟩
...
hal-00813002v1  Conference papers
Matthieu Martel. RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. pp.118-122
...
lirmm-00813055v1  Conference papers
Christophe MouilleronMohamed Amine NajahiGuillaume Revy. Approach based on instruction selection for fast and certified code generation
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
...
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⟩