From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm.

Jean-Loup Carre Charles Hymans

Published in: CoRR (2009)

Keyphrases

learning algorithm
static analysis
dynamic programming
detection algorithm
simulated annealing
computational complexity
preprocessing
k means
segmentation algorithm
computationally efficient
memory efficient
simulated annealing algorithm
expectation maximization
source code
worst case
np hard
case study