|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2324 occurrences of 962 keywords
|
|
|
Results
Found 2813 publication records. Showing 2813 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
170 | 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 |
167 | 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 |
|
154 | 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 |
147 | 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 |
135 | 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 |
121 | 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 |
114 | 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 |
103 | 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 |
103 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1109-1125, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers |
84 | Prasasth Palnati, Mario Gerla, Emilio Leonardi |
Deadlock-free routing in an optical interconnect for high-speed wormhole routing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 256-264, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
high-speed wormhole routing networks, Supercomputer SuperNet, two-level hierarchical high-speed network, electronic mesh fabric, WDM optical backbone network, metropolitan area, campus area, backpressure hop-by-hop flow control mechanism, shufflenet multihop virtual topology, physical channels, up/down deadlock free routing scheme, bidirectional shufflenet, optical backbone, multiprocessor interconnection networks, network routing, virtual channels, wavelength division multiplexing, optical interconnections, optical interconnect, deadlock-free routing, deadlock prevention |
76 | 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 |
|
74 | 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 |
74 | 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 |
74 | Jaehwan Lee 0002, Vincent John Mooney III |
A novel deadlock avoidance algorithm and its hardware implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, September 8-10, 2004, pp. 200-205, 2004, ACM, 1-58113-937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
deadlock avoidance hardware IP design |
74 | 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 |
72 | 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 |
70 | Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato |
Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 815-821, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
deadlock-free adaptive wormhole routing, Disha Concurrent, central buffers, sequential recovery, resource cost, mutual exclusive access, deadlock-free lane, tree-based networks, performance evaluation, parallel architectures, fault tolerant computing, concurrency control, multiprocessor interconnection networks, multiprocessor interconnection networks, network routing, system recovery, edge, Token, Hamiltonian path, deadlock recovery, k-ary n-cube networks |
69 | 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 |
|
69 | 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 |
|
69 | Zhonghua Huang, Zhiming Wu |
Deadlock-free Scheduling Method for Automated Manufacturing Systems with Limited Central Buffers. ![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. 560-565, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | 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 |
|
67 | 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 |
67 | 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 |
67 | Spyros A. Reveliotis, Jin Young Choi 0001 |
On the Optimality of Randomized Deadlock Avoidance Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 13(4), pp. 303-320, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
sequential resource allocation systems, controlled Markov chains, randomized control policies, deadlock resolution |
65 | Dong Xiang, Yueli Zhang, Yi Pan 0001, Jie Wu 0001 |
Deadlock-Free Adaptive Routing in Meshes Based on Cost-Effective Deadlock Avoidance Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 2007 International Conference on Parallel Processing (ICPP 2007), September 10-14, 2007, Xi-An, China, pp. 41, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deadlock-free adaptive routing, minimum-connected components, planar adaptive routing, mesh, fault-tolerant routing |
65 | Timothy Mark Pinkston, Sugath Warnakulasuriya |
Characterization of Deadlocks in k-ary n-Cube Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(9), pp. 904-921, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Deadlock characterization, true fully adaptive routing, $k$-ary $n$-cube interconnection networks, deadlock detection, deadlock recovery |
62 | Dong Xiang, Yueli Zhang, Yi Pan 0001 |
Practical Deadlock-Free Fault-Tolerant Routing in Meshes Based on the Planar Network Fault Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(5), pp. 620-633, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
62 | 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 |
|
62 | Zeng Fancong |
Deadlock Resolution via Exceptions for Dependable Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 731-740, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | Ken Hironaka, Hideo Saito, Kenjiro Taura |
High performance wide-area overlay using deadlock-free routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, HPDC 2009, Garching, Germany, June 11-13, 2009, pp. 81-90, 2009, ACM, 978-1-60558-587-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
grids, bandwidth, collective communication, overlays, parallel applications, deadlock-free routing |
60 | 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 |
60 | 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 |
60 | Eric Fleury, Pierre Fraigniaud |
A General Theory for Deadlock Avoidance in Wormhole-Routed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(7), pp. 626-638, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Routing, multicast, deadlock, wormhole |
60 | José Duato |
A Necessary and Sufficient Condition for Deadlock-Free Routing in Cut-Through and Store-and-Forward Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(8), pp. 841-854, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interconnection networks, design methodologies, Adaptive routing, deadlock avoidance, virtual cut-through, store-and-forward |
60 | Jörg Liebeherr, Ian F. Akyildiz |
Deadlock properties of queueing networks with finite capacities and multiple routing chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 20(3-4), pp. 409-431, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
blocking networks, deadlocks, Queueing networks, deadlock prevention |
58 | Chuanfu Zhang, Yunsheng Liu, Tong Zhang 0008, Yabing Zha, Wei Zhang |
Comments on Order-Based Deadlock Prevention Protocol with Parallel Requests in "A Deadlock and Livelock Free Protocol for Decentralized Internet Resource Co-allocation". ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb Workshops ![In: Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings, pp. 698-701, 2006, Springer, 3-540-31158-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ODP3, Deadlock, Co-allocation, Livelock |
58 | Dong Xiang, Qi Wang, Yi Pan 0001 |
Deadlock-Free Adaptive Routing in 2D Tori with a New Turn Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008, Proceedings, pp. 58-69, 2008, Springer, 978-3-540-69500-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
deadlock-free adaptive routing, odd-even turn model, torus, Deadlock avoidance, turn model |
58 | 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 |
56 | Andrew A. Chien, Jae H. Kim |
Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 91-123, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
transmission-order preservation, fault tolerance, parallel processing, interconnection networks, adaptive routing, multicomputers, packet routing |
55 | César Sánchez 0001, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill |
On efficient distributed deadlock avoidance for real-time and embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Gertrude Neuman Levine |
The classification of deadlock prevention and avoidance is erroneous. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 39(2), pp. 47-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Amy L. Williams, William Thies, Michael D. Ernst |
Static Deadlock Detection for Java Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, pp. 602-629, 2005, Springer, 3-540-27992-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Paul C. Attie, Hana Chockler |
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 465-481, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Marian V. Iordache, Panos J. Antsaklis |
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 184-203, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
55 | 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 |
|
55 | 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 |
|
55 | Miriam Di Ianni |
Wormhole Deadlock Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 188-195, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
53 | Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke |
The theory of deadlock avoidance via discrete control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 252-263, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming |
53 | César Sánchez 0001, Henny B. Sipma, Zohar Manna, Christopher D. Gill |
Efficient distributed deadlock avoidance with liveness guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 12-20, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
scheduling, distributed algorithms, deadlock avoidance |
53 | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
Confirmation of deadlock potentials detected by runtime analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006, pp. 41-50, 2006, ACM, 1-59593-414-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis |
53 | Olav Lysne, Timothy Mark Pinkston, José Duato |
Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(5), pp. 428-443, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deadlock-freedom methodology, system reliability and availability, Interconnection network, dynamic reconfiguration |
53 | Loren Schwiebert |
Deadlock-Free Oblivious Wormhole Routing with Cyclic Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 865-876, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
channel dependency graph, unreachable configuration, Wormhole routing, oblivious routing, deadlock freedom |
53 | 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 |
53 | Nidhi Agrawal, C. P. Ravikumar |
An Euler Path Based Technique for Deadlock-free Multicasting. ![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. 378-384, 1997, IEEE Computer Society, 0-8186-8108-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Euler-Path, Routing, Multicasting, Multicomputers, Virtual Channels, Deadlock-free |
53 | Hyunmin Park, Dharma P. Agrawal |
A Topology-Independent Generic Methodology for Deadlock-Free Wormhole Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 191-200, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Subdigraph, Hypercube, Mesh, Adaptive Routing, Virtual Channel, Torus, Channels, Wormhole, Deadlock-free Routing Algorithm |
53 | Hyunmin Park, Dharma P. Agrawal |
Generic Methodologies for Deadlock-Free Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 638-643, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Subdigraph, Hypercube, Mesh, Adaptive Routing, Virtual Channel, Torus, Channels, Wormhole, Virtual Cut-through, Store-and-Forward, Deadlock-free Routing Algorithm |
53 | José Duato |
A Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(9), pp. 976-987, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
path-based multicast, graph theory, wormhole routing, Adaptive routing, multicomputers, virtual channels, multicast routing, deadlock avoidance |
53 | José Duato |
A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(10), pp. 1055-1067, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Adaptive routing, multicomputers, virtual channels, deadlock avoidance, wormhole |
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 | Sheau-Dong Lang |
An Extended Banker's Algorithm for Deadlock Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(3), pp. 428-432, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Banker's algorithm, operating system, deadlock, deadlock avoidance, graph reduction, worst-case complexity |
51 | Fabrizio Petrini, Marco Vanneschi |
Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 589-, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
minimal adaptive wormhole routing, potential deadlocks, performance analysis, multiprocessor interconnection networks, virtual channels, deadlock avoidance, timeout, deadlock recovery |
51 | Robert W. Horst |
ServerNet Deadlock Avoidance and Fractahedral Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 274-280, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
scalable topologies, fractahedral topologies, maximum link contention, 6-port ServerNet routers, performance evaluation, concurrency control, hypercube, mesh, multistage interconnection networks, network routing, deadlock avoidance, multistage networks, deadlock-free |
49 | 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 |
49 | 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 |
|
48 | Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian 0002 |
Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 39(1), pp. 188-199, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | 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 |
|
48 | 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 |
|
48 | César Sánchez 0001, Henny B. Sipma, Zohar Manna |
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 155-169, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Maria Pia Fanti |
Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 80-92, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Fu-Shiung Hsieh |
Fault-tolerant deadlock avoidance algorithm for assembly processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 65-79, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | 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 |
|
48 | Gertrude Neuman Levine |
Defining deadlock with fungible resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 37(3), pp. 5-11, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Gregor Gößler, Joseph Sifakis |
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 420-433, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of deadlock free connectors for COM/DCOM applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 121-131, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | 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 |
|
48 | 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 |
|
48 | Nidhi Agrawal, C. P. Ravikumar |
Adaptive Routing Based on Deadlock Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 981-988, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
48 | 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 |
|
48 | José Duato |
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Theoretical Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDMCC ![In: Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings, pp. 234-243, 1991, Springer, 3-540-53951-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | José Duato |
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 390-405, 1991, Springer, 3-540-54151-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
47 | Zixue Cheng, Yutaka Wada, Yaoxue Zhang, Shoichi Noguchi |
A Distributed Solution for Resources Allocation to Overlapping Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 73-80, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Resource Allocation to Groups, Group Deadlock, Group Starvation, Distributed Algorithms, Distributed Resource Allocation |
46 | Fancong Zeng |
Pattern-driven deadlock avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, deadlock, exception, just-in-time (JIT) compilation |
46 | Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encrenaz |
A tool for automatic detection of deadlock in wormhole networks on chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(1), pp. 6:1-6:22, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interconnection networks, networks on chip, Deadlock, wormhole routing |
46 | Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano |
An Effective Design of Deadlock-Free Routing Algorithms Based on 2D Turn Model for Irregular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(3), pp. 320-333, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interconnection networks, Adaptive routing, PC clusters, deadlock avoidance, irregular topologies, system area networks, turn model |
46 | Hong Liu 0008, Fei Lin, Hongbin Zha |
Fuzzy Decision Method for Motion Deadlock Resolving in Robot Soccer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 1337-1346, 2007, Springer, 978-3-540-74170-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deadlock Resolving, Fuzzy Decision, Soccer Robot |
46 | Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick |
Deadlock-free scheduling of X10 computations with bounded resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, pp. 229-240, 2007, ACM, 978-1-59593-667-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
deadlock-free scheduling, X10, active messages |
46 | Ye Zhou, Edward A. Lee |
A causality interface for deadlock analysis in dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 44-52, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
behavioral types, interfaces, deadlock, causality, dataflow, actors |
46 | Yong Ho Song, Timothy Mark Pinkston |
Distributed Resolution of Network Congestion and Potential Deadlock Using Reservation-Based Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(8), pp. 686-701, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
router scheduling, Interconnection networks, deadlock, congestion, router architecture |
46 | 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 |
46 | Timothy Mark Pinkston, Ruoming Pang, José Duato |
Deadlock-Free Dynamic Reconfiguration Schemes for Increased Network Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(8), pp. 780-794, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dependable communication, hard link-level flow control, parallel processing, interconnection networks, dynamic reconfiguration, Deadlock-free routing |
46 | José Duato, Timothy Mark Pinkston |
A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(12), pp. 1219-1235, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
General theory for deadlock-free fully adaptive routing, nonatomic queue allocation, irregular networks, regular networks |
46 | Hiromi Hiraishi |
Verification of deadlock free property of high level robot control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 198-203, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties |
46 | 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 |
46 | Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi |
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 576-581, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, timed automata, deadlock freeness |
46 | Jun Zhou, Kuo-Chung Tai |
Deadlock Analysis of Synchronous Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999, pp. 62-, 1999, IEEE Computer Society, 0-7695-0191-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
LTS, Deadlock, CCS, Observational Equivalence |
46 | Xiaola Lin, Philip K. McKinley, Lionel M. Ni |
Deadlock-Free Multicast Wormhole Routing in 2-D Mesh Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(8), pp. 793-804, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
deadlock-free multicastwormhole routing, 2-D mesh multicomputers, nCUBE-2, wormhole-routed hypercubemulticomputer, broadcast routing algorithm, dynamic network trafficconditions, dual-path routing algorithm, parallel architectures, hypercube networks, digital simulation, simulation study |
45 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 829-843, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
44 | Gustavo D. Pifarré, Luis Gravano, Sergio A. Felperin, Jorge L. C. Sanz |
Fully Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and other Networks: Algorithms and Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(3), pp. 247-263, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
adaptive minimal deadlock-free packet routing, virtual cut-through routing models, simulations, algorithms, concurrency control, message passing, hypercubes, multiprocessor interconnection networks, multiprocessor interconnection networks, meshes, packet switching, parallel machines, parallel machines, routing algorithms, deadlock, packet routing, shuffle-exchange, minimal paths, two-dimensional mesh |
44 | David J. Pritchard, Denis A. Nicole |
Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(1), pp. 111-117, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
deadlock-free fixed degree network, cube-connected Mobius ladders, deadlock-free routingstrategy, fixed node degree, fixed degree topology of size, transputernetworks, parallel algorithms, computational complexity, graph theory, topology, Cayley graph, multiprocessorinterconnection network, network diameter, multiprocessor interconnectionnetworks, interval routing |
44 | 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 |
Displaying result #1 - #100 of 2813 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|