Abstract: In this paper we introduce a novel approach for online potential deadlock detection in multithread programs. Our approach is based on reasoning about deadlock possibility using the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback