Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
1 - 200 of 158
| 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 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 |
| 26 |
 |
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 |
| 27 |
 |
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 |
| 28 |
 |
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 |
| 29 |
 |
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 | |
| 30 |
 |
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 | |
| 31 |
 |
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 |
| 32 |
 |
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 |
| 33 |
 |
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 |
| 34 |
 |
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 | |
| 35 |
 |
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 |
| 36 |
 |
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 |
| 37 |
 |
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 |
| 38 |
 |
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 |
| 39 |
 |
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 |
| 40 |
 |
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 |
| 41 |
 |
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 |
| 42 |
 |
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 |
| 43 |
 |
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 |
| 44 |
 |
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 | |
| 45 |
 |
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 | |
| 46 |
 |
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 |
| 47 |
 |
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 |
| 48 |
 |
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 |
| 49 |
 |
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 |
| 50 |
 |
Concurrent scheme, a language for concurrent symbolic computing | This research addresses a portion of the "software problem," by proposing language constructs to extend the Lisp class of computer language commonly used for symbolic computing. As a representative of the class of Lisp-like languages, the Scheme dialect will be used throughout this research. | computer language; symbolic computing; concurrent processing | 1991-05 |
| 51 |
 |
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 | |
| 52 |
 |
Consistent Geometric Modeling Approaches | Boolean set operations are important in solid modeling; however making them robust is problematic. This thesis summarizes the problems with robustness of geometric algorithms caused by approximated data and numerical computation and provides two different approaches to build a robust geometric model... | geometric model; boolean set; adaptive single tolerance | 1993 |
| 53 |
 |
Constraint driven synthesis of hardware design | Design synthesis (or Synthetic Design) is an attractive alternative to manual design, due to the obvious benefits of decreased development time and correctness by construction. Unfortunately, the price for this automation has frequently been inefficient designs and a narrow range of application. The... | design synthesis; constraint driven synthesis; constraints; computers | 1983-08 |
| 54 |
 |
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 |
| 55 |
 |
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 |
| 56 |
 |
Data structures and system support for a graphical programming language editing and program development environment | This thesis presents an editing tool for use in the development of data-driven style programs. These programs are based on a hierarchical graphical syntax rather than the conventional textual syntax. The editor provides the programmer with all the necessary operations for traversing and manipulating... | editing tool; computers; data-driven style programs | 1983-12 |
| 57 |
 |
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 |
| 58 |
 |
The design and implementation of an OR-parallel logic programming system | The research focus in OR-parallel logic programming is shifting rapidly from theoretical considerations and simulation on uniprocessors to implementation on true multiprocessors. This dissertation describes the design and implementation of such a system or OR-parallel Horn clause logic programs on t... | OR-parallel; computers | 1987-08 |
| 59 |
 |
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 |
| 60 |
 |
Design goals of an editor for storage logic arrays | Abstract: Integrated circuits of increased density require both better fabrication technology and tools for managing the design complexity. Before stepping firmly into the era of Very Large Scale Integration (VLSI), powerful abstractions of integrated circuit design and associated software tools mu... | storage logic arrays; Integrated circuit design | 1981-06 |
| 61 |
 |
Design of a Self-Timed, Pipelined, Floating Point Multiplier in Gallium Arsenide | This thesis presents the design of a self-timed, floating point multiplier in Gallium Arsenide (GaAs) technology. It implements the Institute of Electrical and Electronic Engineers (IEEE) single precision standard. Self-timed design methodology offers some advantages over a synchronous approach, esp... | gallium arsenide; floating point multiplier; GaAs; GaAs technology | 1994-06 |
| 62 |
 |
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 | |
| 63 |
|
Digital Image Deblurring by Nonlinear Homomorphic Filtering | This report 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 successful estimation. Fo... | 1974-08 | |
| 64 |
 |
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 |
| 65 |
 |
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 |
| 66 |
 |
Discrete B-Splines as an Approach to Computer Aided Geometric Design | Investigations have been made of many interesting problems deriving from the applications of discrete splines to the problems of computer aided geometric design. New theory and algorithms have been developed and support mechanisms based on the Oslo algorithm have been incorporated in order to help u... | 1985-09 | |
| 67 |
 |
