Login / Signup
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.
Christopher Kumar Anand
Wolfram Kahl
Published in:
AGTIVE (2007)
Keyphrases
</>
parallel implementation
source code
parallel processing
massively parallel
social networks
graph model
data sets
graph theory
parallel programming
code generation