|
|
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. |
SIGMOD Conference |
1976 |
DBLP DOI BibTeX RDF |
|
155 | 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 |
133 | 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 |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
ICPP |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
ACM Trans. Design Autom. Electr. Syst. |
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. |
ICS |
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. |
ICPADS |
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. |
GCC |
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. |
HPCC |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Soojung Lee |
Turn-based Deadlock Detection for Wormhole Routed Networks. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
76 | 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 |
74 | Soojung Lee |
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
73 | 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 |
68 | 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 |
67 | 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 |
|
67 | Soojung Lee |
Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | 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 |
65 | 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 |
62 | 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 |
57 | 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 |
|
56 | 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 |
56 | Soojung Lee |
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
54 | 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 |
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. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
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 | 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 |
|
51 | Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Xuhui Li 0001 |
Mobile agent-enabled framework for structuring and building distributed systems on the internet. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, mobile agent, internet computing, deadlock detection |
50 | Paul G. Spirakis |
The Parallel Complexity of Deadlock Detection. |
MFCS |
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. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Israel Cidon, Jeffrey M. Jaffe |
Local distributed deadlock detection by knot detection. |
SIGCOMM |
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. |
PCRCW |
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. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
44 | Ju Gyun Kim |
High Performance Cycle Detection Scheme for Multiprocessing Systems. |
HiPC |
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. |
TACAS |
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. |
ICCD |
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. |
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 |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Christian F. Orellana, Cristian Ruz, Yadran Eterovic |
Self-stabilizing Deadlock Detection Under the OR Requirement Model. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Xin Cheng, Xiaozong Yang, Feng Jin |
An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Soojung Lee, Yoonjoon Lee |
A Distributed Algorithm for Deadlock Detection under OR-request Model. |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
|
37 | 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 |
37 | Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda |
Definition of Deadlock Patterns for Business Processes Workflow Models. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
Modeling Message Blocking and Deadlock in Interconnection Networks. |
PCRCW |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Azzedine Boukerche, Carl Tropper |
A distributed algorithm for the detection of local cycles and knots. |
IPPS |
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. |
SIGMOD Rec. |
1986 |
DBLP DOI BibTeX RDF |
|
35 | Israel Cidon |
An Efficient Distributed Knot Detection Algorithm. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ajay D. Kshemkalyani, Mukesh Singhal |
Correct Two-Phase and One-Phase Deadlock Detection Algorithms for Distributed Systems. |
SPDP |
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. |
MEMOCODE |
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. |
PDP |
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. |
COMPSAC (1) |
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. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Chim-fu Yeung, Sheung-lun Hung, Kam-yiu Lam |
Performance Evaluation of a New Distributed Deadlock Detection Algorithm. |
SIGMOD Rec. |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Randy Appleton |
Deadlock detection in a multidatabase. |
ACM Southeast Regional Conference |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Eric Koskinen, Maurice Herlihy |
Dreadlocks: efficient deadlock detection. |
SPAA |
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. |
DSN |
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". |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Software Eng. |
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 |
ACM Trans. Comput. Syst. |
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. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jaeyong Shim, Dongsoo Han, Hongsoog Kim |
Communication Deadlock Detection of Inter-organizational Workflow Definition. |
DNIS |
2002 |
DBLP DOI BibTeX RDF |
|
30 | R. C. Hansdah, Nilanjan Gantait, Sandip Dey |
A Fault-Tolerant Distributed Deadlock Detection Algorithm. |
IWDC |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Mitchell Flatebo, Ajoy Kumar Datta |
Self-stabilizing Deadlock Detection Algorithms. |
ACM Conference on Computer Science |
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. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Beverly A. Sanders, Philipp A. Heuberger |
Distributed Deadlock Detection and Resolution with Probes. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Rakesh Agrawal 0001, Michael J. Carey 0001, David J. DeWitt |
Deadlock Detection is Cheap. |
SIGMOD Rec. |
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. |
IEEE Trans. Software Eng. |
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. |
BNCOD |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Andrei Karatkevich, Iwona Grobelna |
Deadlock detection in Petri nets: One trace for one deadlock? |
HSI |
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. |
Parallel and Distributed Computing and Networks |
2005 |
DBLP BibTeX RDF |
|
27 | Markus Jäger 0001, Bernhard Nebel |
Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots. |
IROS |
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. |
J. Parallel Distributed Comput. |
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. |
J. Parallel Distributed Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Victor Khomenko, Maciej Koutny |
Verification of bounded Petri nets using integer programming. |
Formal Methods Syst. Des. |
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. |
J. Supercomput. |
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. |
IEEE Trans. Software Eng. |
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. |
PODS |
1983 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Panhofer, Werner Friesenbichler, Martin Delvai |
Fault tolerant Four-State Logic by using Self-Healing Cells. |
ICCD |
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. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
23 | James C. Corbett |
Evaluating Deadlock Detection Methods for Concurrent Software. |
IEEE Trans. Software Eng. |
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. |
ACM Trans. Comput. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Ron Obermarck |
Distributed Deadlock Detection Algorithm. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
|
23 | Saddek Bensalem, Klaus Havelund |
Dynamic Deadlock Analysis of Multi-threaded Programs. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Zhonghua Huang, Zhiming Wu |
Deadlock-free Scheduling Method for Automated Manufacturing Systems Using Genetic Algorithm and Petri Nets. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jun Zhou, Kuo-Chung Tai |
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. |
ISSRE |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Mahesh Girkar, Robert Moll |
New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Peter B. Ladkin, Barbara Simons |
Compile-time analysis of communicating processes. |
ICS |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Jayadev Misra |
Distributed Discrete-Event Simulation. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat |
Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model. |
PDP |
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. |
ISQED |
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. |
DAC |
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. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sagar Chaki, Nishant Sinha 0001 |
Assume-Guarantee Reasoning for Deadlock. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 408 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|