|
|
Creator | Title | Description | Subject | Date |
351 |
|
Susarla, Sai R.; Carter, John | Khazana: a flexible wide area data store | Khazana is a peer-to-peer data service that supports efficient sharing and aggressive caching of mutable data across the wide area while giving clients significant control over replica divergence. Previous work on wide-area replicated services focussed on at most two of the following three proper... | Khazana; Peer-to-peer data service | 2003-10-13 |
352 |
|
Boll, Steven F. | Noise suppression methods for robust speech processing (1 Oct. 1979- 31 Mar. 1980) | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for the research program funded to develop real time, compressed speech analysi... | Noise suppression; Compressed speech analysis-synthesis algorithms; Signal contamination | 1980 |
353 |
|
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
354 |
|
Fujimoto, Richard M. | Efficient instruction level simulation of computers | A technique for creating efficient, yet highly accurate, instruction level simulation models of computers is described. In contrast to traditional approaches that use a software interpreter, this technique employs direct execution of application programs on the host computer. An assembly language pr... | Simulation models | 1987 |
355 |
|
Gopalakrishnan, Ganesh | Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL | A hardware specification formalism called hopCP is introduced, hopCP provides an uniform notation t o describe the causal relationships between a set of nonatomic actions which capture the computational, concurrency, control and communication aspects of hardware behavior. A systematic approach to sy... | Hierarchical action refinement; Hardware specification formalism; hopCP | 1991 |
356 |
|
Akella, Venkatesh | hopCP: language definition, semantics and examples | We describe a formalism for high level modeling of hardware based on flow graphs and nonatomic actions called hopCP. A module is the description of a hardware system in hopCP, which contains a flow graph to model the behavioral aspects and ports which represent the communication links. Operations ar... | hopCP | 1990 |
357 |
|
Henderson, Thomas C. | Performance of arc consistency algorithms on the CRAY | The consistent labeling problem arises in high level computer vision when assigning semantic meaning to the regions of a n image. One of the drawbacks of this method is that it is rather slow. By using the consistency tests, node, arc and path consistency [9], the search space is drastically reduced... | Arc consistency algorithms; CRAY supercomputer; Consistent labeling problem | 1987 |
358 |
|
Kessler, Robert R. | Persistence is hard, then you die! or compiler and runtime support for a persistent common Lisp. | Integrating persistence into an existing programming language is a serious undertaking. Preserving the essence of t h e existing language, adequately supporting persistence, and maintaining efficiency require low-level support from the compiler and runtime systems. Pervasive, low-level changes were ... | Persistence; Programming language; Lisp compiler; Persistent Lisp | 1994 |
359 |
|
Bhanu, Bir | Segmentation of complex outdoor scenes | A new simpler approach to image segmentation via recursive region splitting and merging is presented. Unlike other techniques the kernel of splitting is based on a generalization of a two class gradient relaxation method and merging uses a statistical analysis of variance. | Image segmentation; Outdoor scenes; Recursive region splitting; Segmentation algorithm | 1985 |
360 |
|
Gopalakrishnan, Ganesh | Some unusual micropipeline circuits | We present a few unusual Micropipelines (Sutherland, CACM, September 1989) that employ the Muller C-ELEMENT or an extension of the C-ELEMENT called LOCKC (Liebchen and Gopalakrishnan, ICCD, 1992). We first describe two variations of the two-dimensional Micropipeline structure realized using ordinary... | Micropipeline circuits; Micropipelines | 1993 |
361 |
|
Sobh, Tarek M.; Henderson, Thomas C. | URK: Utah robot kit - a three-link robot prototype | In this paper we will present the stages of designing and building a three-link robot manipulator prototype that was built as part of a research project for establishing a prototyping environment for robot manipulators. Building this robot enabled us determine the required subsystems and interfaces ... | URK; Utah robot kit; robot manipulator prototype; prototyping environment; robot manipulators; three-link | 1994 |
362 |
|
Gopalakrishnan, Ganesh | Verification of regular arrays by symbolic simulation | Many algorithms have an efficient hardware formulation as a regular array of cells, which can be implemented in VLSI as regular circuit structures. Bit-sliced microprocessors, pattern matching circuits, associative cache memories, Hue-grain systolic arrays, and embedded memory-with-logic structure... | Verification; regular arrays; symbolic simulation | 1991 |
363 |
|
Carter, John B. | A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors | Efficient synchronization is an essential component of parallel computing. The designers of traditional multiprocessors have included hardware support only for simple operations such as compare-and-swap and load-linked/store-conditional, while high level synchronization primitives such as locks, bar... | Hardware locks | 1996 |
364 |
|
Johnson, Christopher R. | Construction of a human torso model from magnetic resonance images for problems in computational electrocardiography | Applying mathematical models to real situations often requires the use of discrete geometrical models of the solution domain. In some cases destructive measurement of the objects under examination is acceptable, but in biomedical applications the measurements come from imaging techniques such as X-r... | Human torso model; MRI | 1994 |
365 |
|
Gu, Jun | Fast structured design of VLSI circuits | We believe that a structured, user-friendly, cost-effective tool for rapid implementation of VLSI circuits which encourages students to participate directly in research projects are the key components in digital integrated circuit (IC) education. In this paper, we introduce our VLSI education activ... | VLSI circuits; Rapid implementation | 1988 |
366 |
|
Balasubramonian, Rajeev | Power-efficient approaches to reliability | Radiation-induced soft errors (transient faults) in computer systems have increased significantly over the last few years and are expected to increase even more as we move towards smaller transistor sizes and lower supply voltages. Fault detection and recovery can be achieved through redundancy. St... | Radiation-induced; Soft errors; Transient faults; Redundant thread; Trailing thread; Power consumption | 2005 |
367 |
|
Henderson, Thomas C. | A systolic array implementation of discrete relaxation algorithm | Discrete 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 array | 1986 |
368 |
|
Kindlmann, Gordon | Visualization and analysis of diffusion tensor fields | The power of medical imaging modalities to measure and characterize biological tissue is amplified by visualization and analysis methods that help researchers to see and understand the structures within their data. Diffusion tensor magnetic resonance imaging can measure microstructural properties... | diffusion tensor fields; Visualization; medical imaging | 2004-09-28 |
369 |
|
Davis, Alan L. | Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems | A procedural parallel process representation, known as data-driven nets is described. The sequencing mechanism of the data-driven representation is based on the principle of data dependency. Operations are driven into action by the arrival of the required working set of input operands. Execution of ... | Data driven nets | 1978 |
370 |
|
Orr, Douglas B. | OMOS - An object server for program execution | The benefits of object-oriented programming are well known, but popular operating systems provide very few object-oriented features to users, and few are implemented using object-oriented techniques themselves. In this paper we discuss a mechanism for applying object-oriented programming concepts to... | OMOS; Object server | 1992 |
371 |
|
Carter, John B. | An O(1) time complexity software barrier | As network latency rapidly approaches thousands of processor cycles and multiprocessors systems become larger and larger, the primary factor in determining a barrier algorithm?s performance is the number of serialized network latencies it requires. All existing barrier algorithms require at least ... | Network latency; Barrier algorithm; Time complexity software barrier | 2004 |
372 |
|
Evans, John | DPOS programming manual | This manual describes the basic concepts of the DPOS Metalanguage and the programming language DPOS Scheme. | DPOS; Programming manual | 1990 |
373 |
|
Shirley, Peter S.; Thompson, William B. | Expressive rendering of mountainous terrain | Painters and cartographers have developed artistic landscape rendering techniques for centuries. Such renderings can visualize complex three-dimensional landscapes in a pleasing and understandable way. In this work we examine a particular type of artistic depiction, panorama maps, in terms of fun... | panorama maps; Non-photorealistic rendering; Terrain; Texture synthesis | 2007 |
374 |
|
Lindstrom, Gary E. | Fast and accurate NN approach for multi-event annotation of time series | Similarity search in time-series subsequences is an important time series data mining task. Searching in time series subsequences for matches for a set of shapes is an extension of this task and is equally important. In this work we propose a simple but efficient approach for finding matches for a g... | Time-series subsequences; Nearest neighbor approach; Multi-event | 2003 |
375 |
|
Carter, John B. | MP-LOCKs: Replacing hardware synchronization primitives with message passing | Shared memory programs guarantee the correctness of concurrent accesses to shared data using interprocessor synchronization operations. The most common synchronization operators are locks, which are traditionally implemented in user-level libraries via a mix of shared memory accesses and hardware sy... | MP-LOCKs; Message passing; Shared memory programs; Synchronization operators; Synchronization primitives | 2011-05 |