C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Plan B: a buffered memory model for Java.
Delphine Demange
Vincent Laporte
Lei Zhao
Suresh Jagannathan
David Pichardie
Jan Vitek
Published in:
POPL (2013)
Keyphrases
</>
probabilistic model
high level
computational model
management system
theoretical analysis
conceptual model
prediction model
genetic algorithm
database systems
data model
markov chain
theoretical framework
formal model
decision theoretic