C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Checking Robustness Between Weak Transactional Consistency Models.
Sidi Mohamed Beillahi
Ahmed Bouajjani
Constantin Enea
Published in:
ESOP (2021)
Keyphrases
</>
consistency checking
neural network
probability distribution
artificial intelligence
prior knowledge
probabilistic model
d objects
complex systems
statistical model
experimental data
computational efficiency
bayesian framework