Library abstraction for C/C++ concurrency.

Mark Batty Mike Dodds Alexey Gotsman

Published in: POPL (2013)

Keyphrases

transaction processing
concurrency control
database systems
database
real time
data abstraction
decision theoretic planning
real world
data mining
artificial intelligence
information systems
decision making
high level
reinforcement learning
public libraries