Search
Now showing items 1-10 of 96
Abstract Data Types in Stack Based Languages
(1978-02)
Abstract data types are the basis of an emerging methodology of computer programming. The only existing languages supporting abstract data types directly, CLU and Simula, both require compacting garbage collection, and ...
Specifications and Verification Techniques for Parallel Programs Based on Message Passing Semantics
(1978-01)
This thesis presents formal specification and verification techniques for both serial and parallel programs written in SIMULA-like object oriented languages. These techniques are based on the notion of states of individual ...
Attribute Partitioning in a Self-adaptive Relational Data Base Systems
(1978-01)
One technique that is sometimes employed to enhance the performance of a data base management system is known as attribute partitioning. This is the process of dividing the attributes of a file into subfiles that are ...
Actors and Continuous Functionals
(1978-02)
This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations ...
Synthesis of Synchronization Code for Data Abstractions
(1978-07)
Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a ...
Real-time Control Structures for Block Diagram Schemata
(1978-08)
Block diagram schemata model computation systems in the context of an external environment. The environment imposes various constraints on the real-time performance of any implementation of a block diagram schema. The ...
Vision Review
(MIT Artificial Intelligence Laboratory, 1978-05)
The Revised Report on SCHEME: A Dialect of LISP
(1978-01-01)
SCHEME is a dialect of LISP. It is an expression-oriented, applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes ...
Programming Viewed as an Engineering Activity
(1978-01-01)
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the behavior of the ...
Shaded Perspective Images of Terrain
(1978-03-01)
In order to perform image analysis, one must have a thorough understanding of how images are formed. This memo presents an algorithm that produces shaded perspective images of terrain as a vehicle to understanding the ...