ACM Computing Surveys (CSUR)
Comments on prevention of system deadlocks
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
The alchemy model: a model for homogeneous and heterogeneous distributed computing system
ACM SIGOPS Operating Systems Review
Design and realization of MLM: a multilingual machine
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
Low contention semaphores and ready lists
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
Reduction: a new method of proving properties of systems of processes
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The invention of concurrent programming
The origin of concurrent programming
An annotated bibliography on microprogramming: late 1969 -- early 1972
MICRO 5 Conference record of the 5th annual workshop on Microprogramming
Heart: An operating system nucleus machine implemented by firmware
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
EASY—an operating system for the QM-1
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
Hardware support for inter-process communication and processor sharing
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Microinstruction sequencing and structured microprogramming
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Architecture of virtual machines
Proceedings of the workshop on virtual computer systems
A hardware laboratory for computer architecture research
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Operating system projects for undergraduates
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Microprogrammed implementation of a scheduler
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
Architecture of a real time operating system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Data flow, abstraction levels and specifications for communications switching systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
SPIL: A language for construction of reliable system software
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
An operating system for the INTEL MDS system: the kernel
ACM SIGMINI Newsletter
History of programming languages---II
Microprogramming: a pedagogical tool
ACM SIGMICRO Newsletter
ACM SIGMICRO Newsletter
Firmware/hardware support for operating systems: principles and selected history
ACM SIGMICRO Newsletter
A layered approach to simplified access control in virtualized systems
ACM SIGOPS Operating Systems Review
The Types and Interactions of Vertical Migrations of Functions in a Multilevel Interpretive System
IEEE Transactions on Computers
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
Multiple Microprocessors with Common Main and Control Memories
IEEE Transactions on Computers
The application of microprogramming technology
ACM SIGMICRO Newsletter
A design methodology for reliable software systems
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
LOGOS and the software engineer
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Project SUE as a learning experience
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Automated control of concurrency in multi-user hierarchical information systems
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Architecture of virtual machines
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Operating system design considerations for microprogrammed mini-computer satellite systems
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Hi-index | 48.27 |
The Venus Operating System is an experimental multiprogramming system which supports five or six concurrent users on a small computer. The system was produced to test the effect of machine architecture on complexity of software. The system is defined by a combination of microprograms and software. The microprogram defines a machine with some unusual architectural features; the software exploits these features to define the operating system as simply as possible. In this paper the development of the system is described, with particular emphasis on the principles which guided the design.