Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.

TO

Title | Description | Subject | Date | ||
---|---|---|---|---|---|

1 | 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 | ||

2 | 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 | ||

3 | 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 | |

4 | 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 | |

5 | A symbolic simulation-based verification system for synchronous circuits | This thesis addresses the issues related to the symbolic simulation-based verification of synchronous circuits. A prototype verification system, based on a two-level verification approach for synchronous circuits, has been implemented that embodies the ideas of parametric Boolean expressions for eff... | 1992-12 | ||

6 | 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 | |

7 | 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 | ||

8 | Adaptive image segmentation | Image segmentation is an old and difficult problem. One of the fundamental weaknesses with current image segmentation systems is their inability to adapt the segmentation process as real-worldchanges occur in the image, This dissertation presents the first closed-loop image segmentation system that ... | 1992-03 | ||

9 | A polymorphic, hierarchical type system for Prolog | This thesis develops a polymorphic, hierarchical type system for Prolog that can be checked statically. Type issues unique to Prolog, such as moding and treatment of logical variables, are considered. A type checking specification is defined and an algorithm fulfilling that specification is presente... | 1992-08 | ||

10 | 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 | ||

11 | Computer display of curved surfaces | Abstract: This thesis attacks the problem of generating computer synthesized images both more rapidly and more realistically. Increase in speed is achieved by a scan line based algorithm for drawing pictures of parametrically defined curved surfaces. Computation time is reduced by requiring calcula... | computer images; computation time; surfaces | 1978 | |

12 | Design for a micromodular self-timed system, A | Abstract: Self-timed systems lend themselves readily to interactive design and implementation of concurrency. These systems and their properties are discussed, and the implementation for a micromodular system is described. The use of formal techniques to design asynchronous machines with concurrency... | Switching systems; micromodular representations; self-timed systems; interactive design; concurrency | 1972-03 | |

13 | The Development of a Virtual Database and an Evaluation of Techniques to Improve the Performance of a Virtual Database | This project evaluated the practicality of the virtual database and the effectiveness of the performance enhancement techniques. The overhead associated with the virtual database was negligible for interactive applications. The additional delays for sequential queries may be negated because the enti... | 1992-03 | ||

14 | Digital image deblurring by nonlinear homomorphic flltering | Abstract: This dissertation 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 successfu... | Deblurring; nonlinear homomorphic filtering | 1974-08 | |

15 | 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 | ||

16 | A priori digital speech analysis | 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)... | speech analysis; predictor coefficients; pitch period | 1973-03 | |

17 | Design goals of an editor for storage logic arrays | Abstract: Integrated circuits of increased density require both better fabrication technology and tools for managing the design complexity. Before stepping firmly into the era of Very Large Scale Integration (VLSI), powerful abstractions of integrated circuit design and associated software tools mu... | storage logic arrays; Integrated circuit design | 1981-06 | |

18 | E-MO : a system for automatically generating emotive-motions | A system is developed to automatically generate control functions for linked mechanisms that express specific emotions. This system could be employed to produce motions for characters in a computer animation. It takes advantage of the fact that evaluation functions, which take physical characteristi... | 1995-03 | ||

19 | 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 | |

20 | 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 | |

21 | Blending parametric surfaces | Blending parametric surfaces can be a valuable tool in sculptured surface modeling. In conventional approaches, the boundaries and the cross boundary tangents of the blending surface are obtained by approximating a discrete number of points and vectors that are evaluated along the blending boundarie... | 1992-12 | ||

22 | ASSASSIN: an assembly, specification and analysis system for speed-independent control-unit design in integrated circuits using path-programmable logic (PPL) | Abstract: Numerous efforts have been made to automatically implement the control-units and datapaths of synchronous systems in integrated circuits. Speed-independent systems have not yet been extensively explored in the context of the integrated circuit. Presented in this thesis is a software system... | path-programmable logic; integrated circuits; Portable standard LISP; VLSI design | 1982-06 | |

23 | Computer graphics approach for understanding prosthetic heart valve characteristics | Abstract: Fluid dynamics principles and numerical analysis techniques are applied in a study of stress distribution in blood caused by the motion of the occluder within the cage of a prosthetic heart valve model. An interactive computer graphics program is developed for the simulation of the flow pr... | Prosthetic heart valve; Disc occluder; hemolysis; thrombosis | 1972-06 | |

24 | 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 | |

25 | Beta-spline: a local representation based on shape parameters and fundamental geometric measures | Abstract: A mathematical technique for curve and surface representation has been developed which reflects an underlying geometric, as opposed to algebraic nature. Elementary differential geometry concepts are reviewed and the unit tangent and curvature vectors are used as fundamental geometric meas... | beta-spline; geometric curves; geometric surfaces; shape parameters | 1981-12 |