Connectivity graphs: a method for proving deadlock freedom based on separation logic.
Jules JacobsStephanie BalzerRobbert KrebbersPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- experimental evaluation
- computational cost
- similarity measure
- cost function
- high accuracy
- high precision
- significant improvement
- support vector machine
- synthetic data
- support vector machine svm
- topological information
- social networks
- matching algorithm
- segmentation algorithm
- input data
- classification accuracy
- knowledge base
- feature selection