Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
Filters: Collection: "ir_computersa"
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 101 |
 |
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 |
| 102 |
 |
Load balancing and fault tolerance in applicative systems | Applicative systems are promising candidates to achieve high performance computing through aggregation of processors. This dissertation studies two important issues in building scalable applicative systems: load balancing problem and fault tolerance.; A dynamic load balancing scheme is proposed for ... | computer architecture; load balancing; fault tolerance; computer science; applicative systems | 1985-08 |
| 103 |
 |
Localization in outdoor static terrain (LOST) | This thesis considers problems that arise while combining these strategies with a feature based approach to the localization problem. A subset of strategies were simplified and implemented, along with key feature based concepts. This experimentation has helped to point out and clarify some aspects o... | localization problem; LOST; localization; computers | 1995-12 |
| 104 |
 |
Look ahead in Parallel Discrete Event Simulation | Empirical performance evaluations of parallel, discrete event simulation algorithms using deadlock avoidance and deadlock detection and recovery techniques developed by Chandy and Misra have been performed using the BBN Butterfly multiprocessor. Experiments using synthetic workloads reveal that the ... | 1988-08 | |
| 105 |
 |
The Many Faces of Introspection | In psychology, introspection is a common term meaning an examination of one's own thought process and sensory experience. Similarly, introspection in computer systems enables a computer to examine its own computational behavior. A computer that ""understands"" its own behavior, an introspective comp... | 1992-04 | |
| 106 |
 |
Matte volumes for selective data visualization | The matte volumes system uses a volume renderer, surface renderer, and slice viewer for the exploration and visualization of three-dimensional scalar field data. The size and complexity of the volume data pose an interesting challenge to the ideal of providing the scientist with a system which autom... | matte volumes; three-dimensional scalar field data; computers; matte volumes system | 1995-08 |
| 107 |
 |
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 |
| 108 |
 |
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 |
| 109 |
 |
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 |
| 110 |
 |
Moped (a portable debugger) | Moped is a portable debugger that uses enhanced tracing facilities and backtracing to discover unusual or undesirable program behaviors. It is based upon two modules - Program Probes and Program. History, each providing different abilities. Program Probes is a forward tracing utility which allows Mo... | debugging in computer science; computer science | 1988-06 |
| 111 |
 |
Noise Suppression Methods for Robust Speech Processing | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments to develop real time, compressed speech analysis-synthesis algorithms whose performance is invariant under s... | 1979-04 | |
| 112 |
 |
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 |
| 113 |
 |
Numerical weather prediction model for distributing computing systems | The objectives of this research are twofold: One is to develop and implement a spectral numerical weather prediction model using parallel algorithms. The other objective is to examine a parallel paradigm that allows users to write parallel scientific algorithms easily and efficiently. | weather predictions; spectral numerical weather predictions; weather prediction model; parallel algorithms; computers | 1991-08 |
| 114 |
 |
Object models for computer aided design | Abstract: The goal of this research has been to develop an underlying modeling system to support applications in computer modeling system to support applications in computer aided design and scientific modeling. Particular emphasis has been given to two key issues: 1. data base support; 2. graphic ... | scientific modeling; computer models; data base support; graphic interaction; graphic support system | 1976-03 |
| 115 |
 |
On Representation and Discretization of Finite Element Analyses | The use of B-spline geometric representation and subdivision mechanism is explored for use in finite element analysis. On the representation issue, an attribute modelling technique is introduced to model the problem specification and the result interpretation. This modelling technique relies on the ... | finite element; b-spline; geometric representation; subdivision mechanism; planar domain; shell domain; solid domain | 1985 |
| 116 |
 |
On the rendering of surfaces | Abstract: Despite the relative sophistication of modern surface design systems, many graphical renderings of surfaces are relatively crude. The paper discusses a variety of possible rendering, including various line drawing methods, realistic and functional shading, and ccombinations of line drawing... | surface design systems; graphical renderings; functional shading; curvature shading | 1979 |
| 117 |
 |
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 |
| 118 |
 |
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 |
| 119 |
 |
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 |
| 120 |
 |
Parallel path consistency | This thesis examines the actual real world performance of PC as compared AC and shows that in most cases the measured performance is greatly superior to its assumed worst case. In addition, the improved filtering efficiency of PC over AC is measured. | arc consistency; path consistency; real world performance; computers | 1991-03 |
| 121 |
 |
Parallel solution of Poisson's problems on irregular domain. | This thesis is devoted to the solution of the Poisson problem on an irregular domain applying parallel computation techniques on distributed memory machines. | Poisson problem; computers | 1995-06 |
| 122 |
 |
