• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Translating CPS with Shared-Variable Concurrency in SpaceEx.

Ran LiHuibiao ZhuRichard Banach
Published in: SETTA (2022)
Keyphrases
  • concurrency control
  • database systems
  • fine grained
  • databases
  • data mining
  • learning algorithm
  • website
  • shared knowledge
  • dynamic allocation