Translating CPS with Shared-Variable Concurrency in SpaceEx.

Ran Li Huibiao Zhu Richard Banach

Published in: SETTA (2022)

Keyphrases

concurrency control
database systems
fine grained
databases
data mining
learning algorithm
website
shared knowledge
dynamic allocation