Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 126 |
 |
Scientific visualization for finite element analysis data sets | The research is focused on developing new techniques for visualizing FEA data sets. In this thesis, new parallel volume rendering algorithms are outlined to speed up scalar field visualization. Strreamlines, streamribbons and streamtubes are the most fundamental tools for exploring vector field data... | finite element analysis; FEA; computers; algorithms | 1996-08 |
| 127 |
 |
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 |
| 128 |
 |
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 |
| 129 |
 |
Shape recovery of volume data with deformable B-spline models | The research described in this dissertation explores a new technique for shape recovery with deformable models using B-spline surfaces. | b-spline surfaces; computers | 1996-08 |
| 130 |
 |
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 |
| 131 |
 |
Sisyphus, an environment for simulation | Sisyphus is an environment for the simulation of integrated circuits (ICs). It supports hierarchical simulation from the functional block level down to circuit analysis. Sisyphus develops a new hierarchical wire model (based on that of Sable) which facilitates the accurate simulation of incomplete d... | sisyphus; computer program language; computer programming; ICs | 1986-12 |
| 132 |
 |
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 |
| 133 |
 |
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 |
| 134 |
 |
Static Analysis of Multiparadigm Languages | We contribute to the state of the art in static analysis of declarative languages with multiparadigms. The language paradigms under consideration include normal order evaluation, higher-order functions, polymorphic typing, and logical variables. Our static analysis integrates strictness analysis, ty... | multiparadigm; declarative language; language paradigm | 1990 |
| 135 |
 |
Static inference in applicative languages | Static inference involves the compile-time analysis of programs, either with a view to optimizing program execution or ensuring that errors do not arise during program execution (e.g., type checking). We present a general framework for static inference of first-order applicative programs as well as ... | programming languages; computer science; static inference; applicative languages | 1985-03 |
| 136 |
 |
Subdivision algorithm for computer display of curved surfaces | Abstract: 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 ... | Curved surfaces; Computer shaded pictures; Curved patches | 1974 |
| 137 |
 |
Surface perturbations for texture mapping | This thesis present a new method of texture mapping which can be used in conjunction with the above techniques to improve textured images. The proposed method uses surface perturbations for texture mapping. Surface perturbations enhance traditional texture mapping techniques by allowing the texture ... | surface perturbations; texture mapping; computers | 1987-03 |
| 138 |
 |
Surface Representation-Symbolic Computation | Recent research in Computer Aided Geometric Design is surveyed in this paper. A DEMONSTRATION of the feasibility and utility of some of the new methods of curve and surface representation for interactive design is given in a movie which will be shown during the presentation. (Author) | 1978-04 | |
| 139 |
 |
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 |
| 140 |
 |
TICL : a Type Inference System for Common Lisp | Most current Common Lisp compilers generate more efficient code when supplied with data type information. However, in keeping with standard Lisp programming style, most programmers are reluctant to provide type information; they simply allow the run-time type system to manage the data types accordin... | compilers; LISP; type interface; TICL | 1989-03 |
| 141 |
 |
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 |
| 142 |
 |
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 |
| 143 |
 |
Trivariate B-splines | The purpose of this thesis is to explore and evaluate the use of trivariate B-splines. There are several issues that make modeling with trivariate B-splines a significant and interesting problem. The issues to be addressed are the domain of the representation; algorithms for display, subdivision, a... | trivariate b-splines; computers | 1991-12 |
| 144 |
 |
TWEAK: A three-dimensional toolkit and modeling system using snapping and constraints | The goal of this thesis is to provide a simple and intuitive user interface to a three-dimensional (3D) Computer Aided Design system. The interactive modeling system described here was built to demonstrate the utility of this user interface. The four main parts of the system are discussed. | Tweak; snapping; constraint; interactive modeling system; DI-3D graphics library | 1996-12 |
| 145 |
 |
UCL+P - a persistent common lisp | The Persistent Lisp language was defined and an implementation, UCL+P,1 was designed and constructed. Persistent · Lisp is a superset of Common Lisp which fully supports the development of programs manipulating persistent data , while maintaining Lisp semantics across the storage/retrieval of value... | computer language; Lisp, | 1994-08 |
| 146 |
 |
The use of inverse rendering in lighting design | This dissertation presents an inverse rendering approach for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. | image synthesis system; radiosity; inverse rendering; designing illumination; computers; radioptimization | 1995-06 |
| 147 |
 |
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 |