Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms.
Thomas PaniGeorg WeissenbacherFlorian ZulegerPublished in: FMCAD (2018)
Keyphrases
- worst case
- neural network
- learning algorithm
- automated analysis
- theoretical analysis
- statistical analysis
- semi automated
- error bounds
- recently developed
- computationally efficient
- data structure
- data sets
- linear programming
- upper bound
- benchmark datasets
- times faster
- knowledge representation
- objective function
- knowledge base
- stopping criterion