Sequential-like Proofs of Data-Parallel Programs.

Yann Le Guyadec Bernard Virot

Published in: Parallel Process. Lett. (1996)

Keyphrases

data sets
data analysis
data processing
data distribution
prior knowledge
data collection
database
complex data
sensor data
statistical analysis
small number
image data
training data
knowledge discovery
data points
end users
high dimensional data
high dimensional
data structure
original data
data objects
data quality