High-Level Synthesis under Fixed-Point Accuracy Constraint.

Daniel Ménard Nicolas Hervé Olivier Sentieys Hai-Nam Nguyen

Published in: J. Electr. Comput. Eng. (2012)

Keyphrases

image segmentation
fixed point
high level synthesis
sufficient conditions
floating point
dynamical systems
constraint databases
belief propagation
variational inequalities
similarity measure
search algorithm
higher order
fixed point theorem