Deadlock Checking by Data Race Detection.
Ka I PunMartin SteffenVolker StolzPublished in: FSEN (2013)
Keyphrases
- data sources
- data collection
- data analysis
- data sets
- complex data
- small number
- data structure
- high dimensional
- historical data
- database
- noisy data
- statistical analysis
- original data
- spatial data
- false alarms
- multimedia data
- application domains
- missing data
- synthetic data
- machine learning
- input data
- high quality
- probability distribution