Filters: Department: "Computing, School of" School Or College: "College of Engineering" Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 326 |
 |
Kessler, Robert R. | Compiling distributed C++ | Distributed C++ (DC++) is a language for writing parallel applications on loosely coupled distributed systems in C++. Its key idea is to extend the C++ class into 3 categories: gateway classes which act as communication and synchronization entry points between abstract processors, classes whose... | Distributed C++; DC++; Parallel applications | 1994 |
| 327 |
 |
Brunvand, Erik L. | Peephole optimization of asynchronous macromodule networks | Most high level synthesis tools for asynchronous circuits take descriptions in concurrent hardware description languages and generate networks of macromodules or handshake components. In this paper we describe a peephole optimizer for such macromodule networks that often effects area and/or time im... | 1994 | |
| 328 |
 |
Hansen, Charles D. | Recent developments in parallel rendering | Using parallel computers for computer graphics rendering dates back to the late 1970s. Several papers published then focused on image space decompositions for theoretical parallel machines. Early research concentrated on algorithmic studies and special-purpose hardware, but the growing availability... | Parallel rendering; Massively parallel processors | 1994 |
| 329 |
 |
Stoller, Leigh B. | PPE-level protocols for carpet clusters | We describe the lowest level of a suite of protocols for workstation cluster multicomputers: the parts implemented in hardware by a Protocol Processing Engine (PPE) and the software level immediately above the PPE. The stated goal of this work is extremely low end-to-end latency communications on in... | Workstation clusters; Protocol Processing Engine; PPE | 1994 |
| 330 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | URK: Utah robot kit - A 3-link robot manipulator prototype | In designing robot manipulators, the interaction between several modules (S/W, VLSI, CAD, CAM, Robotics, and Control) illustrates an interdisciplinary prototyping environment that includes different types of information that are radically different but combined in a coordinated way. This paper descr... | URK; Utah Robot Kit; robot manipulators; prototyping environment | 1994 |
| 331 |
 |
Brunvand, Erik L. | Testing micropipelines | Micropipelines, self-timed event-driven pipelines, are an attractive way of structuring asynchronous systems that exhibit many of the advantages of general asynchronous systems, but enough structure to make the design of significant systems practical. As with any design method, testing is critical. ... | 1994 | |
| 332 |
 |
Brunvand, Erik L. | Reduced latency self-timed FIFO circuits | Self-timed flow-through FIFOs are constructed easily using only a single C-element as control for each stage of the FIFO. Throughput can be very high in FIFOs of this type because new data can be sent to the FIFO after communicating locally with only the first element of the FIFO. Therefore the thro... | FIFO circuits; Self-timed; Flow-through; Reduced latency | 1994 |
| 333 |
 |
Carter, John B. | Evaluating the potential of programmable multiprocessor cache controllers | The next generation of scalable parallel systems (e.g., machines by KSR, Convex, and others) will have shared memory supported in hardware, unlike most current generation machines (e.g., offerings by Intel, nCube, and Thinking Machines). However, current shared memory architectures are constrained b... | Programmable multiprocessor cache controllers; Scalable parallel systems; Shared memory | 1994 |
| 334 |
 |
Henderson, Thomas C. | EGOR: design, development, implementation an entry in the 1994 AAAI robot competition | EGOR, an entry in the 1994 AAAI Robot Competition, was built by ate am from the Department of Computer Science at the University of Utah. The constraints imposed by the competition rules, and by cost and time, led to the development of a system composed of off-the- shelf parts based on a mobile bas... | EGOR; AAAI Robot Competition | 1994 |
| 335 |
 |
