|
|
Creator | Title | Description | Subject | Date |
726 |
|
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 |
727 |
|
Carter, John B. | Reducing consistency traffic and cache misses in the avalanche multiprocessor | For a parallel architecture to scale effectively, communication latency between processors must be avoided. We have found that the source of a large number of avoidable cache misses is the use of hardwired write-invalidate coherency protocols, which often exhibit high cache miss rates due to exces... | Consistency traffic; Cache misses; Parallel architecture; Communication latency | 1995 |
728 |
|
Balasubramonian, Rajeev | Reducing the complexity of the register file in dynamic superscalar processors | Dynamic superscalar processors execute multiple instructions out-of-order by looking for independent operations within a large window. The number of physical registers within the processor has a direct impact on the size of this window as most in-flight instructions require a new physical register a... | Dynamic superscalar processors; Register file; Instruction-level parallelism; Microarchitecture; Reorder buffer | 2001 |
729 |
|
Gopalakrishnan, Ganesh | Refactoring SPIN for safety | We show how to refactor SPIN for safety model checking resulting in a compact model checker occupying less than 200 lines of code without appreciable loss of performance while reusing much of SPIN?s front-end facilities. In addition to being far easier to understand and being eminently suitable a... | Model checking; SPIN | 2006-02-14 |
730 |
|
Zhang, Lixin | Reference manual of impulse system calls | This document describes the Im pulse system calls. The Impulse system calls allow user applications to use remapping functionality provided by the Impulse Adaptive Memory System to remap their data structures. Impulse supports several remapping algorithms. User applications choose the desired remapp... | Impulse system calls; Remapping functionality; Impulse Adaptive Memory System; Remapping algorithms | 1999 |
731 |
|
Lindstrom, Gary E. | Referencing and retention in block-structured coroutines | The combination of coroutines with recursive procedures is characteristic of many modern higher-level languages offering advanced control structures (e.g. SIMULA-67, SL5, Interlisp, etc.). We say a language has block-structured coroutines (BSCRs) when static nesting considerations govern the usage o... | Block-structured; BSCR | 1979 |
732 |
|
Mueller, Timothy I. | Refinement estimation of B-spline curves and surfaces | An algorithm for refinement estimation for B-spline curves is presented. The algorithm uses approximations to the curvature and arc length to decide how a curve should be refined. The algorithm can also be used to produce isoparametric curves or polygonal tessellations from a Bspline surface. | B-spline; Curves; Surfaces; Algorithm; Curvature; Arc length; Isoparametric curves; Polygonal tessellations | 1988 |
733 |
|
Zachary, Joseph L. | Reflections on metaprogramming | The spread of object-oriented technology has led to object-oriented programming languages with object-oriented implementations. By encapsulating part of t h e semantics of a language within a set of default classes and empowering the programmer to derive new versions of these base classes, a designe... | Metaprogramming | 1993 |
734 |
|
Brunvand, Erik L.; Gopalakrishnan, Ganesh; Hurdle, John Franklin | Reliable interface design for combining asynchronous and synchronous circuits | Abstract: In order to successfully integrate asynchronous and synchronous designs, great care must be taken at the interface between the two types of systems. Synchronizing asynchronous inputs with a free running clock can cause well-known problems with metastability in the synchronization circuits... | | 1993 |
735 |
|
Kumar, Sidharth; Pascucci, Valerio | Remote visualization | Generalized Architecture and pipeline for a remote site | | |
736 |
|
Miller, Neil Joseph | Removal of noise from a voice signal by synthesis | This report describes research into the problem of rectification of sound recordings made under adverse conditions and communicated and recorded with a great deal of noise. In the course of this research, a number of refinements have been made to the process of digital speech synthesis through new v... | Rectification; Homomorphic vocoder; Digital speech synthesis; Filtering device | 1974 |
737 |
|
Cole, Edwin Randolph | The removal of unknown image blurs by homomorphic filtering | This report describes a homomorphic method for the estimation and removal of unknown image blurs, which are presumed to have been caused by a linear stationary system. Previous methods have required a more or less perfect a priori knowledge of the identity of the blur. the method described here requ... | Homomorphic filtering; Removal; Image blurs; Blurred image | 1974 |
738 |
|
Bhanu, Bir | Representation and shape matching of 3-D objects | A three-dimensional scene analysis system for the shape matching of real world 3-D objects is presented. Various issues related to representation and modeling of 3-D objects are addressed. A new method for the approximation of 3-D objects by a set of planar faces is discussed. The major advantage of... | 3-D objects; Representation; Shape matching; Scene analysis system | 1984 |
739 |
|
Chatterjee, Niladrish; Balasubramonian, Rajeev; Davis, Alan L. | Rethinking DRAM design and organization for energy-constrained multicores | DRAM vendors have traditionally optimized for low cost and high performance, often making design decisions that incur energy penalties. For example, a single conventional DRAM access activates thousands of bitlines in many chips, to return a single cache line to the CPU. The other bits may be access... | DRAM power consumption; Data-center power; Multicore memory; Trapeze Interactive Poster | 2010-03-15 |
740 |
|
Henderson, Thomas C. | Reverse engineering of pipe layouts and 3D point set damage models | This paper focuses on obtaining pipe layout information from depth images, and on the development of damage models for 3D shapes. Techniques are given for recognizing various pipes and pipe features. Methods for generating compact geometric descriptions of pipes and pipe features are discussed. T... | Pipe layouts | 2004-12-27 |
741 |
|
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | Rigorous concurrency analysis of multithreaded programs | This paper explores the practicality of conducting program analysis for multithreaded software using constraint solv- ing. By precisely defining the underlying memory consis- tency rules in addition to the intra-thread program seman- tics, our approach orders a unique advantage for program ver- ... | Concurrency analysis; Multithreaded programs | 2003 |
742 |
|
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 |
743 |
|
Sobh, Tarek M.; Henderson, Thomas C. | Robotic prototyping environment (Progress report) | 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,... | Prototyping; Prototyping environment; Robotic prototyping | 1994 |
744 |
|
Henderson, Thomas C. | RobotShare: a framework for robot knowledge sharing | Knowledge representation is a traditional field in artificial intelligence. Researchers have developed various ways to represent and share information among intelligent agents. Agents that share resources, data, information, and knowledge perform better than agents working alone. However, previou... | RobotShare; Robot knowledge sharing | 2007 |
745 |
|
Bruderlin, Beat | Robust boolean set operations for manifold solids bounded by planar and natural quadric surfaces | This paper describes our latest effort in robust solid modeling. An algorithm for set operations on solids bounded by planar and natural quadric surfaces, that handles all geometrically degenerate cases robustly, is described. We identify as the main reason for the lack of robustness in geometric m... | Robust solid modeling; Robust boolean set operations; Manifold solids | 1992 |
746 |
|
Bruderlin, Beat | Robust regularized set operations on polyhedra | This paper describes a provably correct and robust implementation of regularized set operations on polyhedral objects. Although the algorithm described here does not assume manifold polyhedra and handles all possible degenerate cases, it turns out to be quite simple. The geometric operations and rel... | Robust regularized set operations | 1990 |
747 |
|
Bruderlin, Beat | Robust solid modeling by avoiding redundancy for manifold objects in boundary representation | This paper describes a new approach to the robustness problem in solid modeling. We identify as t h e main cause of t h e lack of robustness that interdependent topological relations are derived from approximate data. Disregarding the interdependencies very likely violates basic properties, such as... | Robust solid modeling; Manifold objects; Boundary representation; Robustness problem | 1993 |
748 |
|
Bruderlin, Beat | Robustness in geometric modeling - an intuitionistic and tolerance-based approach | An intuitionistic geometry approach is taken to develop two tolerance-based methods for robust geometric computation. The so called analytic model method and the approximated model method are developed independently of a specific application or a geometric algorithm. Geometric robustness is formally... | Robustness; Geometric modeling; Intuitionistic geometry; Geometric robustness | 1992 |
749 |
|
Bruderlin, Beat | Robustness in solid modeling - a tolerance based, intuitionistic approach | This paper presents a new robustness method for geometric modeling operations. It computes geometric relations from the tolerances defined for geometric objects and dynamically updates the tolerances to preserve the properties of the relations, using an intuitionistic self-validation approach. Geome... | Solid modeling; Geometric modeling; Intuitionistic | 1992 |
750 |
|
Fujimoto, Richard M. | The roll back chip: hardware support for distributed simulation using time warp | Distributed simulation offers an attractive means of meeting the high computational demands of discrete event simulation programs. The Time Warp mechanism has been proposed to ensure correct sequencing of events in distributed simulation programs without blocking processes unnecessarily. However, th... | Roll back chip; Distributed simulation; Discrete event; Simulation programs; Time Warp mechanism | 1987 |