Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free.
Fangke YeMarkus SchordanChunhua LiaoPei-Hung LinIan KarlinVivek SarkarPublished in: CORRECTNESS@SC (2018)
Keyphrases
- statistical analysis
- data analysis
- image data
- data sets
- experimental data
- data acquisition
- raw data
- high dimensional data
- database
- knowledge discovery
- synthetic data
- data collection
- data sources
- high quality
- small number
- original data
- data structure
- empirical data
- data warehouse
- data quality
- historical data
- massively parallel
- sensor data
- data points
- image analysis
- website
- machine learning
- real time