Filters: Collection: ir_uspace
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 76 |
 |
Gopalakrishnan, Ganesh | Towards a formal model of shared memory consistency for intel itanium | We provide a simple formal model for ItaniumTM shared memory consistency [1, 2] covering a core set of instructions. Existing descriptions of Itanium shared memory consistency are based on an informal collection of ordering rules as well as several examples. Our operational model employs employs wid... | formal model; shared memory consistency; ItaniumTM; Itanium | 2001 |
| 77 |
 |
Boulos, Solomon; Shirley, Peter S. | Packet-based whitted and distribution ray tracing | Much progress has been made toward interactive ray tracing, but most research has focused specifically on ray casting. A common approach is to use ?packets? of rays to amortize cost across sets of rays. Little is known about how well packet-based techniques will work for reflection and refractio... | Packet-based whitted ray tracing; Distribution ray tracing; Interactive ray tracing | 2006-11-10 |
| 78 |
 |
Gopalakrishnan, Ganesh | From process-oriented functional specifications to efficient asynchronous circuits | A methodology for high-level synthesis and performance optimization of asynchronous circuits is described. A specification language called hopCP which is based on a simple extension to classical flow graphs is introduced. The extension involves the addition of expression actions to a flow graph, to ... | Synthesis; Performance optimization | 1991 |
| 79 |
 |
Shirley, Peter S.; Parker, Steven G. | Temporally coherent interactive ray tracing | Although ray tracing has been successfully applied to interactively render large datasets, supersampling pixels will not be practical in interactive applications for some time. Because large datasets tend to have subpixel detail, one-sample-per-pixel ray tracing can produce visually distracting popp... | Temporally coherent; interactive ray tracing; large datasets | 2001 |
| 80 |
 |
Sobh, Tarek M. | Modeling and recovering uncertainties in sense data | This work examines closely the possibilities for errors, mistakes and uncertainties in sensing systems. We identify and suggest techniques for modeling, analyzing, and recovering these uncertainties. This work concentrates on uncertainties in visual sensing to recover 3-D structure and motion charac... | Uncertainties; Sensing systems; Visual sensing | 1994 |
| 81 |
 |
Awate, Suyash P.; Whitaker, Ross T. | Nonparametric neighborhood statistics for MRI denoising | This paper presents a novel method for denoising MR images that relies on an optimal estimation, combining a likelihood model with an adaptive image prior. The method models images as random fields and exploits the properties of independent Rician noise to learn the higher-order statistics of ima... | MRI denoising | 2005-04-18 |
| 82 |
 |
Cohen, Elaine | Second order surface analysis using hybrid symbolic and numeric operators | Results from analyzing the curvature of a surface can be used to improve the implementation, efficiency, and effectiveness of manufacturing and visualization of sculptured surfaces. In this paper, we develop a robust method using hybrid symbolic and numeric operators to create trimmed surfaces each... | Surface analysis; Hybrid symbolic operators; Numeric operators | 1992 |
| 83 |
 |
Henderson, Thomas C. | High-level planning for dextrous manipulation | The 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 anthropomorphic manipulators to perform the deft movement tha... | Mechanical end effectors; Dextrous manipulation | 1987 |
| 84 |
 |
Kirby, Robert Michael II | On the use of adjoint-based sensitivity estimates to control local mesh refinement | The goal of efficient and robust error control, through local mesh adaptation in the computational solution of partial differential equations, is predicated on the ability to identify in an a posteriori way those localized regions whose refinement will lead to the most significant reductions in the ... | Sensitivity; Adaptivity; Error estimation; hp-finite elements; Discrete adjoint; Mesh refinement | 2009 |
| 85 |
 |
Seeley, Donn | Password cracking: a game of wits | A password cracking algorithm seems like a slow and bulky item to put in a worm, but the worm makes this work by being persistent and efficient. The worm is aided by some unfortunate statistics about typical password choices. | Password cracking algorithm; Computer worms | 1989 |
| 86 |
 |
Barsky, Brian A. | A description of several tools for the synchronization of concurrent processes | Concurrent processes are tasks which may be executed simultaneously. When several such processes have access to shared variables, it is necessary to establish some regimen to control this access. Several language tools for expressing various synchronization disciplines are presented. | Concurrent processes | 1980 |
| 87 |
 |
Smith, Kent F. | A fast parallel squarer based on divide-and-conquer | Fast and small squarers are needed in many applications such as image compression. A new family of high performance parallel squarers based on the divide-and-conquer method is reported. Our main result was realizing the basis cases of the divide-and-conquer recursion by using optimized n-bit primiti... | Squarer; Parallel squarers; Divide-and-conquer; MOPS; CMOS | 1995 |
| 88 |
 |
