Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Currie Colket
July 1988 - Technical Report Kernel Facilities Definition

Authors: Judy Bamberger, Timothy Coddington, Robert Firth, Dan Klein, Dave Stinchcomb, Roger Van Scoy, Currie Colket

This document defines the conceptual design of the Kernel by specifying the underlying models, assumptions, and 2) restrictions that govern the design and implementation of the Kernel.

July 1987 - Technical Report Distributed ADA Real-Time Kernel

Authors: Judy Bamberger, Timothy Coddington, Robert Firth, Dan Klein, Dave Stinchcomb, Roger Van Scoy, Currie Colket

This 1987 paper addresses two distinct needs of real-time applications: distribution and hard real-time scheduling mechanisms.