C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.
Naorin Hossain
Caroline Trippel
Margaret Martonosi
Published in:
ISCA (2020)
Keyphrases
</>
probabilistic model
databases
machine learning
computational models
process model
prior knowledge
accurate models
neural network model
experimental data
generative model
model selection
real time
database systems
search engine
learning algorithm
real world
data sets