The dynamic expansion of class hierarchy | This dissertation focuses on dynamic expansion of the class hierarchy of programs written in the C++ programming language. | C++; dynamic expansion; program class hierarchy; computers | 1995-08 |
| 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 |
 |
Efficient evaluation of normal order through strictness information | Normal order functional languages (NOFLs) offer conceptual simplicity, expressive power and attractiveness for parallel execution. In NOFLs expressions are represented in a graphical form and transformed to the final answer using graph transformation rules. Until the G-machine project in Sweden, imp... | NOFL; strictness analysis; computers | 1987-03 |
| 70 |
 |
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 |
| 71 |
 |
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 |
| 72 |
 |
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 |
| 73 |
 |
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 | |
| 74 |
 |
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 |
| 75 |
 |
Feature-based reverse engineering of mechanical parts: revision | Reverse engineering of mechanical parts requires extraction of information about an instance of a particular part sufficient to replicate the part using appropriate manufacturing techniques. This is important in a wide variety of situations, since functional CAD models are often unavailable or unusa... | 1995-11-06 | |
| 76 |
 |
FEL + set abstraction = database query language | The methodology of embedding set abstraction into FEL is described. Set abstraction is a powerful notation which can be used directly for higher level database query language. | set abstraction; FEL | 1983-09 |
| 77 |
 |
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 | |
| 78 |
 |
First-Order Unification in Equational Theories and its Application to Logic Programming | This thesis studies first-order unification in equational theories, called E-unification, paying particular attention to complete unification algorithms for classes of equational theories. It also investigates how results and notions of E-unification can be applied to logic programming systems that ... | first-order unification; equational theory; logic programming; e-unification; semantic unification; dec-20; prolog | 1985 |
| 79 |
 |
Fixed Point Computation and Parallel Algorithms for Solving Wave Equations | This dissertation is concerned with two problems: fixed-point computation and parallel algorithms for solving wave equations. Many problems can be formulated as fixed-point problems, which is to solve the equations of the form f(x) - x = 0. We develop efficient algorithms and establish complexity re... | fixed point computation; parallel algorithm; fixed point envelope; fixed point ellipsoid; wave equation; processor array; transputer; linear array | 1994 |
| 80 |
 |
FLEX - A Flexible Extendable Language | The FLEX system consists of merged 'hardware' and 'software' that is optimized towards handling algorithmic operations in an interactive, man-machine dialog. The basic form is that of a hardware implementation of a parametric compiler embedded in an environment that is well-suited for semantically d... | 1968-06 | |
| 81 |
 |
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 | |
| 82 |
 |
Frame buffer system selection | Abstract: This report summarizes the objectives of the University of Utah's Computer Science Department in its purchase of a frame buffer. The criteria for selection are given, along with a consideration of commercially available systems. | frame buffer; computer memory; raster-scan images; display hardware; University of Utah Computer Science Department | 1979-01 |
| 83 |
 |
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 |
| 84 |
 |
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 |
| 85 |
 |
Geometric Hashing for Processing Complex Scenes | This work presents a new technique for handling many object interaction schemes developed using a graph theoretic approach. The interaction can be optical, as in ray tracing, or geometric, as in many body collision. Other problems solved by ray tracing, such as mass and volume calculation and viewin... | geometric hashing; object interaction; graph theory; ray tracing; many body collision | 1985 |
| 86 |
 |
Graph-based approach for solving geometric constraint problems | This dissertation presents a new graph representation for constraint problems based on the notion of degrees of freedom and valencies. Any geometric primitive ( point, line, circle, plane, etc.) possess an intrinsic degree of freedom in its embedding space. Constraints reduce the degrees of freedom ... | computers; geometric constraint problems; graph | 1996-05 |
| 87 |
 |
GS--Graphics System | The reference manual is intended for programmers working on the ARPA Project at the University of Utah who are familiar with the UNIVAC 1108, Exec 2, and FORTRAN or ALGOL. The following topics are discussed: On-line operation; Graphics system services; Information displays Inc. display codes; Tektro... | 1967-11-15 | |
| 88 |
 |
