Weak Memory Models as LLVM-to-LLVM Transformations.

Vladimír Still Petr Rockai Jiri Barnat

Published in: MEMICS (2015)

Keyphrases

experimental data
database
probabilistic model
data sets
neural network
data model
model selection
complex systems
limited memory
image segmentation
multi agent systems
prior knowledge
main memory
modeling framework