Login / Signup

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Parosh Aziz AbdullaSoham ChakrabortyShankara Narayanan KrishnaUmang MathurAndreas PavlogiannisHünkar Can Tunç
Published in: CoRR (2023)
Keyphrases
  • consistency checking
  • database
  • multi agent
  • dynamic programming
  • main memory
  • data sets
  • data mining
  • computer vision
  • worst case
  • temporal reasoning