Parallel Split-Level Relaxation | Speed is a primary concern in all computer vision applications. With the advent of parallel processors it is necessary to explore the possibility of improving the performance of vision algorithms on these machines. Three avenues have to be pursued in this new framework. First, it is necessary to stu... | parallel processing; computer vision; scene labeling problem; vision algorithm; bbn butterfly | 1988-08 |
| 123 |
 |
Parametric approximation to surfaces | The use of B-splines for the approximation of functions and data is well established. Issues such as parametrization, knot placement and reparametrizaton are important in determining the B-spline representation for the data. Compactness of the B-spline representation also becomes an issue when deali... | 1992-12 | |
| 124 |
 |
Performance Directed Simulation | The overall scientific objective of this research was to develop techniques for speeding up discrete event simulation (DES) programs in applications such as simulation of computer architectures, communication networks, battlefield scenarios, etc. Such simulations often require prohibitive amounts of... | 1989-01-26 | |
| 125 |
 |
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 |
| 126 |
 |
The persistent object system MetaStore : persistence via metaprogramming | Object intensive applications require persistence of complex objects. Many of these applications also use vast amounts of data, often exceeding a machine's virtual memory, MetaStore is a portable, persistent object system designed to solve these problems.; MetaStore uses the metaprogramming faciliti... | 1992-06 | |
| 127 |
 |
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 |
| 128 |
 |
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 |
| 129 |
 |
Real-time measurement of multiple three-dimensional positions | Abstract: This paper describes a priori digital speech analysis. This method takes advantage of the quasi-periodic nature of voice speech sounds to reduce the amount of computation needed to obtain the analysis parameters. The vocal tract is modeled as an all-pole digital filter (predictive coding)... | light-emitting diodes; photomultiplier | 1973-06 |
| 130 |
 |
Real-time measurement of multiple three-dimensional positions | Abstract: This paper describes a priori digital speech analysis. This method takes advantage of the quasi-periodic nature of voice speech sounds to reduce the amount of computation needed to obtain the analysis parameters. The vocal tract is modeled as an all-pole digital filter (predictive coding)... | light-emitting diodes; photomultiplier | 1973-06 |
| 131 |
 |
Reconstruction of three-dimensional surfaces from two-dimensional projections | Abstract: This thesis describes a method for determining the three-dimensional shape of an object from a set of photographs of the objects. For a non-glossy surface, the image brightness is, in theory, a function only of the normal to the surface and of the incident light direction. A reflectivity l... | three-dimensional images; image brightness; reflectivity law | 1981-06 |
| 132 |
 |
Resource allocation in an experimental LISP compiler | This thesis describes the design and implementation of a register allocation system for EPIC, an experimental LISP compiler. EPIC follows the Portable Standard LISP (PSL) philosophy of retargetability and parameter-passing through registers. Like many register allocators, this system accepts linear ... | compiling (electronic computers); LISP; EPIC; Experimental LISP compiler | 1986-08 |
| 133 |
 |
Robustness in geometric modeling : an intuitionistic and tolerance-based approach | Geometric algorithms based on floating point arithmetic often fail or generate incorrect results due to floating point arithmetic errors and geometric approximation errors, Ambiguous interpretations of degenerate cases in geometric modeling, for instance, can lead to invalid geometric representation... | 1992-08 | |
| 134 |
 |
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 |
| 135 |
 |
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 |
| 136 |
 |
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 |
| 137 |
 |
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 |
| 138 |
 |
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 |
| 139 |
 |
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 |
| 140 |
 |
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 |
| 141 |
 |
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 |
| 142 |
 |
Space-Form. Computer-Aided Design for Architecture | The design approach proposed in the report is generated from basic space-forms. These three-dimensional forms are used by the designer as building blocks to design at every scale--from the most minute details of a given building to the eventual placement of the building in the context of its surroun... | 1968-09-01 | |
| 143 |
 |
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 |
| 144 |
 |
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 |
| 145 |
 |
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 |
| 146 |
 |
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 |
| 147 |
 |
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 |
| 148 |
 |
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 | |
| 149 |
 |
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 | |
| 150 |
 |
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 |
| 151 |
 |
Three-Dimensional Input for Computer Graphics | The paper states the need for three-dimensional input for architectural work using computer graphics. The paper consists of two sections. The first section deals with laser Examples are given comparing old methods of ground survey with photogrammetry. | 1968-06 | |
| 152 |
 |
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 |
| 153 |
 |
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 |
| 154 |
 |
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 |
| 155 |
 |
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 |
| 156 |
 |
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 |
| 157 |
 |
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 |
| 158 |
 |
UNIDEC Assembler | The report discusses the UNIDEC assembler which runs on the UNIVAC 1108 and passes assembled PDP-8 code over the electronic link between the two machines. | 1968-06-06 | |
| 159 |
 |
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 |
| 160 |
 |
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 |