Sign in

Unifying Operational Weak Memory Verification: An Axiomatic Approach.

Simon DohertySadegh DalvandiBrijesh DongolHeike Wehrheim
Published in: ACM Trans. Comput. Log. (2022)
Keyphrases
  • memory requirements
  • case study
  • computing power
  • memory size
  • low memory
  • model checking
  • search engine
  • computer vision
  • case based reasoning
  • face verification
  • memory space
  • limited memory
  • asynchronous circuits