Computer Science Archive
 
Filters: Collection: "ir_computersa"
126 - 150 of 160
Number of results to display per page
TitleDescriptionSubjectDate
126 A framework for hardware design analysis and synthesis using VHDLAn 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 language1993-03
127 Accurate capacitance and resistance extractionA 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 resistance1993-03
128 Constraints as a Paradigm for ComputingThis 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 inference1993-03
129 Interactive volume visualizationThe 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 visualization1993-06
130 An Empirical Study of Persistent Object StoresPersistent 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 identifier1993-06
131 Persistent Immutable Shared Abstractions for Concurrent SchemeA 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 tracer1994
132 Fixed Point Computation and Parallel Algorithms for Solving Wave EquationsThis 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 array1994
133 Design of a Self-Timed, Pipelined, Floating Point Multiplier in Gallium ArsenideThis 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 technology1994-06
134 A pipelined architecture for ray tracingRay 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; RayPipe1994-06
135 Sketching with constraintsThe 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 system1994-06
136 Parallel Distributed Simulation of Elastic WavesA 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 solution1994-07
137 UCL+P - a persistent common lispThe 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
138 An asynchronous floating point unitAn 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 arithmetic1994-08
139 Automated Detection of DeliriumThis 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 interface1994-12
140 Z [infinity] : a framework for reactive autonomous agent specification and analysisWe 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 systems1994-12
141 Design and implementation of a portable shared memory serverProcesses 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 server1994-12
142 Feature-based reverse engineeringReverse 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 engineering1994-12
143 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
144 E-MO : a system for automatically generating emotive-motionsA 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
145 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
146 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
147 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
148 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
149 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
150 Feature-based reverse engineering of mechanical parts: revisionReverse 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
126 - 150 of 160