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