Author:
Nir-Buchbinder Yarden,Tzoref Rachel,Ur Shmuel
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. http://msdn2.microsoft.com/en-us/library/ms792855.aspx
2. Agarwal, R., Stoller, S.D.: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In: PADTAD 2006: Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging (2006)
3. Agarwal, R., Wang, L., Stoller, S.D.: Detecting potential deadlocks with static analysis and run-time monitoring. In: Proceedings of the Parallel and Distributed Systems: Testing and Debugging track of the 2005 IBM Verification Conference (2005)
4. Holliday, J., El Abbadi, A.: Distributed deadlock detection. In: Encyclopedia of Distributed Computing. Kluwer Academic Publishers, Dordrecht (accepted for publication)
5. Banaszak, Z.A., Krogh, B.H.: Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation 6(6) (1990)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Patching Locking Bugs Statically with Crayons;ACM Transactions on Software Engineering and Methodology;2023-04-26
2. Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning‐based approach;Concurrency and Computation: Practice and Experience;2019-05-09
3. Discovering Concurrency Errors;Lectures on Runtime Verification;2018
4. Boosted decision trees for behaviour mining of concurrent programmes;Concurrency and Computation: Practice and Experience;2017-08-31
5. Adaptively generating high quality fixes for atomicity violations;Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering;2017-08-21