scientific article; zbMATH DE number 2006660
From MaRDI portal
Publication:4436059
zbMath1024.68521MaRDI QIDQ4436059
Publication date: 23 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2180/21800300.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Local Reasoning for Global Graph Properties ⋮ An efficient approach to achieve compositionality using optimized multi-version object based transactional systems ⋮ Unnamed Item ⋮ Built-in coloring for highly-concurrent doubly-linked lists ⋮ Automated flaw detection in algebraic specifications ⋮ On the correctness of a lock-free compression-based elastic mechanism for a hash trie design ⋮ The limits of helping in non-volatile memory data structures ⋮ The ERA Theorem for Safe Memory Reclamation ⋮ The amortized analysis of a non-blocking chromatic tree ⋮ Parallel implementations of Brunotte's algorithm ⋮ Lock-free deques and doubly linked lists ⋮ Abstract Specifications for Concurrent Maps ⋮ Concurrent linearizable nearest neighbour search in LockFree-kD-tree ⋮ Liveness-Preserving Atomicity Abstraction ⋮ Contention-sensitive data structures and algorithms ⋮ Nonblocking \(k\)-compare-single-swap ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ NB{\texttt{malloc}}: Allocating memory in a lock-free manner ⋮ In the Search for Optimal Concurrency
Uses Software
