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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
> 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