Cobb, James E. | Tiling the sphere with rational bezier patches | One of the fundamental problems in Computer Aided Geometric Design (CAGD) is the representation of shapes. Two representation schemes that have proved useful for modeling free-form shapes are parametric Bezier and B-spline surfaces [2,8]. In fact the Bezier patch is a special case of the B-spline ... | Tiling; rational Bezier patches; Computer Aided Geometric Design; CAGD; B-spline surface | 1994 |
| 336 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Robot manipulator prototyping (Complete Design Review) | Prototyping is an important activity in engineering. Prototype development is a good test for checking the viability of a proposed system. Prototypes can also help in determining system parameters, ranges, or in designing better systems. The interaction between several modules (e.g., S/W, VLSI, CAD,... | Robot manipulator; Prototyping | 1994 |
| 337 |
 |
Freire, Juliana | Parallelizing tabled evaluations | SLG is a table-oriented resolution method that extends SLD evaluation in two ways. It computes the well-founded model for logic programs with negation with polynomial data complexity,and it terminates for programs with the bounded-term-size property. Furthermore SLG has an efficient sequential imple... | Parallel logic programming; Tabling; Table parallelism; SLG; XSB | 1994 |
| 338 |
 |
Brunvand, Erik L. | Performance analysis and optimization of asynchronous circuits | Asynchronous/Self-timed circuits are beginning to attract renewed attention as promising means of dealing with the complexity of modern VZSI designs. Very few analysis techniques or tools are available for estimating their performance. In this paper we adapt the theory of Generalized Timed Petri-n... | 1994 | |
| 339 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Prototyping environment for robot manipulators | Developing an environment that enables optimal and flexible design of robot manipulators using reconfigurable links, joints, actuators, and sensors is an essential step for efficient robot design and prototyping. Such an environment should have the right "mix" of software and hardware components for... | Prototyping; Robot manipulators | 1994 |
| 340 |
 |
Johnson, Christopher R. | Semi-automatic image segmentation: a bimodal thresholding approach | We have developed a semi-automatic image segmentation tool which combines conventional manual segmentation utilities with a novel automatic image segmentation algorithm. Manual segmentation is achieved by dropping control points and fitting cubic splines to these points. Automatic segmentation is a... | Image segmentation; Segmentation algorithms; Bimodal thresholding | 1994 |
| 341 |
 |
Gopalakrishnan, Ganesh | Case studies in symbolic model checking | The need to formally verify hardware and software systems before they are deployed the real world has been recognized for several decades now. This is especially true of concurrent systems that are even more difficult to debug than sequential systems. For example, many of the protocols that get emp... | Symbolic model checking; Hardware verification; Software verification | 1994 |
| 342 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Industrial inspection and reverse engineering | We propose a new design for inspection and reverse engineering environments. We have designed and experimented with such an environment for capturing sense data of mechanical parts in an intelligent way. We construct a sensing ? CAD interface for the automatic reconstruction of parts from visual d... | Industrial inspection; Discrete event dynamic system; DEDS; DRFSM | 1994 |
| 343 |
 |
Hansen, Charles D. | Fast stereoscopic images with ray-traced volume rendering | One of the drawbacks of standard volume rendering techniques is that it is often difficult to comprehend the three-dimensional structure of the volume from a single frame; this is especially true in cases where there is no solid surface. Generally, several frames must be generated and viewed sequent... | Volume rendering; Ray tracing; Stereoscopic images; Reprojection | 1994 |
| 344 |
 |
Hansen, Charles D. | Parallel rendering | Massively parallel computers have emerged as valuable tools for performing scientific and engineering computations, far outstripping the capabilities of independent workstations in both sheer floating point performance and memory capacity. As the resolution of simulation models increases, graphics ... | Parallel rendering; Massively parallel processors | 1994 |
| 345 |
 |
Sobh, Tarek M. | Discrete event control for inspection and reverse engineering | We address the problem of intelligent sensing in this work. In particular, we use discrete event dynamic systems (DEDS) to guide the sensing of mechanical parts for industrial inspection and reverse engineering. | Discrete event control; Intelligent sensing; Inspection; Discrete event dynamic systems; DEDS | 1994 |
| 346 |
 |
Parker, Steven G.; Johnson, Christopher R. | Interactive manipulation of contour data using the layers program | The "layers" program is useful for visualizing and editing large sets of contour data. These datasets arise frequently when trying to extract geometry from MRI slices. Due to the imprecise nature of the MR imaging and segmentation processes, the contours extracted may not accurately reflect the huma... | Contour data; Layers program; MRI slices | 1994 |
| 347 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A unifying framework for tolerance analysis in sensing, design, and manufacturing | In this work we address the problem of tolerance representation and analysis across the domains of industrial inspection using sensed data, CAD design, and manufacturing. Instead of using geometric primitives in CAD models to define and represent tolerances, we propose the use of stronger methods t... | Tolerance representation; Tolerance analysis; Industrial inspection; Sensed data; CAD design | 1994 |
| 348 |
 |
Hansen, Charles D. | Parallel volume rendering using binary-swap compositing | Existing volume rendering methods, though capable of very effective visualizations, are computationally intensive and therefore fail to achieve interactive rendering rates for large data sets. Although computing technology continues to advance, computer processing power never seems to catch up to th... | 1994 | |
| 349 |
 |
Gopalakrishnan, Ganesh | Performance analysis and optimization of asynchronous circuits | Asynchronous/Self-timed circuits are beginning to attract renewed attention as promising means of dealing with the complexity of modern VLSI designs. However, there are very few analysis techniques or tools available for estimating the performance of asynchronous circuits. In this paper we adapt th... | Asynchronous circuits; Performance analysis; Optimization; VLSI circuits | 1994 |
| 350 |
 |
Johnson, Christopher R. | Techniques for visualizing 3D unstructured meshes | We present a computational module for interactively visualizing, large-scale, 3D unstructured meshes. Scientists and engineers routinely solve large-scale computational boundary value problems on unstructured grids. These grids typically range from several hundred thousand elements to millions of el... | 3D unstructured meshes; Visualization | 1994 |