Verification of Causality Requirements in Java Memory Model Is Undecidable.

Matko Botincan Paola Glavan Davor Runje

Published in: PPAM (2) (2009)

Keyphrases

probabilistic model
formal model
high level
computational model
case study
probability distribution
parameter estimation
database systems
theoretical framework
cost function
object oriented
web applications
petri net
statistical model
experimental data
neural network model
genetic algorithm