Login / Signup

Fixed point exploitation via compiler analyses and transformations: POSTER.

Daniele CattaneoAntonio Di BelloMichele ChiariStefano CherubinGiovanni Agosta
Published in: CF (2019)
Keyphrases
  • fixed point
  • sufficient conditions
  • dynamical systems
  • programming language
  • floating point
  • belief propagation
  • fixed point theorem
  • variational inequalities
  • free energy
  • constraint databases
  • policy iteration