|
|
Title | Description | Subject | Date |
126 |
|
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 |
127 |
|
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 |
128 |
|
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 |
129 |
|
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 |
130 |
|
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 |
131 |
|
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 |
132 |
|
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 |
133 |
|
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 |
134 |
|
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 |
135 |
|
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 |
136 |
|
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 |
137 |
|
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 |
138 |
|
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 |
139 |
|
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 |
140 |
|
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 |
141 |
|
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 |
142 |
|
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 |
143 |
|
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 |
144 |
|
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 |
145 |
|
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 |
146 |
|
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 |
147 |
|
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 |
148 |
|
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 |
149 |
|
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 |
150 |
|
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 |