„Lock-Free-Programming“

Suchergebnisse

7 Treffer

• Relaxed Linear References for Lock-free Data Structures
  Castegren, Elias ; Wrigstad, Tobias 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Java Core Programmierung – Memory Model und Garbage Collection
  Langer, Angelika ; Kreft, Klaus 2011 entwickler.press
• Java-Core-Programmierung – Memory Model und Garbage Collection
  Langer, Angelika ; Kreft, Klaus 2011 Entwickler.press
• Rely-guarantee bound analysis of parameterized concurrent shared-memory programs – With an application to proving that non-blocking algorithms are bounded lock-free
  Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian
• Detecting semantic violations of lock-free data structures through C++ contracts
  López-Gómez, Javier ; Rio Astorga, David del ; Dolz, Manuel F. ; Fernández, Javier ; García, J. Daniel
• An optimistic approach to lock-free FIFO queues
  Ladan-Mozes, Edya ; Shavit, Nir
• A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
  Areias, Miguel ; Rocha, Ricardo