Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
Luc BougéDavid CacheraYann Le GuyadecGil UtardBernard VirotPublished in: The Data Parallel Programming Model (1996)
Keyphrases
- data sets
- raw data
- statistical analysis
- data collection
- data analysis
- data sources
- database
- data structure
- data processing
- data mining techniques
- data acquisition
- data distribution
- synthetic data
- high dimensional data
- computer systems
- small number
- image data
- knowledge discovery
- data points
- training data
- data mining
- high quality
- web pages
- spatial data
- experimental data
- neural network
- missing values
- statistical methods
- databases
- original data
- data quality