4 citations · 6 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017
Building Efficient Concurrent Graph Object through Composition of List-based Set
Sathya Peri, Muktikanta Sa, Nandini Singhal
In this paper, we propose a generic concurrent directed graph (for shared memory architecture) that is concurrently being updated by threads adding/deleting vertices and edges. The…
cs.DC2017★ 1 cited
Proving Correctness of Concurrent Objects by Validating Linearization Points
Sathya Peri, Muktikanta Sa, Ajay Singh +2
Concurrent data structures or CDS such as concurrent stacks, queues, sets etc. have become very popular in the past few years partly due to the rise of multi-core systems. But one…