Leveraging Parallel Data Processing Frameworks with Verified Lifting.

Maaz Bin Safeer Ahmad Alvin Cheung

Published in: SYNT@CAV (2016)

Keyphrases

data processing
computer systems
data analysis
data management
wavelet transform
data acquisition
parallel implementation
computer architecture
real time
image processing
multiscale
parallel processing
parallel computing
neural network