Automatic complexity analysis of explicitly parallel programs.

Torsten Hoefler Grzegorz Kwasniewski

Published in: SPAA (2014)

Keyphrases

complexity analysis
theoretical analysis
lower bound
first order logic
neural network
case study
automatic programming
real time
machine learning
semi automatic
answer sets
parallel machines
high level programming language