Impact of buffer size on the efficiency of deadlock detection | IEEE Conference Publication | IEEE Xplore