Non-preemptive Semantics for Data-Race-Free Programs.
Siyang XiaoHanru JiangHongjin LiangXinyu FengPublished in: ICTAC (2018)
Keyphrases
- data sets
- high quality
- raw data
- data analysis
- complex data
- experimental data
- input data
- database
- data sources
- image data
- statistical analysis
- training data
- database systems
- knowledge discovery
- small number
- data objects
- data collection
- computer systems
- high dimensional data
- original data
- lower bound
- formal semantics
- data quality
- data distribution
- sensor data
- synthetic data
- xml documents
- object oriented
- data points
- end users