Heterojunction bipolar transistor sigma-delta analog to digital converter for spread spectrum receiver | The focus of this thesis work was to investigate a means of implementing a high speed sigma-delta modulator that can be used as the front end of a direct sequence spread spectrum receiver. | sigma-delta modulator; computers | 1995-12 |
| 89 |
 |
High-speed conterflow-clocked pipelining illustrated on the design of subband vector quantizatizer chips | This dissertation introduces Counterflow-Clocked (C2) pipelining and discusses its usefulness and limitations to build large, high speed VLSI chips. It also presents the design of an image compression chip set to implement subband vector quantization that can handle HDTV data rates with reasonable V... | VLSI chips; counterflow-clocked pipelining; computers | 1995-12 |
| 90 |
 |
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 | |
| 91 |
 |
Image Recognition Using Generalized Correlation | This paper investigates the use of generalized cross-correlation in pattern matching when the objects may be of one or two dimensions. Generalized correlation can be used to determine the amount of dilatation and rotation between a given template and an object, in addition to determining the relativ... | 1977-08 | |
| 92 |
 |
Implementation of a network database using a function graph language | Abstract: Most of the work on databases to date has involved approaches that deviate considerably from a purely mathematical (functional) viewpoint. The research reported in this thesis deals with an implementation of a network database using FGL to achieve this functionality. The amount of database... | network database | 1981-06 |
| 93 |
 |
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 |
| 94 |
 |
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 |
| 95 |
 |
Interaction with constraints in three-dimensional modeling | The purpose of this thesis is to simplify and improve the efficiency of the interactive definition of geometric objects in computer aided geometric modeling. To achieve this goal two ways of defining geometric objects are combined and interfaced: 1) the definition of objects by interactive construct... | three-dimensional modeling; computers | 1991-05 |
| 96 |
 |
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 | |
| 97 |
 |
Interactive volume visualization | The purpose of scientific computation is insight. Visualization is the most direct way to bring out and deliver insight. The advances of technology have allowed scientists to simulate or observe our physical world at a much higher resolution than was available previously. As a result, large-scale nu... | computer graphics; volume visualization | 1993-06 |
| 98 |
 |
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 |
| 99 |
 |
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 |
| 100 |
 |
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 |
| 101 |
 |
Localization in outdoor static terrain (LOST) | This thesis considers problems that arise while combining these strategies with a feature based approach to the localization problem. A subset of strategies were simplified and implemented, along with key feature based concepts. This experimentation has helped to point out and clarify some aspects o... | localization problem; LOST; localization; computers | 1995-12 |
| 102 |
 |
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 | |
| 103 |
 |
The Many Faces of Introspection | In psychology, introspection is a common term meaning an examination of one's own thought process and sensory experience. Similarly, introspection in computer systems enables a computer to examine its own computational behavior. A computer that ""understands"" its own behavior, an introspective comp... | 1992-04 | |
| 104 |
 |
Matte volumes for selective data visualization | The matte volumes system uses a volume renderer, surface renderer, and slice viewer for the exploration and visualization of three-dimensional scalar field data. The size and complexity of the volume data pose an interesting challenge to the ideal of providing the scientist with a system which autom... | matte volumes; three-dimensional scalar field data; computers; matte volumes system | 1995-08 |
| 105 |
 |
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 |
| 106 |
 |
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 |
| 107 |
 |
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 |
| 108 |
 |
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 |
| 109 |
 |
Noise Suppression Methods for Robust Speech Processing | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments to develop real time, compressed speech analysis-synthesis algorithms whose performance is invariant under s... | 1979-04 | |
| 110 |
 |
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 |
| 111 |
 |
Numerical weather prediction model for distributing computing systems | The objectives of this research are twofold: One is to develop and implement a spectral numerical weather prediction model using parallel algorithms. The other objective is to examine a parallel paradigm that allows users to write parallel scientific algorithms easily and efficiently. | weather predictions; spectral numerical weather predictions; weather prediction model; parallel algorithms; computers | 1991-08 |
| 112 |
 |
