The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Journal of the ACM (JACM)
Supervisory and Monitor Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
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)
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
TENEX, a paged time sharing system for the PDP - 10
Communications of the ACM
An operating system based on the concept of a supervisory computer
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
A system for interprocess communication in a resource sharing computer network
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
On the interface between computers and data communications systems
Communications of the ACM
Communications of the ACM
Further comments on Dijkstra's concurrent programming control problem
Communications of the ACM
Protection in programming languages
Communications of the ACM
An overview of the ISPL computer systems design
Communications of the ACM
A practical approach to managing resources and avoiding deadlocks
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
A note on the confinement problem
Communications of the ACM
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Process management and resource sharing in the multiaccess system in ESOPE
Communications of the ACM
An interrupt based organization for management information systems
Communications of the ACM
Resource management for a medium scale time-sharing operating 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
Protection in an information processing utility
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
Additional comments on a problem in concurrent programming control
Communications of the ACM
On multiprogramming, machine coding, and computer organization
Communications of the ACM
On simulating networks of parallel processes in which simultaneous events may occur
Communications of the ACM
Synchronization in a parallel-accessed data base
Communications of the ACM
A multiprogramming monitor for small machines
Communications of the ACM
The simulation of time sharing systems
Communications of the ACM
SHARER, a time sharing system for the CDC 6600
Communications of the ACM
A system organization for resource allocation
Communications of the ACM
Implementations of the SHARER2 time-sharing system
Communications of the ACM
Synchronizing processors with memory-content-generated interrupts
Communications of the ACM
Procedure-oriented language statements to facilitate parallel processing
Communications of the ACM
Comments on a problem in concurrent programming control
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Communications of the ACM
On facilitating parallel and multiprocessing in ALGOL
Communications of the ACM
A note on “Program structures for parallel processing”
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Program structures for parallel processing
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Time Sharing Computer Systems
Operating system principles
Proper termination of flow-of-control in programs involving concurrent processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '69 Proceedings of the 1969 24th national conference
Interprocess communication in real-time systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Limitations of Dijkstra's Semaphore Primitives and Petri nets
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Semantic aspects of concurrent processes
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
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
The grok project data structures and process communication
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
An environment for an operating system
ACM '64 Proceedings of the 1964 19th ACM national conference
Multi-processor software lockout
ACM '68 Proceedings of the 1968 23rd ACM national conference
A user-controlled synchronization method
ACM SIGOPS Operating Systems Review
A multiprogramming system for process control
ACM SIGOPS Operating Systems Review
Handling difficult faults in operating systems
ACM SIGOPS Operating Systems Review
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
ACM SIGOPS Operating Systems Review
Process synchronization without long-term interlock
ACM SIGOPS Operating Systems Review
IMPLEMENTING MULTI-PROCESS PRIMITIVES IN A MULTIPLEXED COMPUTER SYSTEM
IMPLEMENTING MULTI-PROCESS PRIMITIVES IN A MULTIPLEXED COMPUTER SYSTEM
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY
COORDINATION OF ASYNCHRONOUS EVENTS
COORDINATION OF ASYNCHRONOUS EVENTS
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSTEMS
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSTEMS
A survey of models for parallel computing
A survey of models for parallel computing
Communicating semaphores
Parallel programming
Control structures for programming languages
Control structures for programming languages
The design and construction of flexible and efficient interactive programming systems
The design and construction of flexible and efficient interactive programming systems
Synchronization and simulation in operating system construction
Synchronization and simulation in operating system construction
Multiprocessors, semaphores, and a graph model of computation
Multiprocessors, semaphores, and a graph model of computation
A model for deadlock-free resource allocation
A model for deadlock-free resource allocation
Folds, a declarative formal language definition system
Folds, a declarative formal language definition system
Process control and communication
SOSP '69 Proceedings of the second symposium on Operating systems principles
Structure of multiple activity algorithms
SOSP '69 Proceedings of the second symposium on Operating systems principles
The multics interprocess communication facility
SOSP '69 Proceedings of the second symposium on Operating systems principles
A new technique for data monitoring
ACM SIGPLAN Notices
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
The Compatible Time-Sharing System: A Programmer's Guide
The Compatible Time-Sharing System: A Programmer's Guide
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
Survey of recent operating systems research, designs and implementations
ACM SIGOPS Operating Systems Review
PrIMe: A methodology for developing provenance-aware applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |