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

Safe locking for multi-threaded Java with exceptions.

Einar Broch JohnsenThi Mai Thuong TranOlaf OweMartin Steffen
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
  • multi threaded
  • java programs
  • operating system
  • computer architecture
  • information flow
  • multithreading
  • multi core processors
  • real time
  • concurrency control
  • database
  • database systems
  • scheduling problem
  • data management