Deadlock checking by data race detection.
Ka I PunMartin SteffenVolker StolzPublished in: J. Log. Algebraic Methods Program. (2014)
Keyphrases
- data sets
- missing data
- small number
- image data
- complex data
- automatic detection
- noisy data
- data structure
- training data
- database
- raw data
- multimedia data
- application domains
- sensor data
- data processing
- knowledge discovery
- data points
- data collection
- synthetic data
- data sources
- input data
- spatial data
- medical images
- experimental data
- prior knowledge
- original data
- decision trees
- information systems