Search
Now showing items 1131-1140 of 4210
Formalizing Reusable Software Components in the Programmer's Apprentice
(1987-02-01)
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the ...
Obviously Synchronizable Series Expression: Part I: User's Manual for the OSS Macro Package
(1988-03-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1987-11-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
Comparative Analysis
(1987-11-01)
Comparative analysis is the problem of predicting how a system will react to perturbations in its parameters, and why. For example, comparative analysis could be asked to explain why the period of an oscillating ...
Scheme 86: An Architecture for Microcoding a Scheme Interpreter
(1988-08-01)
I describe the design and implementation plans for a computer that is optimized as a microcoded interpreter for Scheme. The computer executes SCode, a typed-pointer representation. The memory system has low-latency as ...
Extracting Qualitative Dynamics from Numerical Experiments
(1987-03-01)
The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability ...
Simplified Voronoi Diagrams
(1987-04-01)
The Voronoi diagram has proved to be a useful tool in a variety of contexts in computational geometry. Our interest here is in using the diagram to simplify the planning of collision-free paths for a robot among ...
The Dynamicist's Workbench: I Automatic Preparation of Numerical Experiments
(1987-05-01)
The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical simulations. This part of ...
Parallel Solutions to Geometric Problems on the Scan Model of Computation
(1988-02-01)
This paper describes several parallel algorithms that solve geometric problems. The algorithms are based on a vector model of computation---the scan-model. The purpose of this paper is both to show how the model can ...
Robust Agent Control of an Autonomous Robot with Many Sensors and Actuators
(1993-05-01)
This thesis presents methods for implementing robust hexpod locomotion on an autonomous robot with many sensors and actuators. The controller is based on the Subsumption Architecture and is fully distributed over ...