„Lock-Free-Programming“
Suchergebnisse
7 Treffer
-
Relaxed Linear References for Lock-free Data Structures
-
Java Core Programmierung – Memory Model und Garbage Collection
-
Java-Core-Programmierung – Memory Model und Garbage Collection
-
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs – With an application to proving that non-blocking algorithms are bounded lock-free
-
Detecting semantic violations of lock-free data structures through C++ contracts
-
An optimistic approach to lock-free FIFO queues
-
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs