A parallel worklist algorithm and its exploration heuristics for static modular analyses.
Quentin StiévenartNoah Van EsJens Van der PlasCoen De RooverPublished in: J. Syst. Softw. (2021)
Keyphrases
- learning algorithm
- computational complexity
- computational cost
- preprocessing
- detection algorithm
- k means
- theoretical analysis
- optimal solution
- times faster
- np hard
- experimental evaluation
- matching algorithm
- simulated annealing
- exact algorithms
- cost function
- probabilistic model
- dynamic programming
- improved algorithm
- significant improvement
- search space
- classification algorithm
- worst case
- convergence rate
- heuristic rules
- multiprocessor systems
- optimization algorithm
- computationally efficient
- expectation maximization
- high accuracy
- multi objective
- objective function