Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks.

Matthieu Martel Amine Najahi Guillaume Revy

Published in: J. Syst. Archit. (2017)

Keyphrases

fixed point
linear algebra
singular value decomposition
image processing
computer architecture
sufficient conditions
fixed point theorem
dynamical systems
floating point
belief propagation
high quality
object recognition
feature vectors