A general method for rendering static analyses for diverse concurrency models modular.
Quentin StiévenartJens NicolayWolfgang De MeuterCoen De RooverPublished in: J. Syst. Softw. (2019)
Keyphrases
- computational cost
- clustering method
- detection method
- parameter estimation
- neural network
- linear regression
- high precision
- preprocessing
- statistical model
- special case
- support vector machine svm
- em algorithm
- synthetic data
- real time
- high accuracy
- probabilistic model
- similarity measure
- edge detection
- experimental evaluation
- dynamic programming
- pairwise
- classification method
- statistical methods
- bayesian framework
- image processing
- modeling method