|
|
Title | Description | Subject | Date |
76 |
|
First-order preference theories and their applications | This dissertation begins with a logical analysis of the notion of preference. Earlier approaches to logical analysis of preference are surveyed and their shortcomings pointed out. Next, a family of modal logics of preference is presented with soundness and completeness results for both the propositi... | | 1992-12 |
77 |
|
Fixed Point Computation and Parallel Algorithms for Solving Wave Equations | This dissertation is concerned with two problems: fixed-point computation and parallel algorithms for solving wave equations. Many problems can be formulated as fixed-point problems, which is to solve the equations of the form f(x) - x = 0. We develop efficient algorithms and establish complexity re... | fixed point computation; parallel algorithm; fixed point envelope; fixed point ellipsoid; wave equation; processor array; transputer; linear array | 1994 |
78 |
|
Frame buffer system selection | Abstract: This report summarizes the objectives of the University of Utah's Computer Science Department in its purchase of a frame buffer. The criteria for selection are given, along with a consideration of commercially available systems. | frame buffer; computer memory; raster-scan images; display hardware; University of Utah Computer Science Department | 1979-01 |
79 |
|
From Algebraic Specifications to Correct VLSI Systems | This dissertation presents a hardware design methodology in which hardware systems can be modeled as abstract data types and semi-automatically synthesized into VLSI circuits. The behavior of a module is specified at both the abstract and the realization levels, in a purely functional language, "Str... | VLSI circuits; computers | 1986-12 |
80 |
|
GCS: A graphical front end to ASSASSIN | This thesis reports on the development and implementation of a graphical front end to ASSASSIN. This menu-driven system runs in a PSL environment, on the Apollo Domain System. | ASSASSIN; menu-driven systems; PSL environment; apollo domain system; computers | 1983-08 |
81 |
|
GS--Graphics System | The reference manual is intended for programmers working on the ARPA Project at the University of Utah who are familiar with the UNIVAC 1108, Exec 2, and FORTRAN or ALGOL. The following topics are discussed: On-line operation; Graphics system services; Information displays Inc. display codes; Tektro... | | 1967-11-15 |
82 |
|
Geometric Hashing for Processing Complex Scenes | This work presents a new technique for handling many object interaction schemes developed using a graph theoretic approach. The interaction can be optical, as in ray tracing, or geometric, as in many body collision. Other problems solved by ray tracing, such as mass and volume calculation and viewin... | geometric hashing; object interaction; graph theory; ray tracing; many body collision | 1985 |
83 |
|
Graph-based approach for solving geometric constraint problems | This dissertation presents a new graph representation for constraint problems based on the notion of degrees of freedom and valencies. Any geometric primitive ( point, line, circle, plane, etc.) possess an intrinsic degree of freedom in its embedding space. Constraints reduce the degrees of freedom ... | computers; geometric constraint problems; graph | 1996-05 |
84 |
|
HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware Systems | A new Hardware Specification Language (HSL) called HOP is presented. HOP stands for Hardware viewed as Objects and Processes. It can be used for specifying the structure, behavior, and timing of digital systems. HOP was designed for several reasons. It integrates well-tested ideas from past work tha... | | 1988 |
85 |
|
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 |
86 |
|
High-speed conterflow-clocked pipelining illustrated on the design of subband vector quantizatizer chips | This dissertation introduces Counterflow-Clocked (C2) pipelining and discusses its usefulness and limitations to build large, high speed VLSI chips. It also presents the design of an image compression chip set to implement subband vector quantization that can handle HDTV data rates with reasonable V... | VLSI chips; counterflow-clocked pipelining; computers | 1995-12 |
87 |
|
INSTED : an integrated structured tiling editor for very large scale integrated circuit design | This thesis presents the implementation details of an experimental, hierarchical, object-oriented, and user-friendly software system, developed to provide a portal to the use of a versatile integrated circuit design methodology, and a foundation for future design tools to build upon. Showcasing seve... | computer interfaces; integrated circuits; large scale integration; INSTED | 1986-06 |
88 |
|
Image Recognition Using Generalized Correlation | This paper investigates the use of generalized cross-correlation in pattern matching when the objects may be of one or two dimensions. Generalized correlation can be used to determine the amount of dilatation and rotation between a given template and an object, in addition to determining the relativ... | | 1977-08 |
89 |
|
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 |
90 |
|
Implementation of a network database using a function graph language | Abstract: Most of the work on databases to date has involved approaches that deviate considerably from a purely mathematical (functional) viewpoint. The research reported in this thesis deals with an implementation of a network database using FGL to achieve this functionality. The amount of database... | network database | 1981-06 |
91 |
|
Interaction with constraints in three-dimensional modeling | The purpose of this thesis is to simplify and improve the efficiency of the interactive definition of geometric objects in computer aided geometric modeling. To achieve this goal two ways of defining geometric objects are combined and interfaced: 1) the definition of objects by interactive construct... | three-dimensional modeling; computers | 1991-05 |
92 |
|
Interactive Spline Modelling | This contract has initiated explorations into the advantages of interactive environments for developing computer based spline representations and the types of moderately complex objects for which it might be suitable. Additionally mathematical tools for surface fitting and modification in an interac... | | 1983-04-27 |
93 |
|
Interactive volume visualization | The purpose of scientific computation is insight. Visualization is the most direct way to bring out and deliver insight. The advances of technology have allowed scientists to simulate or observe our physical world at a much higher resolution than was available previously. As a result, large-scale nu... | computer graphics; volume visualization | 1993-06 |
94 |
|
Intersurface continuity of B-spline based solid models | One of the issues of concern in any boundary representation model is the smoothness at the abutment edges of the model surface patches. This thesis looks at the maintenance of this smoothness (continuity) between connected B-spline surfaces in a multi-surface model. This process also necessitates ad... | computer graphics; computer aided design | 1988-08 |
95 |
|
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 |
96 |
|
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 |
97 |
|
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 |
98 |
|
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 |
99 |
|
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 |
100 |
|
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 |