Automated Classification of Data Races Under Both Strong and Weak Memory Models.
Baris KasikciCristian ZamfirGeorge CandeaPublished in: ACM Trans. Program. Lang. Syst. (2015)
Keyphrases
- data sets
- data collection
- image data
- data processing
- statistical analysis
- small number
- prior knowledge
- data analysis
- data points
- historical data
- complex data
- raw data
- statistical methods
- experimental data
- computing power
- data transfer
- data quality
- neural network
- database
- training data
- high quality
- databases
- computer systems
- data acquisition
- original data
- knowledge discovery
- predictive model
- data sources
- data structure