On construction of a library of formally verified low-level arithmetic functions.

Reynald Affeldt

Published in: SAC (2012)

Keyphrases

low level
high level
higher level
low level features
arithmetic operations
real time
databases
real world
web services
evolutionary algorithm
image classification
visual features
floating point