LCS Publications: Recent submissions
Now showing items 226-228 of 1152
-
Investigation of a Preemptive Network Architecture
(1994-05)Two network architectures, cell and packet, form the basis of most high bandwidth network research. If analyzed from the perspective of building a switch, both architectures have unique advantages. The preemptive ... -
Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications
(1994-06)This thesis presents three ideas. First, it presents a novel use of formal specification to promote a programming style based on specified interfaces and data abstraction in a programming language that lacks such supports. ...
