Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication.

Matthieu Martel Amine Najahi Guillaume Revy

Published in: PECCS (2014)

Keyphrases

fixed point
matrix multiplication
sufficient conditions
constraint databases
computational complexity
dynamical systems
floating point
message passing
variational inequalities
fixed point theorem
belief propagation