An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection.
Prasanth ChatarasiJun ShirakoMartin KongVivek SarkarPublished in: LCPC (2016)
Keyphrases
- experimental data
- data sets
- input data
- computational model
- data structure
- probability distribution
- simulation data
- prior knowledge
- test data
- high level
- data analysis
- synthetic data
- high dimensional data
- database
- expert knowledge
- raw data
- missing data
- computer systems
- data collection
- image data
- data processing
- object detection
- neural network
- knowledge discovery
- network structure
- statistical methods
- end users
- probabilistic model
- learning models
- measured data
- data sources