Efficient data race detection for async-finish parallelism.
Raghavan RamanJisheng ZhaoVivek SarkarMartin T. VechevEran YahavPublished in: Formal Methods Syst. Des. (2012)
Keyphrases
- data sets
- data points
- database
- training data
- data structure
- data distribution
- data analysis
- synthetic data
- data sources
- data mining techniques
- data collection
- historical data
- complex data
- raw data
- computer systems
- input data
- video sequences
- prior knowledge
- missing data
- network structure
- detection rate
- high quality
- original data
- data quality
- decision trees
- learning algorithm
- parallel computing
- parallel computation