PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification.
Zhenwu XuJinan ShenPeng LuoFang LiangPublished in: IEEE Access (2020)
Keyphrases
- prediction error
- prediction accuracy
- prediction model
- database
- model checking
- prediction algorithm
- real time
- concurrency control
- machine learning
- database management systems
- bit rate
- decision trees
- fine grained
- website
- feature selection
- artificial intelligence
- data flow
- predictive model
- data sets
- verification method
- residual errors