VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables.

Garegin Grigoryan Yaoqing Liu Michael Leczinsky Jun Li

Published in: INFOCOM (2018)

Keyphrases

database
databases
information retrieval
data sets
computer vision
database systems
image sequences
artificial neural networks
query processing
model checking