Automated type-based analysis of data races and atomicity.
Amit SasturkarRahul AgarwalLiqiang WangScott D. StollerPublished in: PPOPP (2005)
Keyphrases
- statistical analysis
- data analysis
- data sets
- data collection
- database
- correlation analysis
- original data
- raw data
- small number
- complex data
- prior knowledge
- empirical data
- image data
- data processing
- high quality
- training data
- data quality
- synthetic data
- spatial data
- data objects
- automated analysis
- quantitative data
- statistical methods
- high dimensional data
- computer systems
- data model
- data structure
- data mining
- databases