Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
Filters: Collection: "ir_computersa" Type: "Text"
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 1 |
 |
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 |
| 2 |
 |
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 | |
| 3 |
 |
A cell-based approach to hierarchical interdomain VLSI design | This dissertation presents a new design environment for VLSI circuits that is based upon a unification of the physical and structural design domains. Unlike conventional design approaches that divide the VLSI design process into disjoint structural and physical design phases, this new environment is... | 1992-06 | |
| 4 |
 |
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 | |
| 5 |
 |
A Constant Percentage Bandwidth Transform for Acoustic Signal Processing | This paper describes a constant percentage bandwidth transform for acoustic signal processing. Such a transform is shown to emulate behavior found in the human auditory system. A synthesis transformation is developed which, when cascaded with the absence of spectral modification. The effects of spec... | 1980-01 | |
| 6 |
 |
A Dynamic Model for Computer-Aided Choreography | The application of the digital computer in the field of dance choreography is a relatively unexplored area. The use of the computer in other arts is more widely known. The report describes an interactive, FORTRAN 5 UNIVAC 1108 computer which relates the angular movements of the joints of the display... | 1970-06 | |
| 7 |
 |
A FORTRAN V Interactive Graphical System | The system described provides the capability of transforming an ordinary FORTRAN 5 program into a highly interactive program. The converted program makes the user, the display scope, and teletype console all an integral part of the execution of the program. At present, the system allows the user to ... | 1968-04-03 | |
| 8 |
 |
A framework for hardware design analysis and synthesis using VHDL | An approach for behavioral analysis and synthesis in a single framework is presented. The main advantage of specifying circuits at an abstract level is that they become amenable to formal analysis. A formalism HOP, which is an extended automaton model to describe behaviors of circuits is introduced.... | VHDL; computer hardware description language | 1993-03 |
| 9 |
 |
A framework for multi-sensor integration and data acquisition | This thesis investigates and implements a framework for multi-sensor integration and data acquisition operating in the context of a robot workstation equipped with both contact and noncontact sensors. An appropriate low-level representation of raw data supplied by various sensors is developed. We pr... | computers; Spatial proximity graph; 3-D data; object recognition | 1983-08 |
| 10 |
 |
A front end user interface to a geometric modelling system | This thesis examines methods for designing effective user interfaces. A particular type of computer system, an interactive geometric modelling system, is investigated with respect to the interface. | 1987-12 | |
| 11 |
 |
A general model for the user interface of screen editors | Text editing programs are becoming larger in size and more important in modern operating systems. We present a model for the user interface portions of editors. The model provides a consistent and easy-to-implement environment in which many powerful and useful features can be incorporated. This mode... | text editing; text editing program; screen editor; computers | 1983-03 |
| 12 |
 |
A graphical workstation and programming environment for data-driven computation | This dissertation reports on the development of a prototype programming environment for a graphical programming language to support data-driven style of computation. Emphasis is on the need for tools to assist in the development of nontrivial graphical programs. | graphical programming language; data-driven style; computation; computers | 1983-03 |
| 13 |
 |
A Java-based active network operating system (JANOS) | The JANOS prqjects' primary objective was to develop a principle local operating system for active network nodes. The operating system is oriented toward executing untrusted Java bytecode, primarily for management and control.,The original document contains color images. | 2003-11 | |
| 14 |
 |
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 | |
| 15 |
 |
A Multiprocessor Implementation of CSP (Communicating Sequential Processes) | Communicating Sequential Processes (CSP) is a well known paradigm for communication and synchronization of a parallel computation. A CSP program consists of a collection of processes P(1), P(2),....., P(N) that interact by exchanging message. These message passing primitives, called input and output... | 1988-03 | |
| 16 |
 |
A multistrategy machine learning approach to object recognition | This work describes an innovative approach that combines machine learning and vision into an integrated system. The system is called ORACLE: Object Recognition Accomplished through Consolidation Learning Expertise. It uses two machine learning techniques known as explanation-based learning and conce... | ORACLE; ORACLE system; computers | 1991-03 |
| 17 |
 |
