Computer Science Archive
 
Filters: Collection: "ir_computersa"
126 - 150 of 160
Number of results to display per page
TitleDescriptionSubjectDate
126 FEL + set abstraction = database query languageThe 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; FEL1983-09
127 Applicative updating and provisional computation in functional programmingLarge 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; computers1983-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; computers1995-06
129 Surface perturbations for texture mappingThis 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; computers1987-03
130 Graph-based approach for solving geometric constraint problemsThis 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; graph1996-05
131 Simulation of numerically controlled milling machinesThis 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; computers1995-03
132 Matte volumes for selective data visualizationThe 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 system1995-08
133 Shape recovery of volume data with deformable B-spline modelsThe research described in this dissertation explores a new technique for shape recovery with deformable models using B-spline surfaces.b-spline surfaces; computers1996-08
134 TWEAK: A three-dimensional toolkit and modeling system using snapping and constraintsThe 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 library1996-12
135 A general model for the user interface of screen editorsText 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; computers1983-03
136 The design and implementation of an OR-parallel logic programming systemThe 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; computers1987-08
137 A framework for multi-sensor integration and data acquisitionThis 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 recognition1983-08
138 Asylim: A simulation and placement checking system for path-programmable logic integrated circuitsPresented 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 system1983-06
139 Trivariate B-splinesThe 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; computers1991-12
140 GCS: A graphical front end to ASSASSINThis 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; computers1983-08
141 Constraint kernels: constraints and dependencies in a geometric modeling systemThis 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; computers1987-08
142 The A3000: An asynchronous version of the R3000This 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; computers1995-03
143 Concurrent scheme, a language for concurrent symbolic computingThis 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 processing1991-05
144 High-speed conterflow-clocked pipelining illustrated on the design of subband vector quantizatizer chipsThis 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; computers1995-12
145 A front end user interface to a geometric modelling systemThis 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 setsThe 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; algorithms1996-08
147 The dynamic expansion of class hierarchyThis dissertation focuses on dynamic expansion of the class hierarchy of programs written in the C++ programming language.C++; dynamic expansion; program class hierarchy; computers1995-08
148 Seqwarp: A low-cost linear systolic array for biological sequence comparisonThis 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 comparison1991-08
149 The use of inverse rendering in lighting designThis 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; radioptimization1995-06
150 Efficient evaluation of normal order through strictness informationNormal 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; computers1987-03
126 - 150 of 160