The Krawczyk Algorithm: Rigorous Bounds for Linear Equation Solution on an FPGA.
Christophe Le LannDavid BolandGeorge A. ConstantinidesPublished in: ARC (2011)
Keyphrases
- mathematical model
- optimal solution
- closed form
- worst case
- detection algorithm
- np hard
- dynamic programming
- cost function
- preprocessing
- search space
- solution quality
- lower bound
- expectation maximization
- learning algorithm
- lower and upper bounds
- algebraic equations
- error bounds
- average case
- optimization algorithm
- computational cost
- objective function
- simulated annealing
- hamilton jacobi
- linear complexity
- quadratic programming
- linear systems
- k means
- low cost
- exact solution
- hardware implementation
- iterative algorithms
- matrix inversion
- convex hull
- numerical integration
- similarity measure