Computer Science Archive
 
Filters: Collection: "ir_computersa" Type: "Text"
126 - 150 of 160
Number of results to display per page
TitleDescriptionSubjectDate
126 Rule Based Process Planning System for Hole Feature MachiningTraditional 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; holemaking1989-05
127 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
128 Sequencing computational events in heterogeneous distributed systemsDistributed 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 algorithms1990-06
129 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
130 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
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 Sisyphus, an environment for simulationSisyphus 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; ICs1986-12
133 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
134 Space-Form. Computer-Aided Design for ArchitectureThe 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
135 Spacetime Control of Linked FiguresThis 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 motion1992-06
136 Static Analysis of Multiparadigm LanguagesWe 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 paradigm1990
137 Static inference in applicative languagesStatic 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 languages1985-03
138 Subdivision algorithm for computer display of curved surfacesAbstract: 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 patches1974
139 Surface Representation-Symbolic ComputationRecent 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
140 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
141 Syntax Directed on-Line Recognition of Cursive WritingA 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
142 Synthesis, Verification and Optimization of Systolic ArraysSystolic 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; VLSI1986-12
143 TICL : a Type Inference System for Common LispMost 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; TICL1989-03
144 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
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 The Development of a Virtual Database and an Evaluation of Techniques to Improve the Performance of a Virtual DatabaseThis 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
147 The Efficient Modeling of Processor Behavior and PerformanceSimulation 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 models1985-12
148 The Fluke Security ProjectThis 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
149 The Many Faces of IntrospectionIn 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
150 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
126 - 150 of 160