Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.

Kevin Hammond Christopher Brown Susmit Sarkar

Published in: FOPARA (2015)

Keyphrases

provably correct
parallel processing
data sets
real world
structural properties
imperative programs
structured data
automatic programming
genetic algorithm
learning algorithm
answer sets
parallel implementation
computer architecture