|
|
Title | Description | Subject | Date |
76 |
|
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 |
77 |
|
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 |
78 |
|
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 |
79 |
|
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 |
80 |
|
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 |
81 |
|
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 |
82 |
|
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 |
83 |
|
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 |
84 |
|
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 |
85 |
|
Carr-Distributed_C++ | | | |
86 |
|
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 |
87 |
|
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 |
88 |
|
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 |
89 |
|
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 |
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 |
|
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 |
92 |
|
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 |
93 |
|
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 |
94 |
|
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 |
95 |
|
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 |
96 |
|
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 |
97 |
|
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 |
98 |
|
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 |
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 |
|
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 |