Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version).
Daniel PoetzlDaniel KroeningPublished in: CoRR (2015)
Keyphrases
- data sets
- historical data
- data processing
- original data
- data collection
- data structure
- database
- knowledge discovery
- statistical models
- complex data
- training data
- empirical data
- neural network
- synthetic data
- data analysis
- data quality
- experimental data
- data mining algorithms
- high quality
- input data
- image data
- prior knowledge
- discrete data
- raw data
- statistical methods
- data distribution
- high dimensional data
- statistical analysis
- data points