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 | ||
|---|---|---|---|---|---|
| 51 |
 |
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 | |
| 52 |
 |
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 |
| 53 |
 |
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 |
| 54 |
 |
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 |
| 55 |
 |
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 |
| 56 |
 |
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 | |
| 57 |
 |
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 |
| 58 |
 |
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 | |
| 59 |
 |
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 |
| 60 |
 |
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 |
| 61 |
 |
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 |
| 62 |
 |
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 |
| 63 |
 |
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 |
| 64 |
 |
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 |
| 65 |
 |
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 |
| 66 |
 |
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 |
| 67 |
 |
The Efficient Modeling of Processor Behavior and Performance | Simulation models of digital computers span a broad range of capabilities. At one end are drastically simplified models that are very efficient. At the other end are executable register transfer models with a typical simulation overhead of two or three orders of magnitude. The Simon Simulation and D... | computer simulation; microprocessors; direct execution simulation; computer performance models | 1985-12 |
| 68 |
 |
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 | |
| 69 |
 |
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 |
| 70 |
 |
Constraint kernels: constraints and dependencies in a geometric modeling system | This thesis describes the use of algebraic constraints and functional dependencies in the context of a geometric modeling system. | geometric modeling system; functional dependencies; algebraic constraints; computers | 1987-08 |
| 71 |
 |
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 |
| 72 |
 |
Computer-Aided Geometric Design Based Three-Dimensional Object Representations For Computer Vision | Model-based recognition is one of the key paradigms in the field of computer vision and pattern recognition. However, at present there is an absence of a systematic approach to build vision models for a large class of three-dimensional (3-D) objects used in industrial environments. Computer-Aided Ge... | computer vision; model based recognition; pattern recognition | 1988-12 |
| 73 |
 |
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 |
| 74 |
 |
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 |
| 75 |
 |
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 |