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

Christophe Mouilleron, Amine Najahi, Guillaume Revy

Browse the full SYNASC paper archive.