Optimized Sound and Complete Data Race Detection in Structured Parallel Programs.
Kyle StoreySheridan Jacob PowellBenjamin OglesJoshua HookerPeter AldousEric MercerPublished in: LCPC (2018)
Keyphrases
- data sets
- data points
- small number
- data structure
- data sources
- data collection
- database
- synthetic data
- data analysis
- experimental data
- data quality
- data processing
- image data
- computer systems
- prior knowledge
- attribute values
- complex data
- missing data
- privacy preserving
- original data
- high dimensional data
- statistical analysis
- programming language
- probability distribution
- high quality
- training data
- website