Login / Signup

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic.

Christophe MouilleronAmine NajahiGuillaume Revy
Published in: SYNASC (2014)
Keyphrases
  • fixed point
  • floating point
  • sufficient conditions
  • dynamical systems
  • belief propagation
  • constraint databases
  • fixed point theorem
  • variational inequalities