Login / Signup
Amine Najahi
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Sufficient Conditions
Fixed Point Theorem
Variational Inequalities
Matrix Inversion
Top Venues
DASIP
J. Syst. Archit.
SYNASC
PECCS
</>
Publications
</>
Matthieu Martel
,
Amine Najahi
,
Guillaume Revy
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks.
J. Syst. Archit.
76 (2017)
Matthieu Martel
,
Amine Najahi
,
Guillaume Revy
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition.
DASIP
(2014)
Matthieu Martel
,
Amine Najahi
,
Guillaume Revy
Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication.
PECCS
(2014)
Christophe Mouilleron
,
Amine Najahi
,
Guillaume Revy
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic.
SYNASC
(2014)
Daniel Ménard
,
Romuald Rocher
,
Olivier Sentieys
,
Nicolas Simon
,
Laurent-Stéphane Didier
,
Thibault Hilaire
,
Benoit Lopez
,
Eric Goubault
,
Sylvie Putot
,
Franck Védrine
,
Amine Najahi
,
Guillaume Revy
,
L. Fangain
,
Christian Samoyeau
,
Fabrice Lemonnier
,
Christophe Clienti
Design of fixed-point embedded systems (DEFIS) French ANR project.
DASIP
(2012)