Root Causing Linearizability Violations.

Berk Çirisci Constantin Enea Azadeh Farzan Suha Orhun Mutluergil

Published in: CAV (1) (2020)

Keyphrases

tree structure
multi objective
constraint violations
database
data sets
databases
computer vision
data structure
cost function