Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Distributed deadlock models are presented for resource and communication deadlocks. Simple distributed algorithms for detection of these deadlocks are given. We show that all true deadlocks are detected and that no false deadlocks are reported. In our algorithms, no process maintains global information; all messages have an identical short length. The algorithms can be applied in distributed database and other message communication systems. © 1983, ACM. All rights reserved.
Pradip Bose
VTS 1998
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007