Funder
National Natural Science Foundation of China
Program for New Century Excellent Talents in University
Beijing Higher Education Young Elite Teacher Project
National Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference29 articles.
1. Agarwal, R., Bensalem, S., Farchi, E., Havelund, K., Nir-Buchbinder, Y., Stoller, S. D., Ur, S., & Wang, L. (2010). Detection of deadlock potentials in multi-threaded programs. IBM Journal of Research and Development, 54(5).
2. Agarwal, R, Wang, L, & Stoller, S. D. (2006). Detecting potential deadlocks with static analysis and runtime monitoring. In Proceedings of the parallel and distributed systems, testing and debugging (Vol. 5503, pp. 425–439). Berlin: Springer.
3. Bracha, G, & Toueg, S (1987). Distributed deadlock detection. Distributed Computing, Springer Berlin Heidelberg, 2(3), 127–138.
4. Brzezinski, J, Helary, J-M, Raynal, M, & Singhal, M (1995). Deadlock models and a general algorithm for distributed deadlock detection. Journal of Parallel and Distributed Computing Elsevier, 31(2), 112–125.
5. Cidon, I., Jaffe, J., & Sidi, M. (1987). Distributed store-and-forward deadlock detection and resolution algorithms. IEEE Transactions on Communications IEEE, 35 (11), 1139–1145.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献