The design of the Venus operating system
Communications of the ACM
An overview of the ISPL computer systems design
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Communications of the ACM
Operating Systems
Architecture of virtual machines
Proceedings of the workshop on virtual computer systems
Bell Labs microcode for the IBM 360/67
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
The PDP-11 virtual machine architecture: A case study
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
MEMBERS - a Microprogrammed Experimental Machine with a Basic Executive for Real-time Systems
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
The significance of microprogramming
ACM SIGMICRO Newsletter
An overview of the MATHILDA system
ACM SIGMICRO Newsletter
Microprogramming: A Tutorial and Survey of Recent Developments
IEEE Transactions on Computers
Techniques for requirements-oriented design
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
| Hi-index | 0.00 |
Firmware/hardware support for operating systems is described briefly, and proposed criteria for determining which operating system functions are the best candidates for firmware/hardware implementation are listed. A selected history of the area is presented in three sections: past and current research in support for virtual machines and two sections on past and current research in support for non -- virtual machine operating system functions.