Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs.
Haining FengLiangze YinWenfeng LinXudong ZhaoWei DongPublished in: QRS Companion (2020)
Keyphrases
- data sets
- database
- raw data
- data collection
- data structure
- training data
- data analysis
- image data
- data driven
- statistical analysis
- computer systems
- neural network
- databases
- data acquisition
- spatial data
- sensor data
- synthetic data
- detection method
- labeled data
- data processing
- input data
- knowledge discovery
- data points
- decision trees
- high quality