Assertional reasoning about data races in relaxed memory models.
Beverly A. SandersKyungHee KimPublished in: PPOPP (2008)
Keyphrases
- data sets
- prior knowledge
- database
- historical data
- experimental data
- statistical methods
- raw data
- synthetic data
- original data
- data transfer
- data mining techniques
- data points
- accurate models
- data analysis
- data structure
- high quality
- computing power
- computational power
- incoming data
- sensor data
- high dimensional data
- statistical analysis
- computer systems
- data collection
- data processing
- high dimensional
- databases