A Combinatorial Problem Which Is Complete in Polynomial Space
Journal of the ACM (JACM)
Testing Deadlock-Freedom of Computer Systems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
Game interpretation of the deadlock avoidance problem
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Comment on deadlock preventive method
Communications of the ACM
Comments on prevention of system deadlocks
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Complexity of decision problems based on finite two-person perfect-information games
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Avoiding deadlock in distributed data bases
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A model for deadlock-free resource allocation
A model for deadlock-free resource allocation
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Survey of closed queueing networks with blocking
ACM Computing Surveys (CSUR)
An Extended Banker's Algorithm for Deadlock Avoidance
IEEE Transactions on Software Engineering
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Code aware resource management
Proceedings of the 5th ACM international conference on Embedded software
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Code aware resource management
Formal Methods in System Design
| Hi-index | 0.00 |