Computer Science Archive
 
Filters: Collection: "ir_computersa"
51 - 75 of 149
Number of results to display per page
TitleDescriptionSubjectDate
51 A Constant Percentage Bandwidth Transform for Acoustic Signal ProcessingThis paper describes a constant percentage bandwidth transform for acoustic signal processing. Such a transform is shown to emulate behavior found in the human auditory system. A synthesis transformation is developed which, when cascaded with the absence of spectral modification. The effects of spec...1980-01
52 A FORTRAN V Interactive Graphical SystemThe system described provides the capability of transforming an ordinary FORTRAN 5 program into a highly interactive program. The converted program makes the user, the display scope, and teletype console all an integral part of the execution of the program. At present, the system allows the user to ...1968-04-03
53 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
54 A Saddle Point Strategy for Path PlanningThis thesis explores a new strategy for addressing the local minimum problem. As a prerequisite, a smooth potential function with a well-defined analytical gradient is devised. The availability of exact derivatives permits the use of more sophisticated optimization methods than those typically emplo...robots; robotics; motion planning, path planning; saddle point; c-space; quasi-newton1993
55 A Subdivision Algorithm for Computer Display of Curved SurfacesThis 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 raster- ele...1974-12
56 Constraint driven synthesis of hardware designDesign synthesis (or Synthetic Design) is an attractive alternative to manual design, due to the obvious benefits of decreased development time and correctness by construction. Unfortunately, the price for this automation has frequently been inefficient designs and a narrow range of application. The...design synthesis; constraint driven synthesis; constraints; computers1983-08
57 Data structures and system support for a graphical programming language editing and program development environmentThis thesis presents an editing tool for use in the development of data-driven style programs. These programs are based on a hierarchical graphical syntax rather than the conventional textual syntax. The editor provides the programmer with all the necessary operations for traversing and manipulating...editing tool; computers; data-driven style programs1983-12
58 Digital Image Deblurring by Nonlinear Homomorphic FilteringThis report 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 successful estimation. Fo...1974-08
59 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
60 Implementation of SCMAID: A Microprogrammer's Assistant for Concurrent Soft Controlled MicroarchitecturesThe SCMaid has been implemented in a portable dialect of LISP called PSL which is a product of the Symbolic Computation Group at the University of Utah. Since PSL has been implemented on a wide variety of machines from microprocessors to the Cray-1, SCMaid can be run on a large number of systems. Th...symbolic computation group; scmaid; psl; lisp1985-04
61 Modeling the Motion of Human Muscle Systems with Computer GraphicsThe Sarcomere system uses computer graphics to model human muscle systems. Each muscle is modeled as a collection of discrete, movable elements that we call muxels. The advantages of this model include fast integer-based processing and user specified variable resolution. The Sarcomere system process...sarcomere; muxel; muscle system1990-08
62 PRT--a high quality image synthesis system for B-spline surfacesMany applications in Computer Aided Design require high quality images of three-dimensional scenes. A system is presented for rendering objects designed with an existing B-spline based geometric modeling package. Two algorithms for ray tracing B-spline surfaces are discussed, one using iterative num...computer graphics; computer aided design; B-spline surfaces; image synthesis system1988-12
63 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
64 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
65 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
66 A shading method for computer generated imagesA shading method for computer generated images is developed that provides benefits of both ray tracing and radiosity methods. Diffuse reflection behavior is taken from the radiosity approach, while specular reflection and transparency are based on ray tracing methods. Distributions of sample rays ar...computer graphics; shading method; computer generated images; ray tracing; radiosity1988-06
67 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
68 An automated wire routing kernelThe kernel described here is based on using pattern matching techniques for describing algorithms. The use of patterns permits different physical constraints and properties to be considered. In addition, the abstraction provided by patterns allows the ability to transform oddly shaped routing areas ...computers; kernel functions1991-07
69 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
70 Consistent Geometric Modeling ApproachesBoolean set operations are important in solid modeling; however making them robust is problematic. This thesis summarizes the problems with robustness of geometric algorithms caused by approximated data and numerical computation and provides two different approaches to build a robust geometric model...geometric model; boolean set; adaptive single tolerance1993
71 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
72 KIT : an experimental solid modelling systemThe 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 system1985-06
73 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
74 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
75 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
51 - 75 of 149