Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems
Journal of the ACM (JACM)
A Linear Time Algorithm for Deciding Subject Security
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A lattice model of secure information flow
Communications of the ACM
Security Kernel validation in practice
Communications of the ACM
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
Protection in operating systems
Communications of the ACM
Communications of the ACM
Reduction: a method of proving properties of parallel programs
Communications of the ACM
Synchronization in actor systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A semantic model for parallel systems with scheduling
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A description of path expressions by Petri nets
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The architecture of concurrent programs
The architecture of concurrent programs
A Discipline of Programming
A generalized queue scheme for process synchronization and communication
ACM SIGARCH Computer Architecture News
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
The TYPESET-10 Message Exchange Facility: a case study in systemic design
ACM SIGOPS Operating Systems Review
Microprogrammed implementation of a scheduler
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
A basis for the design of Operating System Command and Response Languages
ACM '76 Proceedings of the 1976 annual conference
An L=S criterion for optimal multiprogramming
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
The Multics kernel design project
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Proving multilevel security of a system design
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Synchronization with eventcounts and sequencers (Extended Abstract)
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Automatic and general solution to the adaptation of programs in a paging environment
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Verification of fairness in an implementation of monitors
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Verification of a monitor specification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
RIG, rochester"s intelligent gateway: System overview
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An experiment in program restructuring for performance enhancement
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software development and proofs of multi-level security
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
Structured specification of a Security Kernel
Proceedings of the international conference on Reliable software
A verifiable protection system
Proceedings of the international conference on Reliable software
Synchronization: Is a synthesis of the problems possible?
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
The problem of nested monitor calls
ACM SIGOPS Operating Systems Review
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
MINIMIZING THE NAMING FACILITIES REQUIRING PROTECTION IN A COMPUTING UTILITY
MINIMIZING THE NAMING FACILITIES REQUIRING PROTECTION IN A COMPUTING UTILITY
A SECURE AND FLEXIBLE MODEL OF PROCESS INITIATION FOR A COMPUTER UTILITY
A SECURE AND FLEXIBLE MODEL OF PROCESS INITIATION FOR A COMPUTER UTILITY
PROCESSOR MULTIPLEXING IN A LAYED OPERATING SYSTEM
PROCESSOR MULTIPLEXING IN A LAYED OPERATING SYSTEM
Synchronization of concurrent processes.
Synchronization of concurrent processes.
Analysis of deadlock avoidance schemes and the resource utilization for non-preemptible resources. (parts i and ii).
A computer oriented cryptanalytic solution for multiple substitution enciphering systems.
A computer oriented cryptanalytic solution for multiple substitution enciphering systems.
Modelling of concurrent control structures and parallel processing.
Modelling of concurrent control structures and parallel processing.
A multiple subsystem simulator of processor scheduling.
A multiple subsystem simulator of processor scheduling.
Cops--a protection mechanism for computer systems.
Cops--a protection mechanism for computer systems.
Program reference behavior and dynamic memory management.
Program reference behavior and dynamic memory management.
Analysis of scheduling algorithms for a model of a multiprocessor computer system.
Analysis of scheduling algorithms for a model of a multiprocessor computer system.
Operating system specification using very high level dictions.
Operating system specification using very high level dictions.
Models of memory management techniques for time-sharing systems.
Models of memory management techniques for time-sharing systems.
Performance measurements of the scheduler in the pdp-10 tenex operating system.
Performance measurements of the scheduler in the pdp-10 tenex operating system.
Scheduling strategies for periodic jobs in a multiprocessor environment.
Scheduling strategies for periodic jobs in a multiprocessor environment.
Towards a theory for the analysis and synthesis of systems exhibiting concurrency.
Towards a theory for the analysis and synthesis of systems exhibiting concurrency.
Towards a distributed architecture for os/360.
Towards a distributed architecture for os/360.
Secure information flow in computer systems.
Secure information flow in computer systems.
A new computer cryptography: the expanded character set (ecs) cipher.
A new computer cryptography: the expanded character set (ecs) cipher.
Operating system design for a network computer.
Operating system design for a network computer.
On computational security.
Decompilation and the transfer of mini-computer operating systems.
Decompilation and the transfer of mini-computer operating systems.
Economically effective deadline scheduling in multiprogramming systems.
Economically effective deadline scheduling in multiprogramming systems.
Use of program structure information in virtual memory management.
Use of program structure information in virtual memory management.
Some execution-time properties of optimal schedules in multiprocessor systems.
Some execution-time properties of optimal schedules in multiprocessor systems.
System design of the distributed loop computer network (dlcn).
System design of the distributed loop computer network (dlcn).
Problems, mechanisms and solutions.
Problems, mechanisms and solutions.
A verified specification of a hierarchical operating system.
A verified specification of a hierarchical operating system.
A study of program and memory policy behaviour.
A study of program and memory policy behaviour.
Performance analysis of multilevel paging hierarchies.
Performance analysis of multilevel paging hierarchies.
An analysis of rotational storage access scheduling in a multiprogrammed information retrieval system.
Dynamic storage allocation techniques.
Dynamic storage allocation techniques.
Program behavior and load dependent system performance.
Program behavior and load dependent system performance.
Verification of systems programs.
Verification of systems programs.
On the problem of dynamic memory management.
On the problem of dynamic memory management.
Portability and adaptability in operating system design.
Portability and adaptability in operating system design.
Dynamic task scheduling in a shared resource multiprocessor.
Dynamic task scheduling in a shared resource multiprocessor.
Dynamic memory management algorithms in a paged memory environment.
Dynamic memory management algorithms in a paged memory environment.
A high level computer control language.
A high level computer control language.
Correctness and modularity in asynchronous systems.
Correctness and modularity in asynchronous systems.
Axiomatic proof techniques for parallel programs.
Axiomatic proof techniques for parallel programs.
Context approach to protection.
Context approach to protection.
Virtual machine multiprogramming and security.
Virtual machine multiprogramming and security.
A performance study of the tenex operating system's pager module.
A performance study of the tenex operating system's pager module.
A unified treatment of graph-theoretic models for parallel computation.
A unified treatment of graph-theoretic models for parallel computation.
Computer storage hierarchy models and analysis.
Computer storage hierarchy models and analysis.
Scheduling periodic-time - critical jobs on single processor and multiprocessor computing systems.
Scheduling periodic-time - critical jobs on single processor and multiprocessor computing systems.
Performance analysis of cache memories
Performance analysis of cache memories
Modeling the write behavior of computer programs.
Modeling the write behavior of computer programs.
Design tradeoffs for network communications.
Design tradeoffs for network communications.
On the design and verification of operating systems.
On the design and verification of operating systems.
A methodology for data base design in a paging environment.
A methodology for data base design in a paging environment.
A Guide To Operating Systems Literature
ACM SIGOPS Operating Systems Review
Hi-index | 0.00 |