Distributed deadlock detection algorithm
ACM Transactions on Database Systems (TODS)
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A distributed algorithm for detecting resource deadlocks in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
DEADLOCK DETECTION IN COMPUTER NETWORKS
DEADLOCK DETECTION IN COMPUTER NETWORKS
Two approaches to deadlock in distributed systems
Two approaches to deadlock in distributed systems
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Local distributed deadlock detection by knot detection
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
The precedence-assignment model for distributed databases concurrency control algorithms
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Detection of stable properties in distributed applications
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Parallel Discrete Event Simulation Using Shared Memory
IEEE Transactions on Software Engineering
Semantic lock models in object-oriented distributed systems and deadlock resolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A Queueing Network Model for a Distributed Database Testbed System
IEEE Transactions on Software Engineering
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
IEEE Transactions on Software Engineering
Sarek: a window system interface for object-oriented concurrent programming languages
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Resolution of Deadlocks in Object-Oriented Distributed Systems
IEEE Transactions on Computers
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection
IEEE Transactions on Software Engineering
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling Periodic Jobs that Allow Imprecise Results
IEEE Transactions on Computers
An Optimistic Locking Technique for Concurrency Control in Distributed Databases
IEEE Transactions on Software Engineering
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
Self-stabilizing deadlock detection algorithms
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The derivation of distributed termination detection algorithms from garbage collection schemes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deadlock prevention in a distributed database system
ACM SIGMOD Record
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generalized carrier-null method for conservative parallel simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Performance evaluation of a new distributed deadlock detection algorithm
ACM SIGMOD Record
Optimal Centralized Algorithms for Store-And-Forward Deadlock Avoidance
IEEE Transactions on Computers
IEEE Transactions on Parallel and Distributed Systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Detection and resolution of deadlocks in distributed database systems
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Distributed deadlock detection in Ada run-time environments
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Replication and consistency: being lazy helps sometimes
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Distributed Graph Algorithm for the Detection of Local Cycles and Knots
IEEE Transactions on Parallel and Distributed Systems
A provably correct, non-deadlocking parallel event simulation algorithm
ANSS '91 Proceedings of the 24th annual symposium on Simulation
En route to more efficient conservative parallel event simulation
ANSS '92 Proceedings of the 25th annual symposium on Simulation
A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks
IEEE Transactions on Parallel and Distributed Systems
The Performance of an Efficient Distributed Synchronization and Recovery Algorithm
The Journal of Supercomputing
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model
IEEE Transactions on Software Engineering
Cooperating physical robots: a lesson in playing robotic soccer
Mutli-agents systems and applications
Parallel discrete-event simulation applications
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Locking Performance in a Shared Nothing Parallel Database Machine
IEEE Transactions on Knowledge and Data Engineering
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Distributed Deadlock Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
Repeated Computation of Global Functions in a Distributed Environment
IEEE Transactions on Parallel and Distributed Systems
A Fault-Tolerant Distributed Deadlock Detection Algorithm
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Cooperating Physical Robots: A Lesson in Playing Robotic Soccer
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
A Structural Embedding of Ocsid in PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Termination Detection of Distributed Algorithms by Graph Relabelling Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Fast Algorithm for Detecting Distributed Deadlocks in the OR Request Model
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
The VLDB Journal — The International Journal on Very Large Data Bases
Distributed task and memory management
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A distributed algorithm for generalized deadlock detection
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Non-blocking concurrency control in distributed database systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Resolving Distributed Deadlocks in the OR Request Model
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Deadlock avoidance in loosely-coupled multiprocessors with finite buffer pools
ACM SIGOPS Operating Systems Review
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A Safe Algorithm for Resolving OR Deadlocks
IEEE Transactions on Software Engineering
Efficient detection of a class of stable properties
Distributed Computing
Strong stable properties in distributed systems
Distributed Computing
Stochastic analysis of distributed deadlock scheduling
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Coordination middleware for decentralized applications in dynamic networks
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
On Optimal Deadlock Detection Scheduling
IEEE Transactions on Computers
Efficient detection and resolution of OR deadlocks in distributed systems
Journal of Parallel and Distributed Computing
Neural, Parallel & Scientific Computations
A Snapshot Algorithm for Mobile Ad Hoc Networks
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
MATLAB®: a language for parallel computing
International Journal of Parallel Programming
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Fabric: a platform for secure distributed computation and storage
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
Electronic Notes in Theoretical Computer Science (ENTCS)
Deadlock avoidance for streaming computations with filtering
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Reciprocity and barter in peer-to-peer systems
INFOCOM'10 Proceedings of the 29th conference on Information communications
Fast detection and resolution of generalized distributed deadlocks
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
Journal of Parallel and Distributed Computing
Distributed and Parallel Databases
Distributed deadlock handling for resource allocation in smart spaces
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
The generalized deadlock resolution problem
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
M-Guard: a new distributed deadlock detection algorithm based on mobile agent technology
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Monitoring stable properties in dynamic peer-to-peer distributed systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Self-stabilizing deadlock detection under the OR requirement model
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
On time complexity of distributed algorithms for generalized deadlock detection
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Quick detection of difficult bugs for effective post-silicon validation
Proceedings of the 49th Annual Design Automation Conference
Efficient detection and resolution of deadlocks in distributed databases
Computer Communications
mTags: augmenting microkernel messages with lightweight metadata
ACM SIGOPS Operating Systems Review
MC2DR: multi-cycle deadlock detection and recovery algorithm for distributed systems
HPCC'07 Proceedings of the Third international conference on High Performance Computing and Communications
Overcoming post-silicon validation challenges through quick error detection (QED)
Proceedings of the Conference on Design, Automation and Test in Europe
A survey on team strategies in robot soccer: team strategies and role description
Artificial Intelligence Review
Hi-index | 0.03 |