Automatic Generation of Fast and Certified Code for Polynomial Evaluation.

Christophe Mouilleron Guillaume Revy

Published in: IEEE Symposium on Computer Arithmetic (2011)

Keyphrases

source code
evaluation model
computer vision
multiscale
gold standard
automatically generate
database
evaluation method
evaluation methods