4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2015★ 4 cited
Local Linearizability
Andreas Haas, Thomas A. Henzinger, Andreas Holzer +6
The semantics of concurrent data structures is usually given by a sequential specification and a consistency condition. Linearizability is the most popular consistency condition du…
cs.PL2014
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer +2
We study, formally and experimentally, the trade-off in temporal and spatial overhead when managing contiguous blocks of memory using the explicit, dynamic and real-time heap manag…