Search
Now showing items 41-50 of 86
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 ...
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 ...
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 ...
The Effect of Transmission Design on Force-Controlled Manipulator Performance
(1988-04-01)
Previous research in force control has focused on the choice of appropriate servo implementation without corresponding regard to the choice of mechanical hardware. This report analyzes the effect of mechanical properties ...
Test Generation Guided Design for Testability
(1988-07-01)
This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct ...
The Role of Knowledge in Visual Shape Representation
(1988-10-01)
This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. ...
Hypothesizing Device Mechanisms: Opening Up the Black Box
(1988-06-01)
I describe an approach to forming hypotheses about hidden mechanism configurations within devices given external observations and a vocabulary of primitive mechanisms. An implemented causal modelling system called ...
Dexterous Robotic Hands: Kinematics and Control
(1988-11-01)
This report presents issues relating to the kinematics and control of dexterous robotic hands using the Utah-MIT hand as an illustrative example. The emphasis throughout is on the actual implementation and testing of ...
Multistep Methods for Integrating the Solar System
(1988-07-01)
High order multistep methods, run at constant stepsize, are very effective for integrating the Newtonian solar system for extended periods of time. I have studied the stability and error growth of these methods when ...
Reification without Evaluation
(1988-06-01)
Constructing self-referential systems, such as Brian Smith's 3-Lisp language, is actually more straightforward than you think. Anyone can build an infinite tower of processors (where each processor implements the ...