Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 232-234 of 3794
-
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. ... -
Observing "True" Concurrency
(1993-09)In concurrent process theory, processors are often modeled by state machines and Petri Nets. Algebraic process theories based on state machines, exemplified by Milner's CCS and Hoare's CSP, have been more fully developed ...
