Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.
Jesse D. BinghamAnne CondonAlan J. HuShaz QadeerZhichuan ZhangPublished in: CAV (2004)
Keyphrases
- data sets
- data sources
- data processing
- data analysis
- synthetic data
- numerical data
- data structure
- prior knowledge
- experimental data
- data collection
- input data
- noisy data
- raw data
- data distribution
- sensor data
- statistical analysis
- data mining techniques
- small number
- image data
- high quality
- high dimensional data
- missing data
- knowledge discovery
- probability distribution
- end users
- xml documents
- data quality
- training data