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