Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
Filters: Type: "Text" Collection: "ir_computersa"
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 76 |
 |
UCL+P - a persistent common lisp | The Persistent Lisp language was defined and an implementation, UCL+P,1 was designed and constructed. Persistent · Lisp is a superset of Common Lisp which fully supports the development of programs manipulating persistent data , while maintaining Lisp semantics across the storage/retrieval of value... | computer language; Lisp, | 1994-08 |
| 77 |
 |
Static inference in applicative languages | Static inference involves the compile-time analysis of programs, either with a view to optimizing program execution or ensuring that errors do not arise during program execution (e.g., type checking). We present a general framework for static inference of first-order applicative programs as well as ... | programming languages; computer science; static inference; applicative languages | 1985-03 |
| 78 |
 |
Load balancing and fault tolerance in applicative systems | Applicative systems are promising candidates to achieve high performance computing through aggregation of processors. This dissertation studies two important issues in building scalable applicative systems: load balancing problem and fault tolerance.; A dynamic load balancing scheme is proposed for ... | computer architecture; load balancing; fault tolerance; computer science; applicative systems | 1985-08 |
| 79 |
 |
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 |
| 80 |
 |
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 |
| 81 |
 |
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 |
| 82 |
 |
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 |
| 83 |
 |
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 |
| 84 |
 |
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 |
| 85 |
 |
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 |
| 86 |
 |
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 |
| 87 |
 |
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 |
| 88 |
 |
Constraints as a Paradigm for Computing | This dissertation presents a multiple domain constraint logic programming system (MDCLP) in which multiple solvers are supported and are viewed as external modules interfaced to the logic programming system through the set of constructors and predicates they support. The concept of separately compil... | logic programming; constraint logic programming; clp; logic programming language; programming language; warren abstract machine; type inference | 1993-03 |
| 89 |
 |
Sisyphus, an environment for simulation | Sisyphus is an environment for the simulation of integrated circuits (ICs). It supports hierarchical simulation from the functional block level down to circuit analysis. Sisyphus develops a new hierarchical wire model (based on that of Sable) which facilitates the accurate simulation of incomplete d... | sisyphus; computer program language; computer programming; ICs | 1986-12 |
| 90 |
 |
KIT : an experimental solid modelling system | The purpose of this research is to develop an experimental environment for solid modelling which can provide a wide range of graphics primitives and operations toward making the modelling process more flexible The system can handle different types of representations and combine them with an extended... | computer graphics; KIT; solid modelling system | 1985-06 |
| 91 |
 |
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 |
| 92 |
 |
Design and implementation of a portable shared memory server | Processes communicate between one another using mechanisms like message passing, files, shared memory, etc. In current systems, shared memory is not commonly used even though it has many advantages over message passing and file sharing such as simplicity, efficiency, and lower space overhead. This t... | memory management; portable shared memory server | 1994-12 |
| 93 |
 |
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 |
| 94 |
 |
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 |
| 95 |
 |
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 |
| 96 |
 |
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 |
| 97 |
 |
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 |
| 98 |
 |
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 |
| 99 |
 |
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 |
| 100 |
 |
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 |