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 lattice model of secure information flow
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
Communications of the ACM
Formal requirements for virtualizable third generation architectures
Communications of the ACM
A first order approximation to the optimum checkpoint interval
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
A note on the confinement problem
Communications of the ACM
Dynamic verification of operating system decisions
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Introduction to Operation Systems Design
Introduction to Operation Systems Design
Time Sharing Computer Systems
Principles of Systems Programming
Principles of Systems Programming
The Logical Design of Operating Systems
The Logical Design of Operating Systems
Operating Systems
ACM SIGOPS Operating Systems Review
The PDP-11 virtual machine architecture: A case study
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Error resynchronization in producer-consumer systems
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Protection in the Hydra Operating System
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
A comment on the confinement problem
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
A verifiable protection system
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
The multics system: an examination of its structure
The multics system: an examination of its structure
Design of a Computer—The Control Data 6600
Design of a Computer—The Control Data 6600
System = program + users + law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Authentication Mechanisms in Microprocessor-Based Local Area Networks
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Supporting flexible roles in a shared space
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Ensuring integrity by adding obligations to privileges
ICSE '85 Proceedings of the 8th international conference on Software engineering
Surveyor's Forum: An Amplification on Hydra's Capabilities
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Corrigendum: “A Sampler of Formal Definitions”
ACM Computing Surveys (CSUR)
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Recovery Techniques for Database Systems
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
Medusa: an experiment in distributed operating system structure
Communications of the ACM
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static checking of interprocess communication in ECSP
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
On the semantic structure of information - A proposal of the abstract storage architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Two implementations of the 'FLEX' machine
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Architectural implications of abstract data type implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
An approach to a fault-tolerant system architecture
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Design and principles of a fault tolerant system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A domain structure for distributed computer systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
iMAX: A multiprocessor operating system for an object-based computer
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A message system supporting fault tolerance
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Object oriented operating systems: An emerging design methodology
ACM '82 Proceedings of the ACM '82 conference
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
A hardware implementation of capability-based addressing
ACM SIGOPS Operating Systems Review
Protection at the micromachine level
ACM SIGARCH Computer Architecture News
Improving the reliability of commodity operating systems
ACM Transactions on Computer Systems (TOCS)
Encyclopedia of Computer Science
Capability Based Tagged Architectures
IEEE Transactions on Computers
Design of a high level language machine
ACM SIGARCH Computer Architecture News
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Active tensegrity: A control framework for an adaptive civil-engineering structure
Computers and Structures
Multi-resource Load Optimization Strategy in Agent-Based Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Intel iAPX 432: VLSI building blocks for a fault-tolerant computer
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Tamper-Tolerant Software: Modeling and Implementation
IWSEC '09 Proceedings of the 4th International Workshop on Security: Advances in Information and Computer Security
A spatial and temporal partitioning approach for dependable automotive systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
A novel strategy for multi-resource load balancing in agent-based systems
International Journal of Intelligent Information and Database Systems
CuriOS: improving reliability through operating system structure
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Exception handling in the choices operating system
Advanced Topics in Exception Handling Techniques
A feather-weight application isolation model
INTRUST'09 Proceedings of the First international conference on Trusted Systems
Dependable and Historic Computing
Behavioural typing for safe ambients
Computer Languages, Systems and Structures
Software development for reliable software systems
Journal of Systems and Software
| Hi-index | 0.02 |