Predicting and Witnessing Data Races Using CSP.
Luis M. CarrilWalter F. TichyPublished in: NFM (2015)
Keyphrases
- data sets
- raw data
- training data
- data analysis
- data processing
- data collection
- statistical analysis
- data structure
- database
- data distribution
- synthetic data
- high quality
- original data
- knowledge discovery
- complex data
- spatial data
- attribute values
- computer systems
- input data
- small number
- end users
- data sources
- prior knowledge