Detecting concurrently executed pairs of statements using an adapted MHP algorithm.
Zhengqiang ChenBaowen XuHuiming YuPublished in: SIGAda (2001)
Keyphrases
- computational cost
- improved algorithm
- learning algorithm
- classification algorithm
- experimental evaluation
- theoretical analysis
- experimental study
- high accuracy
- worst case
- cost function
- search space
- k means
- recognition algorithm
- linear programming
- detection algorithm
- optimization algorithm
- similarity measure
- times faster
- markov random field
- segmentation algorithm
- computationally efficient
- expectation maximization
- input data
- data sets
- image registration
- dynamic programming
- preprocessing
- neural network