A High-Level Semantics for Program Execution under Total Store Order Memory.

Brijesh Dongol Oleg Travkin John Derrick Heike Wehrheim

Published in: ICTAC (2013)

Keyphrases

program execution
low level features
high level semantics
e learning
feature extraction
similarity measure
video sequences
text categorization
memory management