Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 101 |
 |
Parallel Algorithms and Architectures for Very Fast AI Search | A wide range of problems in natural and artificial intelligence, computer vision, computer graphics, database engineering, operations research, symbolic logic, robot manipulation and hardware design automation are special cases of Consistent Labeling Problems (CLP). CLP has long been viewed as an ef... | parallel algorithms; CLP; consistent labeling problems; computer programming; computer science | 1989-08 |
| 102 |
 |
Behavioral simulation from high-level specifications | A validation tool for synchronous hardware systems based on process composition and symbolic simulation has been developed. The problems addressed are:; • effective evaluation of a design through high-level simulation • quick exploration of alternative designs • contraction of the I/O vector s... | computer simulation; integrated circuits; large scale integration; behavioral simulation | 1989-06 |
| 103 |
 |
A User Interface Model and Tools for Geometric Design | Poor user interfaces discourage potential users from effectively utilizing the design capabilities of geometric modeling systems. Because of the complex nature of the underlying representations in such systems, a well structured user interface model, as well as useful and intuitive design tools, are... | user interface; computer systems; computer-aided design | |
| 104 |
 |
Design of a Self-Timed, Pipelined, Floating Point Multiplier in Gallium Arsenide | This thesis presents the design of a self-timed, floating point multiplier in Gallium Arsenide (GaAs) technology. It implements the Institute of Electrical and Electronic Engineers (IEEE) single precision standard. Self-timed design methodology offers some advantages over a synchronous approach, esp... | gallium arsenide; floating point multiplier; GaAs; GaAs technology | 1994-06 |
| 105 |
 |
Spacetime Control of Linked Figures | This dissertation describes the development of techniques to automate the creation of physically-based, goal-directed motion of synthetic creatures, More specifically, the research concentrates on developing an underlying mathematical representation for constraints and objectives imposed on a creatu... | computer animation; spacetime control; animated figures; creature motion | 1992-06 |
| 106 |
 |
Rule Based Process Planning System for Hole Feature Machining | Traditional mechanical design and manufacturing methods are being replaced by computer aided systems that automate the process. However, existing computer aided process planners do not generate optimal process plans and lack modeling ability. A rule based expert system is proposed in this thesis to ... | CAD/CAM systems; production planning; machining; holemaking | 1989-05 |
| 107 |
 |
Z [infinity] : a framework for reactive autonomous agent specification and analysis | We propose a framework for the specification and analysis of autonomous agents. In general, such agents require several levels of behavioral specifications, including low-level reflex actions, midlevel controllers to deal with the physical aspects of the world, and high-level representations for goa... | robots; control systems; real-time programming languages; graphical interactive tools; robotic systems | 1994-12 |
| 108 |
 |
Models for Stochastic Texture Generation | This work explores current models of textures for image synthesis and analysis, with an emphasis on generation of stochastic textures. Digital signal processing techniques are applied to create a general and robust model for the generation of stochastic textures. Martingale sequences are analyzed, a... | computer graphics; models of texture; image synthesis; image analysis; stochastic textures | 1985-12 |
| 109 |
 |
Sketching with constraints | The goal of this thesis is to provide a simple and intuitive user interface to a Computer Aided Design (CAD) system. A simple modeling system was built to demonstrate the utility of the ideas presented here. There are three main parts to this system. The first part is the interpretation of sketched ... | user interfaces; computer systems; computer-aided design; CAD system | 1994-06 |
| 110 |
 |
The Efficient Modeling of Processor Behavior and Performance | Simulation models of digital computers span a broad range of capabilities. At one end are drastically simplified models that are very efficient. At the other end are executable register transfer models with a typical simulation overhead of two or three orders of magnitude. The Simon Simulation and D... | computer simulation; microprocessors; direct execution simulation; computer performance models | 1985-12 |
| 111 |
 |
Optimization as Transformations: A Compiler Paradigm | This thesis describes the high-level transformation phase of a prototype PSL compiler. EPIC The transformations are separated into two classes: machine dependent code generation, and machine independent code optimization. The code generation phase transforms an intermediate representation of a progr... | PSL compiler; EPIC; machine dependent code generator ; machine independent code optimization | 1985-08 |
| 112 |
 |
