|
|
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. |
IEEE Trans. Software Eng. |
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. |
SIGMOD Conference |
1976 |
DBLP DOI BibTeX RDF |
|
154 | Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang |
On Optimal Deadlock Detection Scheduling. |
IEEE Trans. Computers |
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. |
PODC |
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. |
ICPP |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
PDP |
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. |
IEEE Trans. Software Eng. |
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. |
ICPADS |
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. |
ICPADS |
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. |
ICS |
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. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Deadlock detection |
74 | Jaehwan Lee 0002, Vincent John Mooney III |
A novel deadlock avoidance algorithm and its hardware implementation. |
CODES+ISSS |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IPPS |
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. |
IPPS |
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. |
HPCC |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Soojung Lee |
Turn-based Deadlock Detection for Wormhole Routed Networks. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Zhonghua Huang, Zhiming Wu |
Deadlock-free Scheduling Method for Automated Manufacturing Systems with Limited Central Buffers. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Soojung Lee |
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
67 | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
Compositional deadlock detection for rendezvous communication. |
EMSOFT |
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. |
GCC |
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. |
Discret. Event Dyn. Syst. |
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. |
ICPP |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
62 | Soojung Lee |
Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Zeng Fancong |
Deadlock Resolution via Exceptions for Dependable Java Applications. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
60 | Ken Hironaka, Hideo Saito, Kenjiro Taura |
High performance wide-area overlay using deadlock-free routing. |
HPDC |
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. |
CODES |
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. |
ICDCS |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
Queueing Syst. Theory Appl. |
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". |
APWeb Workshops |
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. |
ICA3PP |
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. |
FTDCS |
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. |
J. ACM |
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. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Gertrude Neuman Levine |
The classification of deadlock prevention and avoidance is erroneous. |
ACM SIGOPS Oper. Syst. Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Amy L. Williams, William Thies, Michael D. Ernst |
Static Deadlock Detection for Java Libraries. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Paul C. Attie, Hana Chockler |
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Marian V. Iordache, Panos J. Antsaklis |
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. |
ICATPN |
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. |
HPCA |
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. |
PCRCW |
1997 |
DBLP DOI BibTeX RDF |
|
55 | Miriam Di Ianni |
Wormhole Deadlock Prediction. |
Euro-Par |
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. |
POPL |
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. |
EMSOFT |
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. |
PADTAD |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Knowl. Data Eng. |
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. |
ICPP |
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. |
HPCA |
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. |
IPPS |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
FTDCS |
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. |
IEEE Trans. Software Eng. |
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. |
IPPS |
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. |
IPPS |
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 |
ACM Trans. Comput. Syst. |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
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. |
IEEE Comput. Archit. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Mariagrazia Dotoli, Maria Pia Fanti |
Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems. |
IEEE Trans. Syst. Man Cybern. Part C |
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. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Maria Pia Fanti |
Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Fu-Shiung Hsieh |
Fault-tolerant deadlock avoidance algorithm for assembly processes. |
IEEE Trans. Syst. Man Cybern. Part A |
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. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Gertrude Neuman Levine |
Defining deadlock with fungible resources. |
ACM SIGOPS Oper. Syst. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Gregor Gößler, Joseph Sifakis |
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of deadlock free connectors for COM/DCOM applications. |
ESEC / SIGSOFT FSE |
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. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda |
Definition of Deadlock Patterns for Business Processes Workflow Models. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Nidhi Agrawal, C. P. Ravikumar |
Adaptive Routing Based on Deadlock Recovery. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
48 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
Modeling Message Blocking and Deadlock in Interconnection Networks. |
PCRCW |
1997 |
DBLP DOI BibTeX RDF |
|
48 | José Duato |
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Theoretical Aspects. |
EDMCC |
1991 |
DBLP DOI BibTeX RDF |
|
48 | José Duato |
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies. |
PARLE (1) |
1991 |
DBLP DOI BibTeX RDF |
|
47 | Zixue Cheng, Yutaka Wada, Yaoxue Zhang, Shoichi Noguchi |
A Distributed Solution for Resources Allocation to Overlapping Groups. |
ICPADS |
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. |
PADTAD |
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. |
ACM Trans. Design Autom. Electr. Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
ICIC (1) |
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. |
SPAA |
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. |
EMSOFT |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
CIT |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
Asian Test Symposium |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
ICPP Workshops |
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. |
PDSE |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Software Eng. |
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][ >>] |
|