Login / Signup

Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors.

Graeme SmithLindsay Groves
Published in: FM Workshops (2) (2019)
Keyphrases
  • multicore processors
  • data objects
  • database
  • information systems
  • object oriented
  • parallel processing