Object models for computer aided design | Abstract: The goal of this research has been to develop an underlying modeling system to support applications in computer modeling system to support applications in computer aided design and scientific modeling. Particular emphasis has been given to two key issues: 1. data base support; 2. graphic ... | scientific modeling; computer models; data base support; graphic interaction; graphic support system | 1976-03 |
| 113 |
 |
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 |
| 114 |
 |
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 |
| 115 |
 |
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 |
| 116 |
 |
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 |
| 117 |
 |
Parallel Distributed Simulation of Elastic Waves | A parallel distributed algorithm to simulate the propagation of waves through elastic media is presented and tested. The algorithm is based on a fourth-order finite difference solution of the elastic wave equation in three dimensions and incorporates a staggered grid formulation to solve for the di... | computers; computer programming; algorithm; elastic media; parallel distributed algorithm; fourth-order finite difference solution | 1994-07 |
| 118 |
 |
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 |
| 119 |
 |
Parallel solution of Poisson's problems on irregular domain. | This thesis is devoted to the solution of the Poisson problem on an irregular domain applying parallel computation techniques on distributed memory machines. | Poisson problem; computers | 1995-06 |
| 120 |
 |
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 |
| 121 |
 |
Parametric approximation to surfaces | The use of B-splines for the approximation of functions and data is well established. Issues such as parametrization, knot placement and reparametrizaton are important in determining the B-spline representation for the data. Compactness of the B-spline representation also becomes an issue when deali... | 1992-12 | |
| 122 |
 |
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 | |
| 123 |
 |
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 |
| 124 |
 |
The persistent object system MetaStore : persistence via metaprogramming | Object intensive applications require persistence of complex objects. Many of these applications also use vast amounts of data, often exceeding a machine's virtual memory, MetaStore is a portable, persistent object system designed to solve these problems.; MetaStore uses the metaprogramming faciliti... | 1992-06 | |
| 125 |
 |
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 |
| 126 |
 |
Reactive Behavior Design Tools | The behavior of sensor based autonomous agents can be stratified into three basic levels. The first is low-level motor and sensor control, the second is mid-level reactive processes and the third is high-level end goals of the robotic device. The middle level of control, reactive processes, is the a... | robots; control system; reactive behaviors; COSPAN | 1992-01 |
| 127 |
 |
Real-time measurement of multiple three-dimensional positions | 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)... | light-emitting diodes; photomultiplier | 1973-06 |
| 128 |
 |
Real-time measurement of multiple three-dimensional positions | 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)... | light-emitting diodes; photomultiplier | 1973-06 |
| 129 |
 |
Reconstruction of three-dimensional surfaces from two-dimensional projections | Abstract: This thesis describes a method for determining the three-dimensional shape of an object from a set of photographs of the objects. For a non-glossy surface, the image brightness is, in theory, a function only of the normal to the surface and of the incident light direction. A reflectivity l... | three-dimensional images; image brightness; reflectivity law | 1981-06 |
| 130 |
 |
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 |
| 131 |
 |
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 | |
| 132 |
 |
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 |
| 133 |
 |
Scientific visualization for finite element analysis data sets | The research is focused on developing new techniques for visualizing FEA data sets. In this thesis, new parallel volume rendering algorithms are outlined to speed up scalar field visualization. Strreamlines, streamribbons and streamtubes are the most fundamental tools for exploring vector field data... | finite element analysis; FEA; computers; algorithms | 1996-08 |
| 134 |
 |
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 |
| 135 |
 |
Seqwarp: A low-cost linear systolic array for biological sequence comparison | This thesis involved the design, implementation, and testing of Seqwarp, a linear systolic array capable of performing biological sequence comparison, using a revised Smith-Waterman dynamic programming algorithm. Through the use of Seqwarp, search and comparison problems equivalent to those performe... | Seqwarp; biological computation; computers; biological sequence comparison | 1991-08 |
| 136 |
 |
Shape recovery of volume data with deformable B-spline models | The research described in this dissertation explores a new technique for shape recovery with deformable models using B-spline surfaces. | b-spline surfaces; computers | 1996-08 |
| 137 |
 |
