A technique for software module specification with examples
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
On a "buzzword": hierarchical structure
Software pioneers
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
Software management of Cm*: a distributed multiprocessor
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Hi-index | 0.00 |
This paper discusses the design of a virtual memory mechanism for use as the first level of an operating system. The virtual memory mechanism provides a virtual machine which retains many of the properties of the host computer system. An implementation on the PDP-11/45 is briefly described.