Using program specialization to speed SystemC fixed-point simulation.

Stephen A. Edwards

Published in: PEPM (2006)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
belief propagation
constraint databases
fixed point theorem
image processing
data model
stationary points
similarity measure
bargaining solution