References

Agarwal, R., S. Bensalem, E. Farchi, K. Havelund and Y. Nir-Buchbinder et al., 2010. Detection of deadlock potentials in multithreaded programs. J. Res. Dev., Vol. 54. 10.1147/JRD.2010.2060276

Bodden, E. and K. Havelund, 2010. Aspect-oriented race detection in Java. IEEE Trans. Software Eng., 36: 509-527.
CrossRef  |  Direct Link  |  

Chen, K.Y., J.M. Chang and T.W. Hou, 2011. Multithreading in Java: Performance and scalability on multicore systems. IEEE Trans. Comput., 60: 1521-1534.
CrossRef  |  Direct Link  |  

Flanagana, C. and S.N. Freund, 2006. Type inference against races. Sci. Comput. Program., 64: 140-165.
CrossRef  |  Direct Link  |  

Flanagana, C. and S.N. Freund, 2008. Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program., 71: 89-109.
CrossRef  |  Direct Link  |  

Hasanzade, E. and S.M. Babamir, 2012. An artificial neural network based model for online prediction of potential deadlock in multithread programs. Proceedings of the 16th CSI International Symposium on Artificial Intelligence and Signal Processing, May 2-3, 2012, Shiraz, Iran, pp: 417-422.

Joshi, P., C.S. Park, K. Sen and M. Naik, 2009. A randomized dynamic program analysis technique for detecting real deadlocks. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 15-21, 2009, Dublin, Ireland -.

Mohan, A. and P.S. Kumar, 2014. Deadlock maps: A dynamic deadlock detection for multithreaded programs. Asian J. Inform. Technol., 13: 356-362.
Direct Link  |  

Radoi, C. and D. Dig, 2013. Practical static race detection for Java parallel loops. Proceedings of the International Symposium on Software Testing and Analysis, July 15-20, 2013, Lugano, Switzerland, pp: 178-190.

Wang, Y., S. Lafortune, T. Kelly, M. Kudlur and S. Mahlke, 2009. The theory of deadlock avoidance via discrete control. Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21-23, 2009, New York, USA., pp: 252-263.