On the Linear Ranking Problem for Simple Floating-Point Loops.

Fonenantsoa Maurica Frédéric Mesnard Étienne Payet

Published in: SAS (2016)

Keyphrases

floating point
square root
fixed point
ranking algorithm
ranking functions
instruction set
similarity measure
general purpose
web search