GPU-OSDDA: a bit-vector GPU-based deadlock detection algorithm for single-unit resource systems. - Stephen Abell; Nhan Do; John Jaehwan Lee (Int. J. Parallel Emergent Distributed Syst., 2016)

GPU-LMDDA: a bit-vector GPU-based deadlock detection algorithm for multi-unit resource systems. - Stephen Abell; Nhan Do; John Jaehwan Lee (Int. J. Parallel Emergent Distributed Syst., 2016)