Checking Data-Race Freedom of GPU Kernels, Compositionally.
Tiago CogumbreiroJulien LangeDennis Liew Zhen RongHannah ZicarelliPublished in: CAV (1) (2021)
Keyphrases
- data collection
- data sets
- original data
- data processing
- data structure
- data sources
- statistical analysis
- raw data
- kernel methods
- missing data
- data objects
- small number
- image data
- knowledge discovery
- data analysis
- data quality
- parallel computation
- valued data
- statistical methods
- high dimensional data
- data warehouse
- data points
- training data