Simulation of numerically controlled milling machines | This thesis describes a system that can be used to simulate both 3 and 5-axis NC milling toolpaths, reading BCL code. This simulator is based on the imagespace approach in which the workpiece is represented using the z-values resulting from the rendering of a model and metal removal is achieved thro... | NC milling; numerical control; computers | 1995-03 |
| 138 |
 |
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 |
| 139 |
 |
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 |
| 140 |
 |
Space-Form. Computer-Aided Design for Architecture | The design approach proposed in the report is generated from basic space-forms. These three-dimensional forms are used by the designer as building blocks to design at every scale--from the most minute details of a given building to the eventual placement of the building in the context of its surroun... | 1968-09-01 | |
| 141 |
 |
Spacetime Control of Linked Figures | This dissertation describes the development of techniques to automate the creation of physically-based, goal-directed motion of synthetic creatures, More specifically, the research concentrates on developing an underlying mathematical representation for constraints and objectives imposed on a creatu... | computer animation; spacetime control; animated figures; creature motion | 1992-06 |
| 142 |
 |
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 |
| 143 |
 |
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 |
| 144 |
 |
Subdivision algorithm for computer display of curved surfaces | Abstract: 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 ... | Curved surfaces; Computer shaded pictures; Curved patches | 1974 |
| 145 |
 |
Surface perturbations for texture mapping | This thesis present a new method of texture mapping which can be used in conjunction with the above techniques to improve textured images. The proposed method uses surface perturbations for texture mapping. Surface perturbations enhance traditional texture mapping techniques by allowing the texture ... | surface perturbations; texture mapping; computers | 1987-03 |
| 146 |
 |
Surface Representation-Symbolic Computation | Recent research in Computer Aided Geometric Design is surveyed in this paper. A DEMONSTRATION of the feasibility and utility of some of the new methods of curve and surface representation for interactive design is given in a movie which will be shown during the presentation. (Author) | 1978-04 | |
| 147 |
 |
Syntax Directed on-Line Recognition of Cursive Writing | A syntax organization for recognition of handwritten connected-word is studied in the work. Each writing is cut into strokes at the middle point of every down cave of the writing, and the strokes are named using their directional characteristics and relative size among the strokes. A syntax is organ... | 1968-07 | |
| 148 |
 |
Synthesis, Verification and Optimization of Systolic Arrays | Systolic arrays are a class of parallel architectures consisting of regular interconnections of a very large number of simple processors, each one operating on a small part of the problem. They are typically designed to be used as back-end. special-purpose devices for computation-intensive processin... | computer architecture; systolic array; VLSI | 1986-12 |
| 149 |
 |
Three-Dimensional Input for Computer Graphics | The paper states the need for three-dimensional input for architectural work using computer graphics. The paper consists of two sections. The first section deals with laser Examples are given comparing old methods of ground survey with photogrammetry. | 1968-06 | |
| 150 |
 |
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 |
| 151 |
 |
Towards a language independent object system | This thesis proposes a solution to the problem of mixed language programming in an object-oriented environment that centers around an object specification that can describe the features of objects in a language independent fashion. Also, a stub generator which reads this specification and creates me... | object-oriented programming; mixed language programming; programming; computers; object-oriented environment; stub generator | 1991-06 |
| 152 |
 |
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 |
| 153 |
 |
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 |
| 154 |
 |
TWEAK: A three-dimensional toolkit and modeling system using snapping and constraints | The goal of this thesis is to provide a simple and intuitive user interface to a three-dimensional (3D) Computer Aided Design system. The interactive modeling system described here was built to demonstrate the utility of this user interface. The four main parts of the system are discussed. | Tweak; snapping; constraint; interactive modeling system; DI-3D graphics library | 1996-12 |
| 155 |
 |
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 |
| 156 |
 |
UNIDEC Assembler | The report discusses the UNIDEC assembler which runs on the UNIVAC 1108 and passes assembled PDP-8 code over the electronic link between the two machines. | 1968-06-06 | |
| 157 |
 |
The use of inverse rendering in lighting design | This dissertation presents an inverse rendering approach for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. | image synthesis system; radiosity; inverse rendering; designing illumination; computers; radioptimization | 1995-06 |
| 158 |
 |
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 |
1 - 200 of 158