UScholar Works
 
Filters: Department: "Computing, School of" School Or College: "College of Engineering" Collection: "ir_uspace"
126 - 150 of 912
Number of results to display per page
CreatorTitleDescriptionSubjectDate
126 Sikorski, KrisOptimal solution of nonlinear equationsWe survey recent worst case complexity results for the solution of nonlinear equations. Notes on worst and average case analysis of iterative algorithms and a bibliography of the subject are also included.1985
127 Cohen, ElaineA new local basis for designing with tensioned splinesRecently there has been a great deal of interest in the use of "tension" parameters to augment control mesh vertices as design handles for piecewise polynomials. A particular local cubic basis called p-splines, which has been termed a "generalization of B-splines", has been proposed as an appropriat...Tensioned splines1985
128 Panangaden, PrakashVerification of systolic arrays: a stream functional approachWe illustrate that the verification of systolic architectures can be carried out using techniques developed in the context of verification of programs. This is achieved by a decomposition of the original problem into separately proving the correctness of the data representation and of the individual...Verification; systolic arrays; stream function1985
129 Henderson, Thomas C.The synthesis of visual recognition strategiesA coherent automated manufacturing system needs to include CAD/CAM, computer vision, and object manipulation. Currently, most systems which support CAD/CAM do not provide for vision or manipulation and similarly, vision and manipulation systems incorporate no explicit relation to CAD/ CAM models. CA...visual recognition; automated manufacturing systems; object manipulation1985
130 Swope, Steven M.Simon II kernel reference manualThe principal objective of Simon II is to provide a flexible and adaptable framework for constructing simulators for a wide variety of parallel systems. A simulator consists of a set of software building blocks. Each building block, i.e. object, simulates a specific component of the parallel system...Simon II; Kernels; Simulators; Parallel systems1986
131 Grodstein, JoelUser's manual for the sisyphus simulation environmentThis report describes how to create and simulate a design with Sisyphus. Inasmuch as Sisyphus is written in Symbolics-Lisp, some familiarity with both Lisp and with Symbolics computers is presumed. In addition, the concepts presented here presume an acquaintance with [3]. First, a disclaimer ? this...Sisyphus; Simulation environment; Symbolics-Lisp; Symbolics computers1986
132 Smith, Kent F.PPL design examples (NMOS30 Version)This work was supported in part by Defense Advanced Research Projects Agency under Contract number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the views of DARPA.Circuits; Design1986
133 Fujimoto, Richard M.On synthesizing systolic arrays from recurrence equations with linear dependenciesWe present a technique for synthesizing systolic architectures from Recurrence Equations. A class of such equations (Recurrence Equations with Linear Dependencies) is defined and and the problem of mapping such equations onto a two dimensional architecture is studied. We show that such a mapping is ...Recurrence equations1986
134 Carter, Tony M.Ada-to-silicon compiler study (Final Report 30 Jan 85 - 30 Jun 86)The vision of a system design environment in which both hardware and software components could be designed, tested, and executed was proffered by the late Dr. Elliott Organick1 in 1981. He was impressed by the objectiveness of Ada and the availability of an architecture (the Intel 432) which was sp...ADA language1986
135 Smith, Kent F.Simppl user's guideThis work was supported in part by Defense Research Projects Agency under Contract Number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the view of DARPA.SIMPPL; User guide1986
136 Henderson, Thomas C.Utah range databaseThis document describes in detail the range database provided by the Department of Computer Science at the University of Utah. This document is intended for the person(s) involved in installing the database and those using the database. The images are in four sets: the University of Utah images, SR...Utah range database1986
137 Hansen, Charles D.; Henderson, Thomas C.CAGD based 3-D visual recognitionA coherent automated manufacturing system needs to include CAD/CAM, computer vision, and object manipulation. Currently, most systems which support CAD/CAM do not provide for vision or manipulation and similarly, vision and manipulation systems incorporate no explicit relation to CAD/CAM models. CAD...Visual recognition; Computer Aided Geometric Design (CAGD)1986
138 Henderson, Thomas C.Combining symbolic and numeric computation on the CRAYIt is now widely accepted that the CRAY supercomputers are very useful for large numeric applications, e.g., Finite Element Analysis, Fluid Dynamics, Image Processing, etc. Much work has been done to make them run efficiently on the CRAY. There has also been some effort to do symbolic computing (Al ...CRAY supercomputers; Symbolic computation; Numeric computation1986
139 Sikorski, KrisComplexity of computing topological degree of Lipschitz functions in n dimensionsWe find lower and upper bounds on the complexity, comp(deg), of computing t h e topological degree of functions defined on the n-dimensional unit cube Cn, f : ?Cn Rn,n ? 2, which satisfy a Lipschitz condition with constant K and whose infinity norm at each point on t h e boundary of Cn is at least d...Lipschitz functions1986
140 Henderson, Thomas C.Multisensor knowledge systemsWe describe an approach which facilitates and makes explicit the organization of the knowledge necessary to map multisensor system requirements onto an appropriate assembly of algorithms, processors, sensors, and actuators. We have previously introduced the Multisensor Kernel System and Logical Sen...Multisensors; Multisensor Kernel System; Multisensor systems1986
141 Smith, Kent F.PPL quick reference guide (NMOS)This work was supported in part by Defense Research Projects Agency under Contract Number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the view of DARPA.NMOS1986
142 Henderson, Thomas C.An O(n) time discrete relaxation architecture for real-time processing of the consistent labeling problemDiscrete relaxation techniques have proven useful in solving a wide range of problems in digital signal and digital image processing, artificial intelligence, operations research, and machine vision. Much work has been devoted to finding efficient hardware architectures. This paper shows that a conv...Discrete relaxation techniques1986
143 Henderson, Thomas C.A survey of dextrous manipulationThe development of mechanical end effectors capable of dextrous manipulation is a rapidly growing and quite successful field of research. It has in some sense put the focus on control issues, in particular, how to control these remarkably humanlike manipulators to perform the deft movement that we t...Dextrous manipulation1986
144 Fujimoto, Richard M.Systolic array synthesis by static analysis of program dependenciesWe present a technique for mapping recurrence equations to systolic arrays. While this problem has been studied in fairly great detail, the recurrence equations that are analysed here are a generalization of those studied previously. In a n earlier paper (14] we have showed how systolic arrays can b...Systolic array synthesis; static analysis; program dependencies; recurrence equations1986
145 Smith, Kent F.Tiler user's guideTiler is a special interactive editor used for designing VLSI circuits using the Path Programmable Logic (PPL) methodology. PPL cells are inserted into a rectangular grid by typing characters that represent the cells. Each available cell will have a character that represents it, but some characters ...Tiler; Interactive editor; VLSI circuits; Design; Path Programmable Logic; PPL1986
146 Henderson, Thomas C.A systolic array implementation of discrete relaxation algorithmDiscrete Relaxation techniques have proven useful in solving a wide range of problems in digital signal processing, artificial intelligence, machine vision, and VLSI engineering, etc. A conventional hardware design for an 8-label 8-object Discrete Relaxation Algorithm (DRA) requires three 4K memory...Discrete Relaxation algorithm; Systolic array1986
147 Henderson, Thomas C.Multisensor knowledge systems: interpreting 3-D structureWe describe an approach which facilitates and makes explicit the organization of the knowledge necessary to map multisensor system requirements onto an appropriate assembly of algorithms, processors, sensors, and actuators. We have previously introduced the Multisensor Kernel System and Logical Sens...Multisensors; Knowledge systems; 3-D structure; Logical Sensors1987
148 Fujimoto, Richard M.Performance measurements of distributed simulation strategiesA multiprocessor-based, distributed simulation testbed is described that facilitates controlled experimentation with distributed simulation algorithms. The performance of simulation strategies using deadlock avoidance and deadlock detection and recovery techniques are examined using various syntheti...Performance; Distributed simulation; Discrete simulation; Event-oriented; Queueing models1987
149 Fujimoto, Richard M.Optimal performance of distributed simulation programsThis paper describes a technique to analyze the potential speedup of distributed simulation programs. A distributed simulation strategy is proposed which minimizes execution time through the use of an oracle to control the simulation. Because the strategy relies on an oracle, it cannot be used for ...Distributed simulation programs1987
150 Thomas, Spencer W.Set operations on sculptured solidsA general method is presented for performing Boolean set operations on solids represented by a sculptured surface boundary model. The method is developed first for solids with closed boundary surfaces. It is then shown to apply also to "partially bounded" solids, which have incompletely specified b...Set operations; Sculptured solids; Sculptured surface; Boundary model1987
126 - 150 of 912