|
|||||
|
|
GPU-LMDDA: a bit-vector GPU-based deadlock detection algorithm for multi-unit resource systems |
|
| Authors: | Stephen Abell Nhan Do |
| Affiliation: | 1. Boeing, Washington, DC, USA.;2. Department of Electrical and Computer Engineering, Indiana University Purdue University, Indianapolis, IN, USA. |
| Abstract: | |
| Keywords: | Deadlock detection resource allocation graph (RAG) GPU CUDA bit vector |