Order out of Chaos: Proving Linearizability Using Local Views.

Yotam M. Y. Feldman Constantin Enea Adam Morrison Noam Rinetzky Sharon Shoham

Published in: CoRR (2018)

Keyphrases

wide range
multiple views
database
high level
object recognition