The Virtues of Conflict: Analyzing Modern Concurrency.

Ganesh Narayanaswamy Saurabh Joshi Daniel Kroening

Published in: CoRR (2016)

Keyphrases

concurrency control
databases
database systems
data flow
machine learning
search engine
objective function
data structure
evolutionary algorithm
distributed databases
conflict resolution
resolving conflicts
concurrent programming