|
|
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 |
42 | Pedro López 0001, Juan-Miguel Martínez 0001, José Duato |
DRIL: Dynamically Reduced Message Injection Limitation Mechanism for Wormhole Networks. |
ICPP |
1998 |
DBLP DOI BibTeX RDF |
|
41 | Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Chamberlain |
Deadlock avoidance for streaming computations with filtering. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
architecturally diverse platforms, dataflow, data filtering |
41 | Antonio Monzon, José L. Fernández-Sánchez |
Deadlock risk assessment in architectural models of real-time systems. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas |
Application-aware deadlock-free oblivious routing. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
systems-on-chip, oblivious routing, on-chip interconnection networks |
41 | 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 |
|
41 | ZhiWu Li 0001, MengChu Zhou |
On Siphon Computation for Deadlock Control in a Class of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Vivek K. Shanbhag |
Deadlock-Detection in Java-Library Using Static-Analysis. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Seungjoo Lee, Dawn M. Tilbury |
Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System With Serial and Parallel Configuration. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Katsuyuki Ukegawa, M. C. Natori |
Deadlock Resolution in Self-Assembly of Modular Structure Systems. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Naoki Kobayashi 0001 |
A New Type System for Deadlock-Free Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Naiqi Wu, MengChu Zhou |
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. |
IEEE Trans. Syst. Man Cybern. Part B |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Gang Xu, Zhiming Wu |
Deadlock-free scheduling strategy for automated production cell. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Maria Pia Fanti, MengChu Zhou |
Deadlock control methods in automated manufacturing systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Joaquin Ezpeleta, Laura Recalde |
A deadlock avoidance approach for nonsequential resource allocation systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina |
Automated, compositional and iterative deadlock detection. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Gertrude Neuman Levine |
Defining deadlock. |
ACM SIGOPS Oper. Syst. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Pangfeng Liu, Yi-Fang Lin, Jan-Jan Wu |
An Incremental Network Topology for Contention-free and Deadlock-free Routing. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
41 | José Carlos Sancho, Antonio Robles, José Flich, Pedro López 0001, José Duato |
Effective Methodology for Deadlock-Free Minimal Routing in InfiniBand Networks. |
ICPP |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Stanislaw Chrobot |
The Anatomy of Deadlock. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
41 | Jean Mayo, Phil Kearns |
Distributed Deadlock Detection and Resolution Based on Hardware Clocks. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Naoki Kobayashi 0001 |
A Partially Deadlock-Free Typed Process Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
41 | J. M. R. Martin, S. A. Jassim |
An Efficient Technique for Deadlock Analysis of Large Scale Process Networks. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Michele Flammini |
Deadlock-Free Interval Routing Schemes. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
41 | K. V. Anjan, Timothy Mark Pinkston |
An Efficient, Fully Adaptive Deadlock Recovery Scheme: DISHA. |
ISCA |
1995 |
DBLP DOI BibTeX RDF |
|
41 | Ahmed K. Elmagarmid |
A Survey of Distributed Deadlock Algorithms. |
SIGMOD Rec. |
1986 |
DBLP DOI BibTeX RDF |
|
41 | Paul G. Spirakis |
The Parallel Complexity of Deadlock Detection. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
41 | Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz |
Deadlock Removal Using Partial Rollback in Database Systems. |
SIGMOD Conference |
1981 |
DBLP DOI BibTeX RDF |
|
40 | Jaehwan John Lee, Vincent John Mooney |
A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Parallel Banker's Algorithm, deadlock avoidance in hardware, multiprocessor system-on-a-chip |
40 | 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 |
40 | Joy N. Reed, Jane E. Sinclair, A. W. Roscoe 0001 |
Responsiveness of interoperating components. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Refinement, CSP, Deadlock, Responsiveness, Component-based systems |
40 | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
A Transformation System for CLP with Dynamic Scheduling and CCP. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, transformation, deadlock, coroutining |
40 | Marcello M. Bonsangue, Joost N. Kok |
Semantics, Orderings and Recursion in the Weakest Precondition Calculus. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers |
39 | Yaoting Jiao, Mei Yang, Yingtao Jiang, Yulu Yang, Xiao-chun Yun |
Deadlock-Free Multi-Path Routing for Torus-Based NoCs. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
deadlock, NoC, MPR |
39 | Mila E. Majster-Cederbaum, Moritz Martens |
Compositional analysis of deadlock-freedom for tree-like component architectures. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
architecture, design patterns, interaction systems, compositionality, component-based systems, deadlock-freedom |
39 | 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 |
39 | Maurizio Palesi, Rickard Holsmark, Shashi Kumar, Vincenzo Catania |
A methodology for design of application specific deadlock-free routing algorithms for NoC systems. |
CODES+ISSS |
2006 |
DBLP DOI BibTeX RDF |
networks, networks on chip, adaptive routing, application specific, deadlock-free routing |
39 | Jie Wu 0001, Li Sheng 0001 |
Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing. |
J. Supercomput. |
2005 |
DBLP DOI BibTeX RDF |
prefix routing, multicasting, multiprocessor systems, deadlock |
39 | José Duato, Olav Lysne, Ruoming Pang, Timothy Mark Pinkston |
Part I: A Theory for Deadlock-Free Dynamic Network Reconfiguration. |
IEEE Trans. Parallel Distributed Syst. |
2005 |
DBLP DOI BibTeX RDF |
deadlock-freedom theory, system reliability and availability, Interconnection network, dynamic reconfiguration |
39 | Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai |
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
cs-property, liveness, structure theory, deadlock-freeness |
39 | Xi Chen 0024, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe |
Simulation based deadlock analysis for system level designs. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
cyclic dependency, metropolis, simulation, synchronization, deadlock, system level |
39 | Yong Ho Song, Timothy Mark Pinkston |
A Progressive Approach to Handling Message-Dependent Deadlock in Parallel Computer Systems. |
IEEE Trans. Parallel Distributed Syst. |
2003 |
DBLP DOI BibTeX RDF |
message dependency, parallel processing, Interconnection network, deadlock-free routing |
39 | Alessandro Aldini, Marco Bernardo 0001 |
A General Approach to Deadlock Freedom Verification for Software Architectures. |
FME |
2003 |
DBLP DOI BibTeX RDF |
software architecture, process algebra, deadlock |
39 | Michihiro Koibuchi, Akiya Jouraku, Konosuke Watanabe, Hideharu Amano |
Descending Layers Routing: A Deadlock-Free Deterministic Routing using Virtual Channels in System Area Networks with Irregular Topologies. |
ICPP |
2003 |
DBLP DOI BibTeX RDF |
RHiNET, interconnection networks, virtual channels, PC clusters, deadlock avoidance, irregular topologies, Deterministic routing, System Area Networks |
39 | Jie Wu 0001, Dajin Wang |
Fault-Tolerant and Deadlock-Free Routing in 2-D Meshes Using Rectilinear-Monotone Polygonal Fault Blocks. |
ICPP |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, fault models, virtual channels, Deadlock-free routing, deterministic routing, turn models |
39 | Rafael Casado, Aurelio Bermúdez, José Duato, Francisco J. Quiles 0001, José L. Sánchez 0002 |
A Protocol for Deadlock-Free Dynamic Reconfiguration in High-Speed Local Area Networks. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
Interconnection networks, dynamic reconfiguration, deadlock avoidance, irregular topologies, system availability |
39 | Ming-Jer Tsai, Sheng-De Wang |
Adaptive and Deadlock-Free Routing for Irregular Faulty Patterns in Mesh Multicomputers. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
Adaptive and deadlock-free routing, irregular faulty pattern, fault tolerance, virtual channel, wormhole switching, mesh multicomputer |
39 | Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri |
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking |
39 | José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia |
Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance |
39 | Xuemin Lin 0001, Jian Chen |
An optimal deadlock resolution algorithm in multidatabase systems. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution |
39 | José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia |
Correctness of a distributed deadlock resolution algorithm for the single request model. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification |
39 | K. V. Anjan, Timothy Mark Pinkston |
DISHA: a deadlock recovery scheme for fully adaptive routing. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
DISHA, deadlock recovery scheme, fast routers, performance evaluation, performance, computational complexity, multiprocessor interconnection networks, fully adaptive routing |
39 | Yitzhak Birk |
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
online control, page-parallel multiprocessor rasterizer, full-page bitmaps, parallel processing, concurrency control, deadlock-avoidance, rendering (computer graphics), page-description language |
39 | William J. Dally, Hiromichi Aoki |
Deadlock-Free Adaptive Routing in Multicomputer Networks Using Virtual Channels. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
multicomputer interconnection network, virtual channel utilization, parallel processing, multiprocessor interconnection networks, adaptive routing, virtual channels, network performance, deadlock-free, faulttolerance, fault tolerantcomputing |
39 | David B. Lomet |
Multi-level locking with deadlock avoidance. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Concurrency, Locking, Hierarchic, Deadlock avoidance, Data base |
38 | C. S. Yang, Y. M. Tsai, Y. L. Tsai |
Adaptive routing in k-ary n-cube multicomputers. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
k-ary n-cube multicomputers, distributed memory multiprocessor systems, virtual system, network congestion delay, performance evaluation, virtual reality, throughput, hypercube networks, wormhole routing, digital simulation, adaptive routing, distributed memory systems, simulation results, network routing, buffer size, deadlock-free routing, deadlock free routing, communication latency |
38 | 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 |
38 | Vikram S. Adve, Mary K. Vernon |
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
mesh interconnection networks, single-hit buffers, infinite buffers, nonadaptive deadlock-free routing scheme, closedqueueing network, message blocking, message pipelining, arbitrary source-destinationprobability distribution, 2D networks, shared-memory traffic, two dimensional network, performance evaluation, performance analysis, concurrency control, probability, multiprocessor interconnection networks, queueing theory, wormhole routing, network routing, virtual channels, deterministic routing, k-ary n-cube networks, deadlock-free routing algorithm, performance issues |
38 | Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi |
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness |
37 | Andreas Lankes, Thomas Wild, Andreas Herkersdorf, Sören Sonntag, Helmut Reinig |
Comparison of Deadlock Recovery and Avoidance Mechanisms to Approach Message Dependent Deadlocks in On-chip Networks. |
NOCS |
2010 |
DBLP DOI BibTeX RDF |
message dependent deadlocks, strict ordering, Network-on-chip, deadlock avoidance, deadlock recovery |
37 | Eric Koskinen, Maurice Herlihy |
Dreadlocks: efficient deadlock detection. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection |
37 | David Gelernter |
A DAG-Based Algorithm for Prevention of Store-and-Forward Deadlock in Packet Networks. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
store-and-forward deadlock, network operating systems, deadlock prevention, packet networks, Communication software |
37 | Joseph Y.-T. Leung, Edmund K. Lai |
On Minimum Cost Recovery from System Deadlock. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
average-case performance, minimum cost deadlock recovery, system deadlock, Approximation algorithms, time complexity, NP-complete problems, worst case performance |
35 | Ju Gyun Kim |
High Performance Cycle Detection Scheme for Multiprocessing Systems. |
HiPC |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Qinqin Ni, Weizhen Sun, Sen Ma |
Deadlock Detection Based on Resource Allocation Graph. |
IAS |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Naiqi Wu, MengChu Zhou, ZhiWu Li 0001 |
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
34 | ZhiWu Li 0001, MengChu Zhou, Naiqi Wu |
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Part C |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Zhiwu Li 0001, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Dong Xiang, Yi Pan 0001, Qi Wang, Zhen Chen |
Deadlock-Free Fully Adaptive Routing in 2-Dimensional Tori Based on New Virtual Network Partitioning Scheme. |
ICDCS |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Wei Huang, Deyu Qi 0001 |
A Local Deadlock Detection and Resolution Algorithm for Process Networks. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Dong Xiang, Qi Wang, Yi Pan 0001 |
Deadlock-Free Fully Adaptive Routing in Tori Based on a New Virtual Network Partitioning Scheme. |
ICPP |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Murat Uzam, MengChu Zhou |
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Kohei Suenaga, Naoki Kobayashi 0001 |
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
|
34 | Hamid Reza Golmakani, James K. Mills, Beno Benhabib |
Deadlock-Free Scheduling and Control of Flexible Manufacturing Cells Using Automata Theory. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Christian F. Orellana, Cristian Ruz, Yadran Eterovic |
Self-stabilizing Deadlock Detection Under the OR Requirement Model. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Xiaobin Li, Jean-Luc Gaudiot |
Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Chuanfu Zhang, Yunsheng Liu, Tong Zhang 0008, Yabing Zha, Kedi Huang |
A Deadlock Prevention Approach based on Atomic Transaction for Resource Co-allocation. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Saddek Bensalem, Klaus Havelund |
Dynamic Deadlock Analysis of Multi-threaded Programs. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Sven-Arne Reinemo, Tor Skeie |
Ethernet as a Lossless Deadlock Free System Area Network. |
ISPA |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Sukhamay Kundu |
Deadlock-Free Distributed Relaxed Mutual-Exclusion Without Revoke-Messages. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jonghun Park |
A deadlock and livelock free protocol for decentralized Internet resource coallocation. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
34 | ZhiWu Li 0001, MengChu Zhou |
An Effective FMS Deadlock Prevention Policy based on Elementary Siphons. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Zhonghua Huang, Zhiming Wu |
Deadlock-free Scheduling Method for Automated Manufacturing Systems Using Genetic Algorithm and Petri Nets. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Zhiwu Li 0001, Weixian Cao, Anrong Wang |
Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Zhiwu Li 0001, Haibin Xia, Anrong Wang |
An effective deadlock prevention policy using elementary siphons of Petri nets for FMS. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Yu Ru, Weimin Wu, Hongye Su, Jian Chu |
State feedback based deadlock-free supervisor synthesis for bounded Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Doddaballapur Narasimha-Murthy Jayasimha, Loren Schwiebert, D. Manivannan 0001, Jeff A. May |
A foundation for designing deadlock-free routing algorithms in wormhole networks. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
Knowledge complexity, statistical difference, zero knowledge, proof systems |
34 | Daniela Besozzi, Giancarlo Mauri, Claudio Zandron |
Deadlock Decidability in Partial Parallel P Systems. |
DNA |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Jonghun Park |
A Scalable Protocol for Deadlock and Livelock Free Co-Allocation of Resources in Internet Computing. |
SAINT |
2003 |
DBLP DOI BibTeX RDF |
|
34 | D. P. Simpson, J. S. Reeve |
Deadlock Free Specification Based on Local Process Properties. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Gang Xu, Zhiming Wu |
A Kind of Deadlock-free Scheduling Method Based on Petri Net. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Bruce Ashfield, Dwight Deugo, Franz Oppacher, Tony White |
Distributed Deadlock Detection in Mobile Agent Systems. |
IEA/AIE |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel |
Deadlock-Free Routing Based on Ordered Links. |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Lorenzo Fernández Maimó, José M. García 0001, Rafael Casado |
On Deadlock Frequency during Dynamic Reconfiguration in NOWs. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Jun Zhou, Kuo-Chung Tai |
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. |
ISSRE |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Ahmad Khonsari, Hamid Sarbazi-Azad, Mohamed Ould-Khaoua |
Analysis of True Fully Adaptive Routing with Software-Based Deadlock Recovery. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Ambrose Kofi Laing, Robert Cypher, Christian A. Duncan |
On the Flattest Common Supersequence Method for Deadlock-Free Routing in Arbitrary Networks. |
Theory Comput. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
34 | José Carlos Sancho, Antonio Robles, José Duato |
A New Methodology to Computer Deadlock-Free Routing Tables for Irregular Networks. |
CANPC |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Naoki Kobayashi 0001 |
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 2813 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|