An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification.
Nannan HeMichael S. HsiaoPublished in: DATE (2009)
Keyphrases
- computationally efficient
- learning algorithm
- dynamic programming
- high accuracy
- computational cost
- detection algorithm
- particle swarm optimization
- search space
- matching algorithm
- linear programming
- highly efficient
- np hard
- preprocessing
- computational complexity
- optimal solution
- objective function
- experimental evaluation
- cost function
- optimal path
- improved algorithm
- times faster
- convergence rate
- shortest path problem
- bit string
- theoretical analysis
- expectation maximization
- simulated annealing
- worst case
- significant improvement
- similarity measure
- decision trees