Efficient and Scalable Graph Parallel Processing With Symbolic Execution.

Long Zheng Xiaofei Liao Hai Jin

Published in: ACM Trans. Archit. Code Optim. (2018)

Keyphrases

parallel processing
parallel architectures
computational power
symbolic execution
processing speed
distributed processing
commodity hardware
ibm sp
parallel computation
error rate
test generation
tree decomposition
test data generation
pc cluster
data model
training set
artificial intelligence