Automatic Verification of Data Race Freedom in Device Drivers.
Pantazis DeligiannisAlastair F. DonaldsonPublished in: ICCSW (2014)
Keyphrases
- data sets
- raw data
- data collection
- image data
- complex data
- data quality
- historical data
- original data
- knowledge discovery
- feature selection
- data structure
- prior knowledge
- training data
- labeled data
- synthetic data
- multimedia data
- application domains
- data distribution
- data mining algorithms
- database
- decision trees
- high quality
- temporal information
- network structure
- data acquisition
- sensor data
- missing data
- low cost
- data analysis
- feature space
- end users
- data sources