C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Inferring Formal Properties of Production Key-Value Stores.
Edgar Pek
Pranav Garg
Muntasir Raihan Rahman
Karl Palmskog
Indranil Gupta
P. Madhusudan
Published in:
CoRR (2017)
Keyphrases
</>
desirable properties
databases
formal language
data structure
evolutionary algorithm
production system
database
real world
computer vision
information systems
image processing
probability distribution
structural properties
topological properties
formal models