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

Christophe Mouilleron, Amine Najahi, Guillaume Revy. Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. In Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. pages 141-148, IEEE, 2014. [doi]

Authors

Christophe Mouilleron

This author has not been identified. Look up 'Christophe Mouilleron' in Google

Amine Najahi

This author has not been identified. Look up 'Amine Najahi' in Google

Guillaume Revy

This author has not been identified. Look up 'Guillaume Revy' in Google