Towards Fixed-Point Formats Determination for Faust Programs.

Agathe Herrou Florent de Dinechin Stéphane Letz Yann Orlarey Anastasia Volkova

Published in: CoRR (2024)

Keyphrases

fixed point
floating point
sufficient conditions
dynamical systems
constraint databases
belief propagation
variational inequalities
database
fixed point theorem
bargaining solution
free energy
policy iteration
partial differential equations
graphical models
preprocessing
reinforcement learning
image segmentation