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:
CoRR (2020)
Keyphrases
</>
probabilistic model
experimental data
information retrieval
pairwise
statistical models
mathematical models
data sets
machine learning
multiscale
data structure
modeling framework