Login / Signup
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.
William R. Marczak
Peter Alvaro
Neil Conway
Joseph M. Hellerstein
David Maier
Published in:
Datalog (2012)
Keyphrases
</>
probabilistic model
mathematical model
experimental data
statistical model
theoretical framework
computational model
probability distribution
formal model
conceptual model
statistical analysis
data sets
multi agent
neural network
cost function
evolutionary algorithm
image analysis
cooperative
objective function