Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.

Xin Yi Liqian Chen Xiaoguang Mao Tao Ji

Published in: APSEC (2017)

Keyphrases

floating point
global search
global optimization
convergence speed
sparse matrices
simulated annealing
particle swarm optimization
fixed point
search algorithm
genetic algorithm
particle swarm optimization algorithm
global optima
search space
computational complexity
square root
memory bandwidth
neural network