A new algorithm for the largest compositionally progressive solution of synchronous language equations.
Tiziano VillaSvetlana ZharikovaNina YevtushenkoRobert K. BraytonAlberto L. Sangiovanni-VincentelliPublished in: ACM Great Lakes Symposium on VLSI (2007)
Keyphrases
- mathematical model
- detection algorithm
- preprocessing
- experimental evaluation
- linear systems
- worst case
- global solution
- dynamic programming
- cost function
- k means
- improved algorithm
- np hard
- computational cost
- optimal solution
- input data
- optimization algorithm
- numerical integration
- optimization method
- search strategy
- recognition algorithm
- nonlinear equations
- learning algorithm
- theoretical analysis
- expectation maximization
- simulated annealing
- high accuracy
- probabilistic model
- significant improvement
- computational complexity
- objective function
- hamilton jacobi
- greedy strategy
- neural network
- iterative procedure
- linear equations
- algebraic equations
- global optimum
- hardware implementation
- integer programming
- solution quality
- closed form
- ant colony optimization
- constraint satisfaction problems
- computationally efficient
- linear programming
- search space