A program differencing algorithm for verilog HDL.
Adam DuleyChris SpandikowMiryung KimPublished in: ASE (2010)
Keyphrases
- objective function
- times faster
- preprocessing
- optimization algorithm
- learning algorithm
- classification algorithm
- theoretical analysis
- np hard
- experimental evaluation
- linear programming
- improved algorithm
- expectation maximization
- computationally efficient
- detection algorithm
- clustering method
- experimental study
- selection algorithm
- simulated annealing
- worst case
- probabilistic model
- dynamic programming
- cost function
- k means
- search space
- optimal solution
- high accuracy
- segmentation algorithm
- segmentation method
- computational complexity
- image sequences
- data sets