Communications of the ACM
Monitors: an operating system structuring concept
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
BLISS: a language for systems programming
Communications of the ACM
Protection in an information processing utility
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
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Operating system principles
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Policy/mechanism separation in Hydra
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
Structured programming
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Distributed shared memory in a loosely coupled distributed system
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Performance Properties of Vertically Partitioned Object-Oriented Systems
IEEE Transactions on Software Engineering
Lightweight shared objects in a 64-bit operating system
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Sharing and protection in a single-address-space operating system
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Supporting distributed applications: experience with Eden
Proceedings of the tenth ACM symposium on Operating systems principles
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
Reflections on an operating system design
Communications of the ACM
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An extensible file system for hydra
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Price/performance comparison of C.mmp and the PDP-10
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Policy/mechanism separation in Hydra
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
The architecture of the Eden system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The design of an object oriented architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Message repository definitional facility: An architectural model for interprocess communication
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Multiprocessor software design
ACM '80 Proceedings of the ACM 1980 annual conference
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
Staged circuit switching for network computers
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Heap protection for Java virtual machines
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Experience distributing objects in an SMMP OS
ACM Transactions on Computer Systems (TOCS)
Java heap protection for debugging native methods
Science of Computer Programming
Hi-index | 0.02 |
An overview of the hardware and philosophic context in which the Hydra design was done is discussed. The construction methodology is discussed together with some data which suggests the success of this methodological approach.