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 | ||
|---|---|---|---|---|---|
| 126 |
 |
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 |
| 127 |
 |
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 | |
| 128 |
 |
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 |
| 129 |
 |
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 | |
| 130 |
 |
A Computer Program to Plot an Isometric Projection of a Solution Space Surface | Subroutine ISOPLT was developed for the computer produced CALCOMP display of a solution space surface. The solution space, for the sample plots given in Appendix B, is that of various flow functions of a time dependent, viscous, incompressible fluid flow for various boundary configurations. Also sho... | 1968-08 | |
| 131 |
 |
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 |
| 132 |
 |
3-D Design of Free-Form B-Spline Surfaces | This report describes an experimental system for designing free-form B-spline surfaces using a head-mounted display. In this system, the interaction with the surfaces takes place in three dimensions as the designed object's shape is updated in real-time. The report also examines some of the problems... | 1974-09 | |
| 133 |
 |
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 | |
| 134 |
 |
A Subdivision Algorithm for Computer Display of Curved Surfaces | 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 raster- ele... | 1974-12 | |
| 135 |
 |
The Fluke Security Project | This document presents the final report of the University of Utah-based project officially titled ""Mach 4 Kernel and IDL Infrastructure for Security"" but often referred to as the ""Fluke Security"" Project. This project is noteworthy for the number diversity, scale, robustness, and documentation o... | 2000-04 | |
| 136 |
 |
Feature-based reverse engineering | Reverse engineering entails building a representation of an engineered object using only information derived from an instance of that object. This research has focused on the reverse engineering of physical objects, specifically machined parts. Reverse engineering differs from many other sensing pro... | reverse engineering | 1994-12 |
| 137 |
 |
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 |
| 138 |
 |
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 | |
| 139 |
 |
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 |
| 140 |
 |
An asynchronous floating point unit | An asynchronous floating point unit (FPU) was designed using application specific integrated circuit (ASIC) and very large scale integration (VLSI) technologies. The FPU is capable of adding, subtracting, multiplying, and dividing single-precision format numbers as defined by The Institute of Electr... | computer circuits; asynchronous circuits; floating-point arithmetic | 1994-08 |
| 141 |
 |
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 |
| 142 |
 |
Extraction of Micro-Terrain Features | Micro-terrain features are topographic structures relavent to the behavior of a simulation, but with a horizontal extent significantly less than the resolution of the base-level terrain data covering the area in which these structures occur. Thus, these features are not directly extractable from ele... | 1998-08 | |
| 143 |
 |
A Method for Extending FORTRAN V for the Interactive Graphical Solution of Numerical Problems | Interactive computer graphics offers much in the way of bringing the program user closer to the problem solving algorithm. Techniques may be employed which provide for the execution of the program to be monitored and action taken to help the program find the solution, or to find it more quickly. Log... | 1968-12 | |
| 144 |
 |
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 | |
| 145 |
 |
Approximating data with parametric B-splines for computer aided design | This thesis addresses some of the difficulties that can be encountered when approximation is used as a design tool. In many cases, it is most intuitive for a designer to specify points on or near a desired contour, and approximate them with a curve. Merely computing some approximation to a set of da... | computer graphics; computer-aided design; approximation theory; B-splines | 1985-12 |
| 146 |
 |
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 |
| 147 |
 |
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 |
| 148 |
 |
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 |
| 149 |
 |
Considerations for the Development of a Computer-Aided Electrical Design System | The specifications of a computer-aided design system are proposed based on the implementation of a prototype subsystem using UNIVAC 1108 and PDP-8 computers. The design system would aid a designer who wished to select and specify electrical fixtures, controls and circuits, and place them in a buildi... | 1969-09 | |
| 150 |
 |
2D knowledge based vision system | A knowledge based approach to computer vision provides the needed flexibility for performing recognition and inspection of objects in a complex environment. A system is described which uses knowledge about the environment, sensors, and performance requirements to construct a functional configuration... | computers; visual system; 2-Dimensional; 2-D | 1987-07 |