ACM Computing Surveys (CSUR)
The nucleus of a multiprogramming system
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
A scheduling philosophy for multiprocessing systems
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
On deadlock in computer systems
On deadlock in computer systems
A model for deadlock-free resource allocation
A model for deadlock-free resource allocation
Integrated concurrency control and recovery mechanisms: design and performance evaluation
ACM Transactions on Database Systems (TODS)
The geometry of semaphore programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection
IEEE Transactions on Software Engineering
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
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
Compile-time analysis of communicating processes
ICS '92 Proceedings of the 6th international conference on Supercomputing
A lock method for KBMSs using abstraction relationships' semantics
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Obtaining sequential efficiency for concurrent object-oriented languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A display and analysis tool for process-resource graphs
ACM SIGOPS Operating Systems Review
Distributed deadlock detection in Ada run-time environments
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Detecting data races in Cilk programs that use locks
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Locks with constrained sharing (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An Extended Banker's Algorithm for Deadlock Avoidance
IEEE Transactions on Software Engineering
Multiversion concurrency control—theory and algorithms
ACM Transactions on Database Systems (TODS)
Characterization of Deadlocks in k-ary n-Cube Networks
IEEE Transactions on Parallel and Distributed Systems
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)
A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks
IEEE Transactions on Parallel and Distributed Systems
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Game interpretation of the deadlock avoidance problem
Communications of the ACM
Routing in the bidirectional shufflenet
IEEE/ACM Transactions on Networking (TON)
A novel parallel deadlock detection algorithm and architecture
Proceedings of the ninth international symposium on Hardware/software codesign
A practical deadlock avoidance algorithm for data base systems
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
A framework for understanding distributed (deadlock detection) algorithms
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
Efficient Detection and Resolution of Generalized Distributed Deadlocks
IEEE Transactions on Software Engineering
A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Fast Algorithm for Detecting Distributed Deadlocks in the OR Request Model
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Progressive Approach to Handling Message-Dependent Deadlock in Parallel Computer Systems
IEEE Transactions on Parallel and Distributed Systems
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Software engineering and simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
On-the-fly deadlock prevention
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Concurrency control algorithms for multiversion database systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS 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
On the probability of deadlock in computer systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
A short discussion of interprocess communication in the sue/360/370 operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Language features for process interaction
Proceedings of an ACM conference on Language design for reliable software
A model of the performance of a rollback algorithm
ACM '79 Proceedings of the 1979 annual conference
Avoiding deadlock in distributed data bases
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Well—formed models for discrete simulation
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 2
An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing Systems
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
Issues in the design and use of a distributed file system
ACM SIGOPS Operating Systems Review
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
ACM SIGOPS Operating Systems Review
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
ACM SIGMOD Record
A novel deadlock avoidance algorithm and its hardware implementation
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model
IEEE Transactions on Software Engineering
An o(min(m, n)) parallel deadlock detection algorithm
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A novel O(n) parallel banker's algorithm for System-on-a-Chip
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip
IEEE Transactions on Parallel and Distributed Systems
Sharing Variables in Distributed Memory
Fundamenta Informaticae
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing
Pulse: a dynamic deadlock detection mechanism using speculative execution
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
A computer architecture for large (distributed) data bases
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Issues in distributed data base management systems: a technical overview
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
A resource class independent deadlock detection algorithm
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Deadlock-Free Systems for a Bounded Number of Processes
IEEE Transactions on Computers
On Parallel Stochastic Simulation of Diffusive Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Database sharing: an efficient mechanism for supporting concurrent processes
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
A new minicomputer/multiprocessor for the ARPA network
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Coupling small computers for performance enhancement
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Defining defects, errors, and service degradations
ACM SIGSOFT Software Engineering Notes
System proposal for preventing, detecting and avoiding deadlocks in modern operating system
EC'09 Proceedings of the 10th WSEAS international conference on evolutionary computing
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Hierarchical planning in a distributed environment
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Information Sciences: an International Journal
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Cultural support for improvisation
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On efficient distributed deadlock avoidance for real-time and embedded systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Journal of Parallel and Distributed Computing
A new approach to deadlock avoidance in embedded system
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Design and analysis of adaptive processor
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Self-stabilizing deadlock detection under the OR requirement model
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
High performance cycle detection scheme for multiprocessing systems
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Priority inversion with fungible resources
ACM SIGAda Ada Letters
Simulation-based deadlock avoidance and optimization in bidirectional AGVS
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Parameterized verification of deadlock freedom in symmetric cache coherence protocols
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
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
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
Supporting TCP connections in wormhole routing and ATM networks
Computer Communications
An “Active Server” model for the performance of parallel programs written using rendezvous
Journal of Systems and Software
Instant Multiunit Resource Hardware Deadlock Detection Scheme for System-on-Chips
ACM Transactions on Embedded Computing Systems (TECS)
Counterexample explanation by anomaly detection
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Sharing Variables in Distributed Memory
Fundamenta Informaticae
Parallel computation of continuous Petri nets based on hypergraph partitioning
The Journal of Supercomputing
One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Preventing deadlocks and starvation in distributed object oriented systems
Computers and Electrical Engineering
Distributed explicit state model checking of deadlock freedom
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.02 |