A Parametric Model for Human Faces | This report presents a computer model for the representation of human faces. This three-dimensional, parametric model produces shaded facial images. The face, constructed of polygonal surfaces, is manipulated through the use of parameters which control interpolation, translation, rotation and scalin... | 1974-12 | |
| 18 |
 |
A pipelined architecture for ray tracing | Ray tracing is a computer graphics rendering algorithm well known for the realistic images that it generates. Its primary drawback is the huge amount of computation required for even moderately complex scenes. Pipelined architectures have been used for many years to accelerate conventional scan conv... | computer architecture; computers; pipeline; computer graphics; RayPipe | 1994-06 |
| 19 |
 |
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 | |
| 20 |
 |
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 |
| 21 |
 |
A Saddle Point Strategy for Path Planning | This thesis explores a new strategy for addressing the local minimum problem. As a prerequisite, a smooth potential function with a well-defined analytical gradient is devised. The availability of exact derivatives permits the use of more sophisticated optimization methods than those typically emplo... | robots; robotics; motion planning, path planning; saddle point; c-space; quasi-newton | 1993 |
| 22 |
 |
A shading method for computer generated images | A shading method for computer generated images is developed that provides benefits of both ray tracing and radiosity methods. Diffuse reflection behavior is taken from the radiosity approach, while specular reflection and transparency are based on ray tracing methods. Distributions of sample rays ar... | computer graphics; shading method; computer generated images; ray tracing; radiosity | 1988-06 |
| 23 |
 |
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 | |
| 24 |
 |
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 | |
| 25 |
 |
A User Interface Model and Tools for Geometric Design | Poor user interfaces discourage potential users from effectively utilizing the design capabilities of geometric modeling systems. Because of the complex nature of the underlying representations in such systems, a well structured user interface model, as well as useful and intuitive design tools, are... | user interface; computer systems; computer-aided design | |
| 26 |
 |
A visual Lisp debugging environment | Graphics provides a useful tool for visualizing the behavior of computer programs. Diagrams can be be used to illustrate both the control structure of the program and the data structures operated upon by the program.; The integration of graphics into two traditional debugging tools, a program steppe... | debugging; computer science; LISP | 1989-12 |
| 27 |
 |
A Visual Programming Environment for the Construction of Block Diagrams | Visual programming is a broad term which is used to describe those languages which use graphics to construct visual representations of algorithms, documentation, and program execution. This thesis discusses the benefits and disadvantages of using a visual approach to programming. VIPER, the visual i... | visual programming; viper; programming environment; block diagram | 1989-04 |
| 28 |
 |
The A3000: An asynchronous version of the R3000 | This thesis presents the architectural design and implementation of an N-stage Self-Timed RISC processor based on a subset of the MIPS R3000. The goal is to lay the ground work to show it will be possible in the future to build an asynchoronous pipelined RISC processor that has the chance to to comm... | A3000; asynchronous; computers | 1995-03 |
| 29 |
 |
Accurate capacitance and resistance extraction | A novel approach to solving the accurate capacitance and resistance extraction problem in integrated circuits is presented as a combination of a custom language and a kit of circuit analysis primitives. This approach is targeted toward the analysis of circuit interconnect and the determination of fr... | integrated circuits; electric resistance | 1993-03 |
| 30 |
 |
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 | |
| 31 |
 |
An Analytical Approach to Computer Systems Scheduling | The report examines some aspects of the problem of allocating resources in a multi-programmed computer system. It first investigates to what extent the users might participate in resource allocation decisions; a system that dynamically determines the prices of services is advocated. A model is studi... | 1970-06 | |
| 32 |
 |
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 |
| 33 |
 |
An automated wire routing kernel | The kernel described here is based on using pattern matching techniques for describing algorithms. The use of patterns permits different physical constraints and properties to be considered. In addition, the abstraction provided by patterns allows the ability to transform oddly shaped routing areas ... | computers; kernel functions | 1991-07 |
| 34 |
 |
