Amine Najahi

According to our database, Amine Najahi authored at least 5 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks.

Matthieu Martel, Amine Najahi, Guillaume Revy

J. Syst. Archit., 2017

2014

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic.

Christophe Mouilleron, Amine Najahi, Guillaume Revy

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication.

Matthieu Martel, Amine Najahi, Guillaume Revy

Proceedings of the PECCS 2014, 2014

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition.

Matthieu Martel, Amine Najahi, Guillaume Revy

Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, 2014

2012

Design of fixed-point embedded systems (DEFIS) French ANR project.

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

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012