Xiang Xiao, Jaehwan John Lee. A novel O(1) parallel deadlock detection algorithm and architecture for multi-unit resource systems. In 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings. pages 480-487, IEEE, 2007. [doi]
Abstract is missing.