Impact of Java Memory Model on Out-of-Order Multiprocessors.

Tulika Mitra Abhik Roychoudhury Qinghua Shen

Published in: IEEE PACT (2004)

Keyphrases

formal model
probabilistic model
statistical model
databases
neural network
input data
sensitivity analysis
computational model
theoretical framework
social networks
cost function
source code
access control
theoretical analysis
simulation model