Skip to contents Jiang, Bin Deadlock detection is really cheap Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1988 Published in: ACM SIGMOD Record, 17 (1988) 2, Seite 2-13 Elmagarmid, A.K.; Datta, A.K. Two-phase deadlock detection algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 1988 Published in: IEEE Transactions on Computers, 37 (1988) 11, Seite 1454-1458 Knapp, Edgar Deadlock detection in distributed databases Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1987 Published in: ACM Computing Surveys, 19 (1987) 4, Seite 303-328 Badal, D. Z. The distributed deadlock detection algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1986 Published in: ACM Transactions on Computer Systems, 4 (1986) 4, Seite 320-337 Wojcik, B.E.; Wojcik, Z.M. Sufficient condition for a communication deadlock and distributed deadlock detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 1989 Published in: IEEE Transactions on Software Engineering, 15 (1989) 12, Seite 1587-1595 Cidon, I; Jaffe, J M Local distributed deadlock detection by knot detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1986 Published in: ACM SIGCOMM Computer Communication Review, 16 (1986) 3, Seite 377-384 Santhiar, Anirudh; Kanade, Aditya Static deadlock detection for asynchronous C# programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2017 Published in: ACM SIGPLAN Notices, 52 (2017) 6, Seite 292-305 H.Hassan, Samar; H. Ahmed, Lamiaa; A. Badr, Amr Deadlock Detection and Recovery in P Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2014 Published in: International Journal of Computer Applications, 92 (2014) 10, Seite 11-17 Samak, Malavika; Ramanathan, Murali Krishna Multithreaded test synthesis for deadlock detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: ACM SIGPLAN Notices, 49 (2014) 10, Seite 473-489 Ding, Zuohua; Zhou, MengChu; Wang, ShouGuang Ordinary Differential Equation-Based Deadlock Detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2014 Published in: IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44 (2014) 10, Seite 1435-1454 Samak, Malavika; Ramanathan, Murali Krishna Trace driven dynamic deadlock detection and reproduction Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: ACM SIGPLAN Notices, 49 (2014) 8, Seite 29-42 Sapra, Pooja; Kumar, Suresh; K Rathy, R Deadlock Detection and Recovery in Distributed Databases Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2013 Published in: International Journal of Computer Applications, 73 (2013) 1, Seite 32-36 Gupta, Swati Deadlock Detection Techniques in Distributed Database System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2013 Published in: International Journal of Computer Applications, 74 (2013) 21, Seite 41-45 Geetha, V.; Sreenath, N. Distributed Deadlock Detection using Fault Informing Probes Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2012 Published in: International Journal of Computer Applications, 41 (2012) 8, Seite 6-11 Verbeek, Freek; Schmaltz, Julien Formal verification of a deadlock detection algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2011 Published in: Electronic Proceedings in Theoretical Computer Science, 70 (2011), Seite 103-112 van Glabbeek, Rob; Luttik, Bas; Trcka, Nikola Computation Tree Logic with Deadlock Detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Centre pour la Communication Scientifique Directe (CCSD), 2009 Published in: Logical Methods in Computer Science, Volume 5, Issue 4 (2009) Michał Korzycki A Compile-Time Deadlock Detection Pattern Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2007 Published in: Computer Science, 8 (2007) Haque, W. Concurrent Deadlock Detection In Parallel Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2006 Published in: International Journal of Computers and Applications, 28 (2006) 1, Seite 19-25 Haque, W. CONCURRENT DEADLOCK DETECTION IN PARALLEL PROGRAMS Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ACTA Press, 2006 Published in: International Journal of Computers and Applications, 28 (2006) 1 Kaveh, Nima; Emmerich, Wolfgang Deadlock detection in distribution object systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2001 Published in: ACM SIGSOFT Software Engineering Notes, 26 (2001) 5, Seite 44-51
Jiang, Bin Deadlock detection is really cheap Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1988 Published in: ACM SIGMOD Record, 17 (1988) 2, Seite 2-13
Elmagarmid, A.K.; Datta, A.K. Two-phase deadlock detection algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 1988 Published in: IEEE Transactions on Computers, 37 (1988) 11, Seite 1454-1458
Knapp, Edgar Deadlock detection in distributed databases Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1987 Published in: ACM Computing Surveys, 19 (1987) 4, Seite 303-328
Badal, D. Z. The distributed deadlock detection algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1986 Published in: ACM Transactions on Computer Systems, 4 (1986) 4, Seite 320-337
Wojcik, B.E.; Wojcik, Z.M. Sufficient condition for a communication deadlock and distributed deadlock detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 1989 Published in: IEEE Transactions on Software Engineering, 15 (1989) 12, Seite 1587-1595
Cidon, I; Jaffe, J M Local distributed deadlock detection by knot detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1986 Published in: ACM SIGCOMM Computer Communication Review, 16 (1986) 3, Seite 377-384
Santhiar, Anirudh; Kanade, Aditya Static deadlock detection for asynchronous C# programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2017 Published in: ACM SIGPLAN Notices, 52 (2017) 6, Seite 292-305
H.Hassan, Samar; H. Ahmed, Lamiaa; A. Badr, Amr Deadlock Detection and Recovery in P Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2014 Published in: International Journal of Computer Applications, 92 (2014) 10, Seite 11-17
Samak, Malavika; Ramanathan, Murali Krishna Multithreaded test synthesis for deadlock detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: ACM SIGPLAN Notices, 49 (2014) 10, Seite 473-489
Ding, Zuohua; Zhou, MengChu; Wang, ShouGuang Ordinary Differential Equation-Based Deadlock Detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2014 Published in: IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44 (2014) 10, Seite 1435-1454
Samak, Malavika; Ramanathan, Murali Krishna Trace driven dynamic deadlock detection and reproduction Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: ACM SIGPLAN Notices, 49 (2014) 8, Seite 29-42
Sapra, Pooja; Kumar, Suresh; K Rathy, R Deadlock Detection and Recovery in Distributed Databases Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2013 Published in: International Journal of Computer Applications, 73 (2013) 1, Seite 32-36
Gupta, Swati Deadlock Detection Techniques in Distributed Database System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2013 Published in: International Journal of Computer Applications, 74 (2013) 21, Seite 41-45
Geetha, V.; Sreenath, N. Distributed Deadlock Detection using Fault Informing Probes Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2012 Published in: International Journal of Computer Applications, 41 (2012) 8, Seite 6-11
Verbeek, Freek; Schmaltz, Julien Formal verification of a deadlock detection algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2011 Published in: Electronic Proceedings in Theoretical Computer Science, 70 (2011), Seite 103-112
van Glabbeek, Rob; Luttik, Bas; Trcka, Nikola Computation Tree Logic with Deadlock Detection Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Centre pour la Communication Scientifique Directe (CCSD), 2009 Published in: Logical Methods in Computer Science, Volume 5, Issue 4 (2009)
Michał Korzycki A Compile-Time Deadlock Detection Pattern Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2007 Published in: Computer Science, 8 (2007)
Haque, W. Concurrent Deadlock Detection In Parallel Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2006 Published in: International Journal of Computers and Applications, 28 (2006) 1, Seite 19-25
Haque, W. CONCURRENT DEADLOCK DETECTION IN PARALLEL PROGRAMS Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ACTA Press, 2006 Published in: International Journal of Computers and Applications, 28 (2006) 1
Kaveh, Nima; Emmerich, Wolfgang Deadlock detection in distribution object systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2001 Published in: ACM SIGSOFT Software Engineering Notes, 26 (2001) 5, Seite 44-51
> Media type Skip to next facet Articles (188) Wert ausschließen Books (5) Wert ausschließen Conference Proceedings (2) Wert ausschließen Thesis (1) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (70) Wert ausschließen Without Specification (124) Wert ausschließen Show more show less
> Language Skip to next facet English (101) Wert ausschließen Not determined (95) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (82) Wert ausschließen Technology (48) Wert ausschließen Mathmatics (27) Wert ausschließen Physics (11) Wert ausschließen General (5) Wert ausschließen Economics (4) Wert ausschließen Chemistry and pharmacology (3) Wert ausschließen Jurisprudence (2) Wert ausschließen Biology (1) Wert ausschließen Geography (1) Wert ausschließen Show more show less
> Creator Skip to next facet Lee, Jaehwan John (4) Wert ausschließen Cheng, Jingde (3) Wert ausschließen Isabel, Miguel (3) Wert ausschließen Laneve, Cosimo (3) Wert ausschließen Lee, J.J. (3) Wert ausschließen Lee, Soojung (3) Wert ausschließen Singhal, M. (3) Wert ausschließen Xiang Xiao (3) Wert ausschließen Xiao, Xiang (3) Wert ausschließen Abell, Stephen (2) Wert ausschließen Al-Ahmari, Abdulrahman (2) Wert ausschließen Albert, Elvira (2) Wert ausschließen Bao, Yunxia (2) Wert ausschließen Cao, Jiannong (2) Wert ausschließen Che, Xiaoping (2) Wert ausschließen Chen, Daoxu (2) Wert ausschließen Cho, Kwang Moon (2) Wert ausschließen Choudhary, A.N. (2) Wert ausschließen Do, Nhan (2) Wert ausschließen Elmagarmid, A.K. (2) Wert ausschließen Elmagarmid, Ahmed K. (2) Wert ausschließen Giachino, Elena (2) Wert ausschließen Gurari, Eitan M. (2) Wert ausschließen Gómez-Zamalloa, Miguel (2) Wert ausschließen Haque, W. (2) Wert ausschließen Hilbrich, Tobias (2) Wert ausschließen Kaid, Husam (2) Wert ausschließen Kim, Myunghwan (2) Wert ausschließen Kohler, W.H. (2) Wert ausschließen Kshemkalyani, A.D. (2) Wert ausschließen Lai, Ten Hwang (2) Wert ausschließen Lee, Dongmyun (2) Wert ausschließen Lee, John Jaehwan (2) Wert ausschließen Lee, Soo Jung (2) Wert ausschließen Lu, Faming (2) Wert ausschließen Lu, Wei (2) Wert ausschließen Rajaram, R. (2) Wert ausschließen Ramanathan, Murali Krishna (2) Wert ausschließen Samak, Malavika (2) Wert ausschließen Shoshani, Arie (2) Wert ausschließen Soojung Lee (2) Wert ausschließen Stankovic, J.A. (2) Wert ausschließen Towsley, D. (2) Wert ausschließen Wang, Liqiang (2) Wert ausschließen Wysk, R.A. (2) Wert ausschließen Xing, Weiwei (2) Wert ausschließen Yang, Yong (2) Wert ausschließen Zeng, Qingtian (2) Wert ausschließen Zhou, Jingyang (2) Wert ausschließen Zhou, MengChu (2) Wert ausschließen de Boer, Frank S. (2) Wert ausschließen A. (1) Wert ausschließen A. Badr, Amr (1) Wert ausschließen Abigail O’Connell (1) Wert ausschließen Aboutorabi, Shahryar (1) Wert ausschließen Agrawal, Rakesh (1) Wert ausschließen AhmadAnsari, Gufran (1) Wert ausschließen Al-Dujaily, Ra'ed (1) Wert ausschließen Al-Shayea, Adel (1) Wert ausschließen Alvaro E. Campos (1) Wert ausschließen Ameen, Wadea (1) Wert ausschließen Andrew T. Reisner (1) Wert ausschließen Ashcraft, Ken (1) Wert ausschließen Ashfield, Bruce (1) Wert ausschließen Askari, Mohsen (1) Wert ausschließen Aydemir, Baturay (1) Wert ausschließen Azadbakht, Keyvan (1) Wert ausschließen Badal, D. Z. (1) Wert ausschließen Baldoni, Roberto (1) Wert ausschließen Baturay Aydemir (1) Wert ausschließen Bensalem, Saddek (1) Wert ausschließen Bernstein, A.J. (1) Wert ausschließen Bertino, E. (1) Wert ausschließen Biebelberg, Brett (1) Wert ausschließen Bing, Xinghua (1) Wert ausschließen Boari, M. (1) Wert ausschließen Borodin, Alexey Evgenevich (1) Wert ausschließen Bozga, Marius (1) Wert ausschließen Bracha, Gabriel (1) Wert ausschließen Bradshaw, Michael K. (1) Wert ausschließen Brett Biebelberg (1) Wert ausschließen Breuer, Peter T. (1) Wert ausschließen Bronevetsky, Greg (1) Wert ausschließen Bronis R. de Supinski (1) Wert ausschließen Böhm, Stanislav (1) Wert ausschließen CHANG, W. (1) Wert ausschließen CHO, H. (1) Wert ausschließen CURRY, G. (1) Wert ausschließen Cai, Yan (1) Wert ausschließen Caltais, Georgiana (1) Wert ausschließen Carey, Michael J. (1) Wert ausschließen Cha, Y. (1) Wert ausschließen Chan, W.K. (1) Wert ausschließen Chandy, K. Mani (1) Wert ausschließen Chao Su (1) Wert ausschließen Chaya Kotturesh (1) Wert ausschließen Chen, I.-R. (1) Wert ausschließen Chen, Lei (1) Wert ausschließen Chen, Xiaolin (1) Wert ausschließen Chen, YuFeng (1) Wert ausschließen Show more show less
> Collection Skip to next facet Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (41) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (29) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Elsevier BV (CrossRef) (16) Wert ausschließen Informa UK Limited (CrossRef) (11) Wert ausschließen Springer International Publishing (CrossRef) (10) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (10) Wert ausschließen Foundation of Computer Science (CrossRef) (8) Wert ausschließen BASE - Bielefeld Academic Search Engine (5) Wert ausschließen DOAJ Directory of Open Access Journals (5) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Wiley (CrossRef) (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Institute for Operations Research and the Management Sciences (INFORMS) (CrossRef) (2) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (2) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (2) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen ABC Journals (CrossRef) (1) Wert ausschließen ACTA Press (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Department of Computer Engineering, Faculty of Computer Science, Universitas Sriwijaya (CrossRef) (1) Wert ausschließen Diss online (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen IACSIT Press (CrossRef) (1) Wert ausschließen IEEE (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (1) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (1) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Science Publications (CrossRef) (1) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Trans Tech Publications Ltd. (CrossRef) (1) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (1) Wert ausschließen Tsinghua University Press (CrossRef) (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less