An Empirical Study of Persistent Object Stores | Persistent object stores support the creation, manipulation, storage, and retrieval of objects. Other desirable features of persistent stores are protection, transaction management, version control and concurrency control. Due to a lack of complete understanding of the demands of applications, there... | persistent object stores; CAGD; Alpha_1; ESM; Postgres; data clustering; object identifier | 1993-06 |
| 35 |
 |
An Interactive Continuous Simulation Language | Computer simulation has come into increasingly widespread use to study the behavior of systems of which the state of the system changes over time. There have been two main types of simulation languages developed to study these systems, continuous simulation languages to study continuous change model... | 1968-10 | |
| 36 |
 |
Analysis of Functional Programs using Attribute Grammars | An attribute grammar combines the standard context-free grammar that defines the syntax of a programming language with attributes that define semantic aspects of the language. This information makes attribute grammars very useful for performing the semantic analysis of programs. Functional programmi... | programming languages, functional programs; attributed grammar | 1985-08 |
| 37 |
 |
Applicative updating and provisional computation in functional programming | Large scale computing systems often consist of calculations which are repeated for many sets of input data. If the variance between the data sets is small, there may be portions of the computation which are not affected by the changes in the input values. The effort required for such systems can be ... | recomputation; efficient recomputation; function graphs; computers | 1983-06 |
| 38 |
 |
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 |
| 39 |
 |
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 |
| 40 |
 |
Asylim: A simulation and placement checking system for path-programmable logic integrated circuits | Presented in this thesis is a simulation/design checking system for PPL circuits. This system directly addresses the problems associated with the other simulators listed above. The circuit model employed by the system makes use of six logic values and a close correspondence between the PPL and simul... | PPL circuits; PPL; computers; NMOS circuits; CMOS circuits; ASYLIM; simulation checking system; design checking system | 1983-06 |
| 41 |
 |
Automated Detection of Delirium | This dissertation developed computerized decision support for the recognition of delirium, a condition resulting in high morbidity and cost. The decision support required the development of pen-based graphical user interfaces and client server databases for nursing data and clinical studies, the exe... | delirium; dhcp; graphical user interface | 1994-12 |
| 42 |
 |
Automated Routing Tools for the PPL Design Methodology | A router, suitable to the needs of the PPL design methodology currently available at the Universsity of Uath, is described. The goal is to give the designer automatic routing capabilities, taking care of the often time consuming and messy aspect of point to point connection by hand, as is currently ... | PPL design methodology; automated routing tools; computers; computer programming; automatic routing capabilities; Magic [14]; PPL router; PPL design environment | 1986-08 |
| 43 |
 |
Behavioral simulation from high-level specifications | A validation tool for synchronous hardware systems based on process composition and symbolic simulation has been developed. The problems addressed are:; • effective evaluation of a design through high-level simulation • quick exploration of alternative designs • contraction of the I/O vector s... | computer simulation; integrated circuits; large scale integration; behavioral simulation | 1989-06 |
| 44 |
 |
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 |
| 45 |
 |
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 | |
| 46 |
 |
CAD based biomedical modeling and visualization | A framework for the representation, modeling, visualization and static analysis of natural systems has been developed. This framework provides the following aspects of a system: geometry, function, simulation, and graphic visualization. This approach shows how it is possible to explore higher level ... | 1992-08 | |
| 47 |
 |
Carr-Distributed_C++ | |||
| 48 |
 |
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 |
| 49 |
 |
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 |
| 50 |
 |
Computer Illustration of Three Dimensional Sculptured Surfaces | The information content in computer generated images is often overwhelming to visually interpret. To better communicate the overall shape information of a given model, current techniques for creation of wireframes, shaded renderings. and painted images need to be augmented and used cooperatively. A ... | computer graphics; computer generated image | 1990-08 |