Proving Data-Parallel Programs: a Unifying Approach.
David CacheraGil UtardPublished in: Parallel Process. Lett. (1996)
Keyphrases
- data processing
- data sets
- raw data
- database
- original data
- computer systems
- data quality
- spatial data
- data collection
- high quality
- data sources
- data mining techniques
- input data
- training data
- database systems
- knowledge discovery
- sensor data
- data transfer
- historical data
- complex data
- neural network
- information retrieval
- social networks
- application domains
- information systems
- domain experts
- statistical analysis
- data analysis
- data model
- probability distribution
- image data