Login / Signup
Formalizing determinacy of concurrent revisions.
Roy Overbeek
Published in:
CPP (2020)
Keyphrases
</>
mutual exclusion
machine learning
computer vision
conjunctive queries
concurrent programs
real time
data sets
neural network
data mining
information retrieval
data structure
learning environment
special case
static analysis