Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.
Daniel PoetzlDaniel KroeningPublished in: TACAS (2016)
Keyphrases
- experimental data
- original data
- data sets
- raw data
- data processing
- data structure
- synthetic data
- prior knowledge
- data collection
- empirical data
- complex data
- high dimensional data
- data points
- data sources
- neural network
- high quality
- models built
- probability distribution
- learned models
- machine learning
- data objects
- website
- training data
- statistical models
- data distribution
- sensor data
- complex systems
- feature space
- social media
- database