🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
...
Frameworks and Refinement
Abstract: "In this paper, we present a method for designing operating systems using object-oriented frameworks. A framework can be refined into subfra...
An Intermediate Code for the Path Pascal Compiler, Version 1.0
Executable Specifications for Incremental Software Development
The system is also implemented on a network of SUN SPARCstation 2s. Work on an Intel iPSC/2 hypercube implementation is in progress. The specification...
Design, Examples, and Implementation Algorithms
A System for Software Development
Unifying Shared and Distributed Memory Parallel Systems
Abstract: "While the reuse of code and interfaces has been the primary focus in object-oriented system design, the reuse of large scale designs has be...
The contribution of this paper is evidence that object-oriented operating systems provide a customizable environment that can be optimized to execute ...
We describe the following subsystems and their subframeworks: virtual memory, persistent storage, process management, message passing and device manag...
These parts are the introduction, support classes, primitive development classes, project management classes, and summary. The introduction outlines t...
The data and operations of the system are organized into a class-hierarchy that describes the model and supports extentions that accommodate different...
User Manual, Language Description Manual, and Installation Guide
Finally, a practical design for splitting hierarchies across boundaries is presented using C++ and the Choices object-oriented operating system."...
Abstract: "We are investigating very high-speed computer networking at gigabit rates. We present the Pulsar switch, a non-blocking design based on a h...
The design alternatives considered are buffering, buffer organization, reference and value semantics, synchronization, coordination strategy, and the ...
A Technique for Specifying Process Synchronization
The system is based upon a formal model of software development in which all parts of a software project have an object-oriented representation. The d...
The Design of a Practical Configuration Librarian