Automated Routing Tools for the PPL Design Methodology | A router, suitable to the needs of the PPL design methodology currently available at the Universsity of Uath, is described. The goal is to give the designer automatic routing capabilities, taking care of the often time consuming and messy aspect of point to point connection by hand, as is currently ... | PPL design methodology; automated routing tools; computers; computer programming; automatic routing capabilities; Magic [14]; PPL router; PPL design environment | 1986-08 |
| 113 |
 |
Analysis of Functional Programs using Attribute Grammars | An attribute grammar combines the standard context-free grammar that defines the syntax of a programming language with attributes that define semantic aspects of the language. This information makes attribute grammars very useful for performing the semantic analysis of programs. Functional programmi... | programming languages, functional programs; attributed grammar | 1985-08 |
| 114 |
 |
Sequencing computational events in heterogeneous distributed systems | Distributed systems are growing in number, size, and complexity. Some technological advances have been made to program these systems, most notably the remote procedure call. However, the nature of heterogeneous distributed systems allows for much more complex interactions and new programming technol... | electronic data processing; distributed processing; high-level algorithms | 1990-06 |
| 115 |
 |
Carr-Distributed_C++ | |||
| 116 |
 |
Numerical Control Milling Machine Toolpath Generation for Regions Bounded by Free Form Curves and Surfaces | The search for strategies and methods to automatically generate toolpaths for Numerical Control (NC) machines from mechanical parts modeled by computer aided solid design systems has met with only limited success to date, mainly in applications to simplified models. Problems that occur when the exis... | computer graphics; computer-aided design; numerical control machines; toolpath generation | 1989-06 |
| 117 |
 |
CAD based biomedical modeling and visualization | A framework for the representation, modeling, visualization and static analysis of natural systems has been developed. This framework provides the following aspects of a system: geometry, function, simulation, and graphic visualization. This approach shows how it is possible to explore higher level ... | 1992-08 | |
| 118 |
 |
Computer Illustration of Three Dimensional Sculptured Surfaces | The information content in computer generated images is often overwhelming to visually interpret. To better communicate the overall shape information of a given model, current techniques for creation of wireframes, shaded renderings. and painted images need to be augmented and used cooperatively. A ... | computer graphics; computer generated image | 1990-08 |
| 119 |
 |
Modelling complex objects with generalized sweeps | Recently, constructive solid geometry (CSG) techniques have been generalized to include set operations on certain sculptured surface solid models. This advancement has reemphasized the need for modelling techniques that create vasod objects. The definition of a valid object is somewhat cumbersome in... | computer-aided design; computer graphics | 1985-12 |
| 120 |
 |
Reactive Behavior Design Tools | The behavior of sensor based autonomous agents can be stratified into three basic levels. The first is low-level motor and sensor control, the second is mid-level reactive processes and the third is high-level end goals of the robotic device. The middle level of control, reactive processes, is the a... | robots; control system; reactive behaviors; COSPAN | 1992-01 |
| 121 |
 |
Parallel Distributed Simulation of Elastic Waves | A parallel distributed algorithm to simulate the propagation of waves through elastic media is presented and tested. The algorithm is based on a fourth-order finite difference solution of the elastic wave equation in three dimensions and incorporates a staggered grid formulation to solve for the di... | computers; computer programming; algorithm; elastic media; parallel distributed algorithm; fourth-order finite difference solution | 1994-07 |
| 122 |
 |
Towards a language independent object system | This thesis proposes a solution to the problem of mixed language programming in an object-oriented environment that centers around an object specification that can describe the features of objects in a language independent fashion. Also, a stub generator which reads this specification and creates me... | object-oriented programming; mixed language programming; programming; computers; object-oriented environment; stub generator | 1991-06 |
| 123 |
 |
ELA: A program to analyze logs of execution events | This is a description of ELA, a tool to give insight into the operation of computer systems during their development. | ELA; logs of execution events; computers | 1991-03 |
| 124 |
 |
Heterojunction bipolar transistor sigma-delta analog to digital converter for spread spectrum receiver | The focus of this thesis work was to investigate a means of implementing a high speed sigma-delta modulator that can be used as the front end of a direct sequence spread spectrum receiver. | sigma-delta modulator; computers | 1995-12 |
| 125 |
 |
Trimmed surfaces | Parametric surfaces and set operations have both become known as a valuable to the geometric modeling of rigid solids. Parametric surfaces give a geometric modeller a wider range, providing for the representation of parts with sculptured surfaces. Set operations of union, differences or intersection... | trimmed surface; rectangular parametric surfaces; computers | 1991-03 |