1. GPU-LMDDA: a bit-vector GPU-based deadlock detection algorithm for multi-unit resource systems. Issue 6 (1st November 2016) Authors: Abell, Stephen; Do, Nhan; Lee, John Jaehwan Journal: International journal of parallel, emergent and distributed systems Issue: Volume 31:Issue 6(2016) Page Start: 562 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. GPU-OSDDA: a bit-vector GPU-based deadlock detection algorithm for single-unit resource systems. Issue 5 (2nd September 2016) Authors: Abell, Stephen; Do, Nhan; Lee, John Jaehwan Journal: International journal of parallel, emergent and distributed systems Issue: Volume 31:Issue 5(2016) Page Start: 450 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