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 | ||
|---|---|---|---|---|---|
| 76 |
 |
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 | |
| 77 |
 |
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 | |
| 78 |
 |
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 | |
| 79 |
 |
Moped (a portable debugger) | Moped is a portable debugger that uses enhanced tracing facilities and backtracing to discover unusual or undesirable program behaviors. It is based upon two modules - Program Probes and Program. History, each providing different abilities. Program Probes is a forward tracing utility which allows Mo... | debugging in computer science; computer science | 1988-06 |
| 80 |
 |
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 |
| 81 |
 |
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 | |
| 82 |
 |
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 |
| 83 |
 |
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 |
| 84 |
 |
PRT--a high quality image synthesis system for B-spline surfaces | Many applications in Computer Aided Design require high quality images of three-dimensional scenes. A system is presented for rendering objects designed with an existing B-spline based geometric modeling package. Two algorithms for ray tracing B-spline surfaces are discussed, one using iterative num... | computer graphics; computer aided design; B-spline surfaces; image synthesis system | 1988-12 |
| 85 |
 |
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 |
| 86 |
 |
Performance Directed Simulation | The overall scientific objective of this research was to develop techniques for speeding up discrete event simulation (DES) programs in applications such as simulation of computer architectures, communication networks, battlefield scenarios, etc. Such simulations often require prohibitive amounts of... | 1989-01-26 | |
| 87 |
 |
TICL : a Type Inference System for Common Lisp | Most current Common Lisp compilers generate more efficient code when supplied with data type information. However, in keeping with standard Lisp programming style, most programmers are reluctant to provide type information; they simply allow the run-time type system to manage the data types accordin... | compilers; LISP; type interface; TICL | 1989-03 |
| 88 |
 |
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 |
| 89 |
 |
Rule Based Process Planning System for Hole Feature Machining | Traditional mechanical design and manufacturing methods are being replaced by computer aided systems that automate the process. However, existing computer aided process planners do not generate optimal process plans and lack modeling ability. A rule based expert system is proposed in this thesis to ... | CAD/CAM systems; production planning; machining; holemaking | 1989-05 |
| 90 |
 |
Numerical Control Milling Machine Toolpath Generation for Regions Bounded by Free Form Curves and Surfaces | The search for strategies and methods to automatically generate toolpaths for Numerical Control (NC) machines from mechanical parts modeled by computer aided solid design systems has met with only limited success to date, mainly in applications to simplified models. Problems that occur when the exis... | computer graphics; computer-aided design; numerical control machines; toolpath generation | 1989-06 |
| 91 |
 |
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 |
| 92 |
 |
Parallel Algorithms and Architectures for Very Fast AI Search | A wide range of problems in natural and artificial intelligence, computer vision, computer graphics, database engineering, operations research, symbolic logic, robot manipulation and hardware design automation are special cases of Consistent Labeling Problems (CLP). CLP has long been viewed as an ef... | parallel algorithms; CLP; consistent labeling problems; computer programming; computer science | 1989-08 |
| 93 |
 |
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 |
| 94 |
 |
Elastic and Plastic Surfaces for Modeling and Animation | This thesis presents eplastics, a modeling and animation tool developed to represent elastic and plastic surfaces under the B-spline representation. Eplastics derives its model from concepts found in physically based modeling of articulated motion, rigid bodies and deformable models. Eplastics works... | animation; modeling; eplastics; articulated motion; deformable; alpha_1; b-spline | 1990 |
| 95 |
 |
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 |
| 96 |
 |
Sequencing computational events in heterogeneous distributed systems | Distributed systems are growing in number, size, and complexity. Some technological advances have been made to program these systems, most notably the remote procedure call. However, the nature of heterogeneous distributed systems allows for much more complex interactions and new programming technol... | electronic data processing; distributed processing; high-level algorithms | 1990-06 |
| 97 |
 |
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 |
| 98 |
 |
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 |
| 99 |
 |
ELA: A program to analyze logs of execution events | This is a description of ELA, a tool to give insight into the operation of computer systems during their development. | ELA; logs of execution events; computers | 1991-03 |
| 100 |
 |
Trimmed surfaces | Parametric surfaces and set operations have both become known as a valuable to the geometric modeling of rigid solids. Parametric surfaces give a geometric modeller a wider range, providing for the representation of parts with sculptured surfaces. Set operations of union, differences or intersection... | trimmed surface; rectangular parametric surfaces; computers | 1991-03 |