|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 310 occurrences of 173 keywords
|
|
|
Results
Found 408 publication records. Showing 408 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
176 | Philip P. Macri |
Deadlock Detection and Resolution in a CODASYL Based Data Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, June 2-4, 1976., pp. 45-49, 1976, ACM, 978-1-4503-4729-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
155 | Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang |
On Optimal Deadlock Detection Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(9), pp. 1178-1187, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Deadlock detection scheduling, deadlock formation rate, deadlock persistence time |
133 | Shigang Chen, Yibei Ling |
Stochastic analysis of distributed deadlock scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 265-273, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deadlock detection scheduling, deadlock formation rate, deadlock persistence time |
125 | Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato |
FC3D: Flow Control-Based Distributed Deadlock Detection Mechanism for True Fully Adaptive Routing in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(8), pp. 765-779, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
true fully adaptive routing, Wormhole switching, deadlock detection, deadlock recovery |
121 | Juan-Miguel Martínez 0001, Pedro López 0001, José Duato, Timothy Mark Pinkston |
Software-Based Deadlock Recovery Technique for True Fully Adaptive Routing in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1997 International Conference on Parallel Processing (ICPP '97), August 11-15, 1997, Bloomington, IL, USA, Proceedings, pp. 182-189, 1997, IEEE Computer Society, 0-8186-8108-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
adaptive routing, virtual channels, Wormhole switching, deadlock detection, deadlock recovery |
98 | Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato |
A Cost-Effective Approach to Deadlock Handling in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(7), pp. 716-729, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
injection limitation, adaptive routing, Wormhole switching, deadlock detection, deadlock recovery |
90 | Jaehwan John Lee, Vincent John Mooney III |
An o(min(m, n)) parallel deadlock detection algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 10(3), pp. 573-586, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Deadlock detection |
86 | Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller |
A graph based approach for MPI deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 296-305, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
umpire, parallel programming, deadlock detection, mpi |
80 | Young Man Kim, Ten-Hwang Lai, Neelam Soundarajan |
Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 584-, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
79 | Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Daoxu Chen, Jian Lu 0001 |
A Mobile Agent Enabled Approach for Distributed Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings, pp. 535-542, 2004, Springer, 3-540-23564-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mobile Computing, Mobile Agent, Deadlock Detection |
78 | Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Seon Hong |
MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings, pp. 554-565, 2007, Springer, 978-3-540-75443-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Soojung Lee |
Turn-based Deadlock Detection for Wormhole Routed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 107, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Pun H. Shiu, Yudong Tan, Vincent John Mooney III |
A novel parallel deadlock detection algorithm and architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001, pp. 73-78, 2001, ACM, 1-58113-364-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
parallel algorithm, hardware/software codesign, real-time operating system, deadlock detection |
74 | Soojung Lee |
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 47-54, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
73 | Kamel Barkaoui, Rabah Benamara |
Towards an efficient probabilistic deadlock detection method for multidatabase systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 84-91, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
probabilistic deadlock detection method, local transaction visibility, local systems autonomy, PCG method, mean condition, random graph theory, random deadlock detection, performance, concurrency control, concurrency control, contention, multidatabase systems |
68 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(3), pp. 212-229, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching, interconnection network |
67 | Juan-Miguel Martínez 0001, Pedro López 0001, José Duato |
Impact of Buffer Size on the Efficiency of Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999, pp. 315-318, 1999, IEEE Computer Society, 0-7695-0004-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
67 | Soojung Lee |
Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 676-683, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Soojung Le |
Fast Detection and Resolution of Generalized Distributed Deadlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 429-436, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed deadlock, generalized deadlock, distributed algorithms, deadlock detection, deadlock resolution |
65 | Soojung Lee, Junguk L. Kim |
Performance Analysis of Distributed Deadlock Detection Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(4), pp. 623-636, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
wait-for graph, distributed systems, distributed algorithms, Deadlock detection, cycle detection |
62 | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
Compositional deadlock detection for rendezvous communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 59-66, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SHIM, concurrency, static analysis, deadlock, divide-and-conquer |
57 | Xiang Xiao, Jaehwan John Lee |
A Novel Parallel Deadlock Detection Algorithm and Hardware for Multiprocessor System-on-a-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 6(2), pp. 41-44, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Nacer Farajzadeh, Mehdi Hashemzadeh, Morteza Mousakhani, Abolfazl Toroghi Haghighat |
An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 303-309, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deadlock detection and resolution, wait-for-graph, Distributed systems, algorithm |
56 | Soojung Lee |
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(9), pp. 561-573, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
Characterization of Deadlocks in Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 80-86, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
deadlocks characterisation, true deadlock detection, bidirectionality, routing adaptivity, node degree, deadlock formation, routing flexibility blocked messages, resource dependencies, simulator, interconnection networks, multiprocessor interconnection networks, virtual channels, buffer size, design parameters, deadlock-free routing algorithms |
53 | Jingyang Zhou, Xiaolin Chen, Han Dai, Jiannong Cao 0001, Daoxu Chen |
M-Guard: A New Distributed Deadlock Detection Algorithm Based on Mobile Agent Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Second InternationalSymposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings, pp. 75-84, 2004, Springer, 3-540-24128-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal |
Deadlocks in Distributed Systems: Request Models and Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 186-193, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Deadlock models, message communication systems, distributed algorithms, distributed deadlock detection |
51 | Mariagrazia Dotoli, Maria Pia Fanti |
Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(4), pp. 541-552, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Xuhui Li 0001 |
Mobile agent-enabled framework for structuring and building distributed systems on the internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(6), pp. 885-905, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, mobile agent, internet computing, deadlock detection |
50 | Paul G. Spirakis |
The Parallel Complexity of Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings, pp. 582-593, 1986, Springer, 3-540-16783-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
48 | Xiang Xiao, Jaehwan John Lee |
A Novel O(1) Deadlock Detection Methodology for Multiunit Resource Systems and Its Hardware Implementation for System-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(12), pp. 1657-1670, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Israel Cidon, Jeffrey M. Jaffe |
Local distributed deadlock detection by knot detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, SIGCOMM 1986, Stowe, Vermont, United States, August 5-7, 1986, pp. 377-384, 1986, ACM, 0-89791-201-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
46 | Pedro López 0001, Juan-Miguel Martínez 0001, José Duato, Fabrizio Petrini |
On the Reduction of Deadlock Frequency by Limiting Message Injection in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCRCW ![In: Parallel Computer Routing and Communication, Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings, pp. 295-307, 1997, Springer, 3-540-64571-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
44 | Mariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis |
Comparing deadlock detection and avoidance policies in automated storage and retrieval systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1607-1612, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Barbara E. Wójcik, Zbigniew M. Wójcik |
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1587-1595, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
wait-for contiguous requests, query message, wait-for cycle, no-deadlock message, query initiator, deadlock-free situation, query intercessor, periodical deadlock handling, indefinite wait-die scheme, protocol, distributed processing, replication, system recovery, sufficient condition, distributed deadlock detection, communication deadlock |
44 | Ju Gyun Kim |
High Performance Cycle Detection Scheme for Multiprocessing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings, pp. 484-493, 2004, Springer, 3-540-24129-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Keijo Heljanko |
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 240-254, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Xiang Xiao, Jaehwan John Lee |
A novel O(1) parallel deadlock detection algorithm and architecture for multi-unit resource systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 480-487, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley |
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 10-17, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution |
40 | José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán |
A Distributed Deadlock Resolution Algorithm for the AND Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(5), pp. 433-447, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems |
39 | Wei Huang, Deyu Qi 0001 |
A Local Deadlock Detection and Resolution Algorithm for Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 311-314, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Christian F. Orellana, Cristian Ruz, Yadran Eterovic |
Self-stabilizing Deadlock Detection Under the OR Requirement Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 559-570, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Xin Cheng, Xiaozong Yang, Feng Jin |
An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 759-761, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Soojung Lee, Yoonjoon Lee |
A Distributed Algorithm for Deadlock Detection under OR-request Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings, pp. 298-299, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Jun Zhou, Kuo-Chung Tai |
Deadlock Analysis of Client/Server Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 484-491, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
client/server program, deadlock, labeled transition system, reachability graph |
37 | Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda |
Definition of Deadlock Patterns for Business Processes Workflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
Modeling Message Blocking and Deadlock in Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCRCW ![In: Parallel Computer Routing and Communication, Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings, pp. 275-294, 1997, Springer, 3-540-64571-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Azzedine Boukerche, Carl Tropper |
A distributed algorithm for the detection of local cycles and knots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 118-127, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
2m messages, blocking paradigm, deadlock breaking, distributed algorithms, distributed algorithm, graph theory, concurrency control, parallel simulation, cycles, deadlock detection, speed up, knots, diffusing computation |
35 | Ahmed K. Elmagarmid |
A Survey of Distributed Deadlock Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 15(3), pp. 37-45, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
35 | Israel Cidon |
An Efficient Distributed Knot Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 644-649, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
memory bits, store communication networks, distributed knot detection algorithm, forward communication networks, clustering, computational complexity, graph theory, distributed processing, messages, links, nodes, deadlock detection, general graphs, transaction systems, cycle detection |
35 | D. Manivannan 0001, Mukesh Singhal |
An Efficient Distributed Algorithm for Detection of Knots and Cycles in a Distributed Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(10), pp. 961-972, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Distributed graph, knot detection, distributed systems, distributed algorithms, distributed simulation, deadlock detection |
34 | Alberto Córdoba, Federico Fariña, José Ramón Garitagoitia, José Ramón González de Mendívil, Jesús E. Villadangos |
A Low Communication Cost Algorithm for Distributed Deadlock Detection and Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, pp. 235-242, 2003, IEEE Computer Society, 0-7695-1875-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ajay D. Kshemkalyani, Mukesh Singhal |
Correct Two-Phase and One-Phase Deadlock Detection Algorithms for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 126-129, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin |
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 204-, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Manuel Prieto 0002, Jesús E. Villadangos, Federico Fariña, Alberto Córdoba |
An O(n) Distributed Deadlock Resolution Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), 15-17 February 2006, Montbeliard-Sochaux, France, pp. 48-55, 2006, IEEE Computer Society, 0-7695-2513-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, Single-resource request model, Distributed systems, Complexity, Distributed algorithms |
32 | David A. Cape, Bruce M. McMillin |
Dihomotopic Reduction Used in Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 648-651, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Elisa Bertino, Giovanni Chiola, Luigi V. Mancini |
Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 266-285, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Chim-fu Yeung, Sheung-lun Hung, Kam-yiu Lam |
Performance Evaluation of a New Distributed Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 23(3), pp. 21-26, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Randy Appleton |
Deadlock detection in a multidatabase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 269-276, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Eric Koskinen, Maurice Herlihy |
Dreadlocks: efficient deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 297-303, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection |
32 | Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk |
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 315-324, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Simultaneous Reachability Analysis, Extended Finite State Machine Model, Race Conditions, Deadlock Detection |
32 | Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley |
Correction to "A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1644, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
modified priority based probe algorithm, pseudocode, distributed processing, error correction, system recovery, distributed deadlock detection |
32 | Ahmed K. Elmagarmid, Ajoy Kumar Datta |
Two-Phase Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(11), pp. 1454-1458, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
deadlock detection algorithm, transaction-wait-for, multiple disjoint controllers, two-phase property, detection step, actual cycle detection, transaction-based distributed processing systems, distributed algorithm, distributed processing, distributed databases, transaction processing, deadlocks |
32 | Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu |
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1443-1452, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection |
32 | K. Mani Chandy, Jayadev Misra, Laura M. Haas |
Distributed Deadlock Detection ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 1(2), pp. 144-156, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
message communication systems, resource deadlock, distributed deadlock detection, communication deadlock |
30 | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay |
Effective static deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 386-396, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 49-58, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jaeyong Shim, Dongsoo Han, Hongsoog Kim |
Communication Deadlock Detection of Inter-organizational Workflow Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNIS ![In: Databases in Networked Information Systems, Second International Workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002, Proceedings, pp. 43-57, 2002, Springer, 3-540-00264-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | R. C. Hansdah, Nilanjan Gantait, Sandip Dey |
A Fault-Tolerant Distributed Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing, Mobile and Wireless Computing 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings, pp. 78-87, 2002, Springer, 3-540-00355-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Mitchell Flatebo, Ajoy Kumar Datta |
Self-stabilizing Deadlock Detection Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 20th Annual Conference on Computer Science, CSC '92, Kansas City, MO, USA, March 3-5, 1992, pp. 117-122, 1992, ACM, 0-89791-472-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Wuxu Peng, S. Purushothaman |
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 243-252, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Beverly A. Sanders, Philipp A. Heuberger |
Distributed Deadlock Detection and Resolution with Probes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 207-218, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Rakesh Agrawal 0001, Michael J. Carey 0001, David J. DeWitt |
Deadlock Detection is Cheap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 13(2), pp. 19-34, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
29 | Teruo Higashino, Gregor von Bochmann |
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(1), pp. 29-42, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values |
28 | Fernando de Ferreira Rezende, Theo Härder, Andreas Gloeckner, Jörg Lutze |
Detection Arcs for Deadlock Management in Nested Transactions and their Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 15th British National Conferenc on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997, Proceedings, pp. 54-68, 1997, Springer, 3-540-63263-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Andrei Karatkevich, Iwona Grobelna |
Deadlock detection in Petri nets: One trace for one deadlock? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSI ![In: 7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014, pp. 227-231, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Rahil Hosseini, Abolfazl Toroghi Haghighat |
A Survey of Distributed Probe-based Deadlock Detection Algorithms and an Improvement for Solving False Deadlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel and Distributed Computing and Networks ![In: Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005, pp. 505-510, 2005, IASTED/ACTA Press, 0-88986-470-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Markus Jäger 0001, Bernhard Nebel |
Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2001: Expanding the Societal Role of Robotics in the the Next Millennium, Maui, HI, USA, October 29 - November 3, 2001, pp. 1213-1219, 2001, IEEE, 0-7803-6612-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal |
Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 32(2), pp. 232, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal |
Deadlock Models and a General Algorithm for Distributed Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 31(2), pp. 112-125, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Victor Khomenko, Maciej Koutny |
Verification of bounded Petri nets using integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(2), pp. 143-176, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming |
26 | Kamel Barkaoui, Rabah Benamara |
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 24(2), pp. 193-202, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
global deadlock, extended transaction model, multidatabase systems |
26 | Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley |
A Queueing Network Model for a Distributed Database Testbed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 908-921, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
distributed database testbed system, transaction workload, transaction recovery protocol, write-ahead logging, centralized two-phase commit, protocols, distributed databases, queueing theory, program testing, system recovery, queueing network model, two-phase locking, commit protocol, distributed deadlock detection, concurrency control protocol |
25 | Henry F. Korth, Ravi Krishnamurthy, Anil Nigam, John T. Robinson |
A Framework for Understanding Distributed (Deadlock Detection) Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, USA, pp. 192-202, 1983, ACM, 0-89791-097-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Panhofer, Werner Friesenbichler, Martin Delvai |
Fault tolerant Four-State Logic by using Self-Healing Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings, pp. 1-6, 2008, IEEE Computer Society, 978-1-4244-2657-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
D-Finder: A Tool for Compositional Deadlock Detection and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 614-619, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | James C. Corbett |
Evaluating Deadlock Detection Methods for Concurrent Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(3), pp. 161-180, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Concurrency analysis, inequality necessary conditions, empirical evaluation, symbolic model checking, state space reduction, Ada tasking |
23 | Dushan Z. Badal |
The Distributed Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 4(4), pp. 320-337, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Ron Obermarck |
Distributed Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 7(2), pp. 187-208, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
23 | Saddek Bensalem, Klaus Havelund |
Dynamic Deadlock Analysis of Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 208-223, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Zhonghua Huang, Zhiming Wu |
Deadlock-free Scheduling Method for Automated Manufacturing Systems Using Genetic Algorithm and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 566-571, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jun Zhou, Kuo-Chung Tai |
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China, pp. 222-231, 2001, IEEE Computer Society, 0-7695-1306-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Mahesh Girkar, Robert Moll |
New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 65-80, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Peter B. Ladkin, Barbara Simons |
Compile-time analysis of communicating processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 6th international conference on Supercomputing, ICS 1992, Washington, DC, USA, July 19-24, 1992, pp. 248-259, 1992, ACM, 0-89791-485-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Jayadev Misra |
Distributed Discrete-Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 18(1), pp. 39-65, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat |
Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), 15-17 February 2006, Montbeliard-Sochaux, France, pp. 133-136, 2006, IEEE Computer Society, 0-7695-2513-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Hyunok Oh |
Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 190-193, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior |
18 | Alper Sen 0001, Vinit Ogale, Magdy S. Abadir |
Predictive runtime verification of multi-processor SoCs in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 948-953, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
predictive verification, deadlock, SystemC, assertion, ESL |
18 | John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki |
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia, pp. 223-232, 2007, IEEE Computer Society, 0-7695-2778-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sagar Chaki, Nishant Sinha 0001 |
Assume-Guarantee Reasoning for Deadlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 134-144, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 408 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|