|
|
Title | Description | Subject | Date |
51 |
|
A Constant Percentage Bandwidth Transform for Acoustic Signal Processing | This paper describes a constant percentage bandwidth transform for acoustic signal processing. Such a transform is shown to emulate behavior found in the human auditory system. A synthesis transformation is developed which, when cascaded with the absence of spectral modification. The effects of spec... | | 1980-01 |
52 |
|
A FORTRAN V Interactive Graphical System | The system described provides the capability of transforming an ordinary FORTRAN 5 program into a highly interactive program. The converted program makes the user, the display scope, and teletype console all an integral part of the execution of the program. At present, the system allows the user to ... | | 1968-04-03 |
53 |
|
A Multiprocessor Implementation of CSP (Communicating Sequential Processes) | Communicating Sequential Processes (CSP) is a well known paradigm for communication and synchronization of a parallel computation. A CSP program consists of a collection of processes P(1), P(2),....., P(N) that interact by exchanging message. These message passing primitives, called input and output... | | 1988-03 |
54 |
|
A Saddle Point Strategy for Path Planning | This thesis explores a new strategy for addressing the local minimum problem. As a prerequisite, a smooth potential function with a well-defined analytical gradient is devised. The availability of exact derivatives permits the use of more sophisticated optimization methods than those typically emplo... | robots; robotics; motion planning, path planning; saddle point; c-space; quasi-newton | 1993 |
55 |
|
A Subdivision Algorithm for Computer Display of Curved Surfaces | This report presents a method for producing computer shaded pictures of curved surfaces. Three-dimensional curved patches are used, as contrasted with conventional methods using polygons. The method subdivides a patch into successively smaller subpatches until a subpatch is as small as a raster- ele... | | 1974-12 |
56 |
|
Constraint driven synthesis of hardware design | Design synthesis (or Synthetic Design) is an attractive alternative to manual design, due to the obvious benefits of decreased development time and correctness by construction. Unfortunately, the price for this automation has frequently been inefficient designs and a narrow range of application. The... | design synthesis; constraint driven synthesis; constraints; computers | 1983-08 |
57 |
|
Data structures and system support for a graphical programming language editing and program development environment | This thesis presents an editing tool for use in the development of data-driven style programs. These programs are based on a hierarchical graphical syntax rather than the conventional textual syntax. The editor provides the programmer with all the necessary operations for traversing and manipulating... | editing tool; computers; data-driven style programs | 1983-12 |
58 |
|
Digital Image Deblurring by Nonlinear Homomorphic Filtering | This report is concerned with the digital estimation of the frequency response of a two-dimensional linear system through which images have been passed and blurred. Almost no a priori knowledge concerning the system is required, and only one blurred image is necessary for a successful estimation. Fo... | | 1974-08 |
59 |
|
Efficient evaluation of normal order through strictness information | Normal order functional languages (NOFLs) offer conceptual simplicity, expressive power and attractiveness for parallel execution. In NOFLs expressions are represented in a graphical form and transformed to the final answer using graph transformation rules. Until the G-machine project in Sweden, imp... | NOFL; strictness analysis; computers | 1987-03 |
60 |
|
Implementation of SCMAID: A Microprogrammer's Assistant for Concurrent Soft Controlled Microarchitectures | The SCMaid has been implemented in a portable dialect of LISP called PSL which is a product of the Symbolic Computation Group at the University of Utah. Since PSL has been implemented on a wide variety of machines from microprocessors to the Cray-1, SCMaid can be run on a large number of systems. Th... | symbolic computation group; scmaid; psl; lisp | 1985-04 |
61 |
|
Modeling the Motion of Human Muscle Systems with Computer Graphics | The Sarcomere system uses computer graphics to model human muscle systems. Each muscle is modeled as a collection of discrete, movable elements that we call muxels. The advantages of this model include fast integer-based processing and user specified variable resolution. The Sarcomere system process... | sarcomere; muxel; muscle system | 1990-08 |
62 |
|
PRT--a high quality image synthesis system for B-spline surfaces | Many applications in Computer Aided Design require high quality images of three-dimensional scenes. A system is presented for rendering objects designed with an existing B-spline based geometric modeling package. Two algorithms for ray tracing B-spline surfaces are discussed, one using iterative num... | computer graphics; computer aided design; B-spline surfaces; image synthesis system | 1988-12 |
63 |
|
Seqwarp: A low-cost linear systolic array for biological sequence comparison | This thesis involved the design, implementation, and testing of Seqwarp, a linear systolic array capable of performing biological sequence comparison, using a revised Smith-Waterman dynamic programming algorithm. Through the use of Seqwarp, search and comparison problems equivalent to those performe... | Seqwarp; biological computation; computers; biological sequence comparison | 1991-08 |
64 |
|
Simulation of numerically controlled milling machines | This thesis describes a system that can be used to simulate both 3 and 5-axis NC milling toolpaths, reading BCL code. This simulator is based on the imagespace approach in which the workpiece is represented using the z-values resulting from the rendering of a model and metal removal is achieved thro... | NC milling; numerical control; computers | 1995-03 |
65 |
|
A framework for multi-sensor integration and data acquisition | This thesis investigates and implements a framework for multi-sensor integration and data acquisition operating in the context of a robot workstation equipped with both contact and noncontact sensors. An appropriate low-level representation of raw data supplied by various sensors is developed. We pr... | computers; Spatial proximity graph; 3-D data; object recognition | 1983-08 |
66 |
|
A shading method for computer generated images | A shading method for computer generated images is developed that provides benefits of both ray tracing and radiosity methods. Diffuse reflection behavior is taken from the radiosity approach, while specular reflection and transparency are based on ray tracing methods. Distributions of sample rays ar... | computer graphics; shading method; computer generated images; ray tracing; radiosity | 1988-06 |
67 |
|
The A3000: An asynchronous version of the R3000 | This thesis presents the architectural design and implementation of an N-stage Self-Timed RISC processor based on a subset of the MIPS R3000. The goal is to lay the ground work to show it will be possible in the future to build an asynchoronous pipelined RISC processor that has the chance to to comm... | A3000; asynchronous; computers | 1995-03 |
68 |
|
An automated wire routing kernel | The kernel described here is based on using pattern matching techniques for describing algorithms. The use of patterns permits different physical constraints and properties to be considered. In addition, the abstraction provided by patterns allows the ability to transform oddly shaped routing areas ... | computers; kernel functions | 1991-07 |
69 |
|
Asylim: A simulation and placement checking system for path-programmable logic integrated circuits | Presented in this thesis is a simulation/design checking system for PPL circuits. This system directly addresses the problems associated with the other simulators listed above. The circuit model employed by the system makes use of six logic values and a close correspondence between the PPL and simul... | PPL circuits; PPL; computers; NMOS circuits; CMOS circuits; ASYLIM; simulation checking system; design checking system | 1983-06 |
70 |
|
Consistent Geometric Modeling Approaches | Boolean set operations are important in solid modeling; however making them robust is problematic. This thesis summarizes the problems with robustness of geometric algorithms caused by approximated data and numerical computation and provides two different approaches to build a robust geometric model... | geometric model; boolean set; adaptive single tolerance | 1993 |
71 |
|
Constraints as a Paradigm for Computing | This dissertation presents a multiple domain constraint logic programming system (MDCLP) in which multiple solvers are supported and are viewed as external modules interfaced to the logic programming system through the set of constructors and predicates they support. The concept of separately compil... | logic programming; constraint logic programming; clp; logic programming language; programming language; warren abstract machine; type inference | 1993-03 |
72 |
|
KIT : an experimental solid modelling system | The purpose of this research is to develop an experimental environment for solid modelling which can provide a wide range of graphics primitives and operations toward making the modelling process more flexible The system can handle different types of representations and combine them with an extended... | computer graphics; KIT; solid modelling system | 1985-06 |
73 |
|
Persistent Immutable Shared Abstractions for Concurrent Scheme | A write-once, read-many persistent store has been developed for Concurrent Scheme, a distributed-memory parallel Lisp for the Mayfly multicomputer. The prototype implementation supports the explicit store, and implicit retrieval, of instances of the Scheme data types. Items are stored into per node ... | concurrent scheme; lisp, mayfly; multicomputer; persistent store; ray tracer | 1994 |
74 |
|
Syntax Directed on-Line Recognition of Cursive Writing | A syntax organization for recognition of handwritten connected-word is studied in the work. Each writing is cut into strokes at the middle point of every down cave of the writing, and the strokes are named using their directional characteristics and relative size among the strokes. A syntax is organ... | | 1968-07 |
75 |
|
Synthesis, Verification and Optimization of Systolic Arrays | Systolic arrays are a class of parallel architectures consisting of regular interconnections of a very large number of simple processors, each one operating on a small part of the problem. They are typically designed to be used as back-end. special-purpose devices for computation-intensive processin... | computer architecture; systolic array; VLSI | 1986-12 |