Towards verifying eventually consistent applications.

Burcu Kulahcioglu Ozkan Erdal Mutlu Serdar Tasiran

Published in: PaPEC@EuroSys (2014)

Keyphrases

globally optimal
computer vision
preprocessing
real time
artificial intelligence
feature selection
model checking