Checking Race Freedom of Clocked X10 Programs.

Tomofumi Yuki Paul Feautrier Sanjay V. Rajopadhye Vijay A. Saraswat

Published in: CoRR (2013)

Keyphrases

low power
data sets
learning algorithm
computer programs
automatic programming
database
databases
social networks
image sequences
multiresolution
answer sets
control structures