Regression-Free Synthesis for Concurrency.
Pavol CernýThomas A. HenzingerArjun RadhakrishnaLeonid RyzhykThorsten TarrachPublished in: CAV (2014)
Keyphrases
- regression model
- regression method
- regression problems
- concurrency control
- model selection
- program synthesis
- linear regression
- locally weighted
- regression function
- database systems
- gaussian processes
- texture synthesis
- object oriented
- support vector
- data flow
- regression analysis
- information systems
- ridge regression
- genetic algorithm
- neural network
- data sets