Weinstein, David | A morphing algorithm for generating near optimal grids: applications in computational medicine | We apply morphing to t h e problem of generating the initial mesh for finite element simulations. This algorithm reduces mesh adaptation time by integrating physical and geometric constraints to provide a near optimal initial mesh. We apply this method to large-scale bioelectric field problems invol... | Morphing algorithm; Bioelectric field problems | 1994 |
| 89 |
 |
Henderson, Thomas C.; Thompson, William B. | Smart sensor snow | We propose to deploy and exploit and large number of inexpensive sensors to obtain information or trigger actions over a wide geographic area. Sensors may be of diverse physical natures: acoustic, IR, seismic, chemical, magnetic, thermal, etc. We describe here three major issues: (1) sensor distribu... | Smart sensors | 1998 |
| 90 |
 |
Gopalakrishnan, Ganesh | Bounded transaction model checking | Industrial cache coherence protocol models often have too many reachable states, preventing full reachability analysis even for small model instances (number of processors, addresses, etc.). Several partial search debugging methods are, therefore, employed, including lossy state compression using... | Model checking; Reachability analysis | 2006-02-27 |
| 91 |
 |
Awate, Suyash P.; Tasdizen, Tolga; Whitaker, Ross T. | Nonparametric statistics of image neighborhoods for unsupervised texture segmentation | In this paper, we present a novel approach to unsupervised texture segmentation that is based on a very general statistical model of image neighborhoods. We treat image neighborhoods as samples from an underlying, high-dimensional probability density function (PDF). We obtain an optimal segmentat... | 2005-04-19 | |
| 92 |
 |
Gopalakrishnan, Ganesh; Kirby, Robert Michael II | Verification of MPI programs using Spin | Verification of distributed systems is a complex yet important process. Concurrent systems are vulnerable to problems such as deadlock, starvation, and race conditions. Parallel programs written using the MPI (Message Passing Interface) Standard are no exception. Spin can be used to formally ver... | MPI programs; Verification; distributed systems; Message Passing Interface; Spin | 2004 |
| 93 |
 |
McDonald, Lee Edwin | Image recognition using generalized correlation | This paper investigates the use of generalized cross-correlation in pattern matching when the objects may be of one or two dimensions. Generalized correlation can be used to determine the amount of dilatation and rotation between a given template and an object, in addition to determining the relativ... | Image recognition; Generalized correlation | 1977 |
| 94 |
 |
Henderson, Thomas C.; Sikorski, Christopher | Computational sensor networks | We propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, it is necessary to relate changes in the sensed variables (e.g., temperature) to the aspect of interest in the sensor netw... | Computational sensor networks | 2007 |
| 95 |
 |
Gooch, Bruce; Reinhard, Erik | Perception-driven black-and-white drawings and caricatures | In this paper, we present a method for automatically creating black-and-white drawings of human faces from photographs. We then demonstrate new techniques for deforming these drawings to create caricatures intended to highlight and exaggerate facial features. A number of psychophysical studies we... | Caricatures; Human faces | 2002-01-22 |
| 96 |
 |
Henderson, Thomas C. | Explicit and persistent knowledge in engineering drawing analysis | Domain knowledge permeates all aspects of the engineering drawing analysis process, including understanding the physical processes operating on the medium (i.e., paper), the image analysis techniques, and the interpretation semantics of the structural layout and contents of the drawing. Additiona... | Engineering drawing analysis | 2003-10-10 |
| 97 |
 |
Weinstein, David | Statistical analysis for FEM EEG source localization in realistic head models | Estimating the location and distribution of electric current sources within the brain from electroencephalographic (EEG) recordings is an ill-posed inverse problem. The ill-posed nature of the inverse EEG problem is due to the lack of a unique solution such that different configurations of sources c... | inverse EEG problem; FEM EEG; source localization | 2000 |
| 98 |
 |
Hansen, Charles D. | Cluster-based interactive volume rendering with Simian | Commodity-based computer clusters offer a cost-effective alternative to traditional largescale, tightly coupled computers as a means to provide high-performance computational and visualization services. The Center for the Simulation of Accidental Fires and Explosions (C-SAFE) at the University of... | Volume rendering; Simian | 2003-09-03 |
| 99 |
 |
Stark, Michael M.; Martin, William; Cohen, Elaine; Lyche, Tom; Riesenfeld, Richard F. | B-splines for physically-based rendering | Although B-spline curves and surfaces have enjoyed a long established place in the graphics community as constructive modeling tools, the use of B-spline approximation techniques has received relatively little attention in rendering. In this work we explore the use of 4D and 5D tensor product B-s... | B-spline curves; Rendering algorithms | 2002-01-09 |
| 100 |
 |
Stoller, Leigh B. | Low latency workstation cluster communications using sender-based protocols | The use of workstations on a local area network to form scalable multicomputers has become quite common. A serious performance bottleneck in such "carpet clusters" is the communication protocol that is used to send data between nodes. We report on the design and implementation of a class of communic... | Workstations; Scalable multicomputers; Sender-based; Communication protocols | 1996 |