The structure of the “THE”-multiprogramming system
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
A Specification and Verification Method for Preventing Denial of Service
IEEE Transactions on Software Engineering
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
Petri Net based simulation of controls for a computer-integrated assembly cell
WSC '92 Proceedings of the 24th conference on Winter simulation
A display and analysis tool for process-resource graphs
ACM SIGOPS Operating Systems Review
An Extended Banker's Algorithm for Deadlock Avoidance
IEEE Transactions on Software Engineering
Testing Deadlock-Freedom of Computer Systems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Design of Minimum-Cost Deadlock-Free Systems
Journal of the ACM (JACM)
Parallel resource allocation algorithms on macro-pipelined architectures
CSC '91 Proceedings of the 19th annual conference on Computer Science
ACM Computing Surveys (CSUR)
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Game interpretation of the deadlock avoidance problem
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
A large semaphore based operating system
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
Comment on deadlock preventive method
Communications of the ACM
A practical approach to managing resources and avoiding deadlocks
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
Comments on prevention of system deadlocks
Communications of the ACM
Data base decomposition in a hierarchical computer system
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Deadlock detection and resolution in a CODASYL based data management system
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
A practical deadlock avoidance algorithm for data base systems
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
A machine-oriented resource management architecture
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Computer Modules: An architecture for large digital modules
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
An interactive design automation system
DAC '73 Proceedings of the 10th Design Automation Workshop
Protocol considerations for software controlled access methods in distributed data bases
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Some deadlock properties of computer systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
On-the-fly deadlock prevention
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
On the probability of deadlock in computer systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Avoiding deadlock in distributed data bases
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Deadlock prevention in message switched networks
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Principles of computer system organization
SIGCSE '70 Proceedings of the first SIGCSE technical symposium on Education in computer science
Flow control in a resource-sharing computer network
Proceedings of the ACM second symposium on Problems in the optimizations of data communications systems
Schedule—constrained job scheduling in a multiprogrammed computer system
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 2
Database sharing: A study of interference, roadblock and deadlock
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
A user-controlled synchronization method
ACM SIGOPS Operating Systems Review
Some deadlock properties of computer systems
ACM SIGOPS Operating Systems Review
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
ACM SIGOPS Operating Systems Review
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
A deadlock detection and recovery algorithm using the formalism of a directed graph matrix
ACM SIGOPS Operating Systems Review
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Principles of computer system organization
ACM SIGCSE Bulletin
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
Reply to a paper by A. N. Habermann on the programming language Pascal
ACM SIGPLAN Notices
Modeling train movements through complex rail networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM SIGMIS Database
The classification of deadlock prevention and avoidance is erroneous
ACM SIGOPS Operating Systems Review
Simulation based deadlock analysis for system level designs
Proceedings of the 42nd annual Design Automation Conference
Modified-truncation finite difference schemes
Journal of Computational Physics
A novel O(n) parallel banker's algorithm for System-on-a-Chip
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Efficient distributed deadlock avoidance with liveness guarantees
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip
IEEE Transactions on Parallel and Distributed Systems
Models and algorithms for deadlock in computer systems
ACM SIGOPS Operating Systems Review
Deadlock-Free Systems for a Bounded Number of Processes
IEEE Transactions on Computers
A Theory of Asynchronous Control Networks
IEEE Transactions on Computers
Record of the Project MAC conference on concurrent systems and parallel computation
A study of response times under various deadlock algorithms and job schedulers
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Operating systems architecture
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
Modeling, measurement and computer power
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
The formulary model for flexible privacy and access controls
AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
A framework for hardware-software tradeoffs in the design of fault-tolerant computers
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
LOGOS and the software engineer
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Project SUE as a learning experience
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity
Runtime Verification
Database sharing: an efficient mechanism for supporting concurrent processes
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Determining deadlock exposure for a class of store and forward communication networks
IBM Journal of Research and Development
Performance analysis of suspend locks in operating systems
IBM Journal of Research and Development
A family of distributed deadlock avoidance protocols and their reachable state spaces
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
On efficient distributed deadlock avoidance for real-time and embedded systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A formal specification and verification method for the prevention of denial of service
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Distributed priority inheritance for real-time and embedded systems
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Thread allocation protocols for distributed real-time and embedded systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Deadlock avoidance, non-linearity and games
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 31.58 |