{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:46:36Z","timestamp":1725536796681},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642032745"},{"type":"electronic","value":"9783642032752"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03275-2_32","type":"book-chapter","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T02:25:46Z","timestamp":1251771946000},"page":"321-330","source":"Crossref","is-referenced-by-count":6,"title":["Visualizing Potential Deadlocks in Multithreaded Programs"],"prefix":"10.1007","author":[{"given":"Byung-Chul","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sang-Woo","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dae Joon","family":"Hwang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1147403.1147413","volume-title":"2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD)","author":"A. Agarwal","year":"2006","unstructured":"Agarwal, A., Garg, V.K.: Run-Time Detection of Potential Deadlocks for Programs with Locks, Semaphores, and Condition Variables. In: 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), Portland, Maine, pp. 51\u201360. ACM, New York (2006)"},{"key":"32_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11678779_14","volume-title":"Hardware and Software, Verification and Testing","author":"A. Agarwal","year":"2006","unstructured":"Agarwal, A., Wang, L., Stoller, S.D.: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875, pp. 191\u2013207. Springer, Heidelberg (2006)"},{"key":"32_CR3","first-page":"541","volume-title":"31st Annual International Computer Software and Applications Conference (COMPSAC)","author":"C. Artho","year":"2007","unstructured":"Artho, C., Havelund, K., Honiden, S.: Visualization of Concurrent Program Executions. In: 31st Annual International Computer Software and Applications Conference (COMPSAC), vol.\u00a02, pp. 541\u2013546. IEEE, Los Alamitos (2007)"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11678779_15","volume-title":"Hardware and Software, Verification and Testing","author":"S. Bensalem","year":"2006","unstructured":"Bensalem, S., Havelund, K.: Dynamic Deadlock Anaysis of Multi-threaded Programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875, pp. 208\u2013223. Springer, Heidelberg (2006)"},{"key":"32_CR5","unstructured":"Birrell, D.A.: An Introduction to Programming with Threads. Technical Report SR-35, Digital Equipment Corporation (January 1989)"},{"issue":"1","key":"32_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/958795.958796","volume":"3","author":"S. Carr","year":"2003","unstructured":"Carr, S., Mayo, J., Shene, C.-K.: ThreadMentor: A Pedagogical Tool for Multithreaded Programming. Journal on Education Resources in Computing (JERIC)\u00a03(1), 1\u201330 (2003)","journal-title":"Journal on Education Resources in Computing (JERIC)"},{"key":"32_CR7","volume-title":"Software Visualization: Visualizing the Structure, Behavior, and Evolve of Software","author":"S. Diehl","year":"2007","unstructured":"Diehl, S.: Software Visualization: Visualizing the Structure, Behavior, and Evolve of Software. Springer, Heidelberg (2007)"},{"key":"32_CR8","first-page":"183","volume-title":"SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging","author":"C.J. Fidge","year":"1988","unstructured":"Fidge, C.J.: Partial Orders for Parallel Debugging. In: SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, pp. 183\u2013194. ACM Press, New York (1988)"},{"issue":"7","key":"32_CR9","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1035594.1035623","volume":"2","author":"S.K. Gatlin","year":"2004","unstructured":"Gatlin, S.K.: Trials and Tribulations of Debugging Concurrency. Queue\u00a02(7), 66\u201373 (2004)","journal-title":"Queue"},{"key":"32_CR10","first-page":"237","volume-title":"Software Visualization: Programming as a Multimedia Experience","author":"E. Kraemer","year":"1998","unstructured":"Kraemer, E.: Visualizing Concurrent Programs. In: Software Visualization: Programming as a Multimedia Experience, pp. 237\u2013258. The MIT Press, Cambridge (1998)"},{"issue":"7","key":"32_CR11","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communication of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communication of the ACM"},{"key":"32_CR12","first-page":"201","volume-title":"2nd Int. Conf. on Principles and Practice of Programming in Java (PPPJ)","author":"H. Leroux","year":"2003","unstructured":"Leroux, H., Requile-Romanczuk, A., Mingins, C.: JACOT: A Tool to Dynamically Visualise the Execution of Concurrent Java Programs. In: 2nd Int. Conf. on Principles and Practice of Programming in Java (PPPJ), Kilkenny City, Ireland, pp. 201\u2013206. ACM, New York (2003)"},{"issue":"4","key":"32_CR13","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C.E. McDowell","year":"1989","unstructured":"McDowell, C.E., Helmbold, D.P.: Debugging Concurrent Programs. Computing Surveys\u00a021(4), 593\u2013622 (1989)","journal-title":"Computing Surveys"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-45875-1_13","volume-title":"Software Visualization","author":"K. Mehner","year":"2002","unstructured":"Mehner, K.: JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, pp. 163\u2013175. Springer, Heidelberg (2002)"},{"issue":"4","key":"32_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MC.2004.1297297","volume":"37","author":"B. Sanden","year":"2004","unstructured":"Sanden, B.: Coping with Java Threads. Computer\u00a037(4), 20\u201327 (2004)","journal-title":"Computer"},{"key":"32_CR16","unstructured":"Zhao, Q.A., Stasko, J.T.: Visualizing the Execution of Threads-based Parallel Programs. Technical Report GIT-GVU-95-01, College of Computing, George Institute of Technology (January 1995)"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03275-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T11:41:47Z","timestamp":1552131707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03275-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642032745","9783642032752"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03275-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}