UScholar Works
 
Filters: School Or College: "College of Engineering" Collection: "ir_uspace"
1 - 25 of 86
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.A generic operational memory model specification framework for multithreaded program verificationGiven the complicated nature of modern architectural and language level memory model designs, it is vital to have a systematic ap- proach for specifying memory consistency requirements that can support verification and promote understanding. In this paper, we develop a spec- ification methodolog...Multithreaded program verification2003
2 Scarpulla, MichaelAir shear driven flow of thin perfluoropolyether polymer filmsWe have studied the wind driven movement of thin perfluoropolyether (PFPE) polymer films on silicon wafers and CNx overcoats using the blow-off technique. The ease with which a liquid polymer film moves across a surface when sheared is described by a shear mobility xS , which can be interpreted both...Perfluoropolyether; Polymer films; Air shear; Shear mobility2003
3 Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.; Slind, Konrad LeeAnalyzing the Intel Itanium memory ordering rules using logic programming and SATWe present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constraints on execution traces, in an axiomatic style. A direct translation of the semantics to a constraint logic program...Intel Itanium memory; Ordering rules; Sared memory; Consistency models2003
4 Tasdizen, Tolga; Whitaker, Ross T.Anisotropic diffusion of surface normals for feature preserving surface reconstructionFor 3D surface reconstruction problems with noisy and incomplete range data measure d from complex scenes with arbitrary topologies, a low-level representation, such as level set surfaces, is used. Such surface reconstruction is typically accomplished by minimizing a weighted sum of data-model discr...2003
5 Tasdizen, Tolga; Whitaker, Ross T.Anisotropic diffusion of surface normals for feature preserving surface reconstructionFor 3D surface reconstruction problems with noisy and incomplete range data measured from complex scenes with arbitrary topologies, a low-level representation, such as level set surfaces, is used. Such surface reconstruction is typically accomplished by minimizing a weighted sum of data-model discre...2003
6 Mathews, V. JohnBlind identification of bilinear systemsAbstract-This paper is concerned with the blind identification of a class of bilinear systems excited by non-Gaussian higher order white noise. The matrix of coefficients of mixed input-output terms of the bilinear system model is assumed to be triangular in this work. Under the additional assumptio...2003
7 Freire, JulianaBridging the XML-relational divide with LegoDB: a demonstrationWe present LegoDB, a cost-based XML storage mapping engine that automatically explores a space of possible XML-to-relational mappings and selects an efficient mapping for a given application.LegoDB; Storage mappings2003
8 Ameel, Timothy A;Harvey, Ian R.; Miller, Mark S.; Blair, Steven; Gale, Bruce K.; Ring, Terry ArthurBuilding academic, research, and commercialization programs in micro and nano science and engineering at the University of UtahAbstract-This paper presents a case-study of some University /Government / Industry interactions at the University of Utah that build research and academic programs and create opportunities fur economic growth in the areas of micro and nanu science and engineering.2003
9 Hansen, Charles D.; Johnson, Christopher R.Constraint-based technique for haptic volume explorationWe present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in certain directions by incrementally moving a proxy point along the axes of a local reference frame. Reaction forces are g...Haptic rendering; Immersive visualization; Human-computer interaction2003
10 Tiwari, AshutoshCopper diffusion characteristics in single crystal and polycrystalline TaNTaN has become a very promising diffusion barrier material for Cu interconnections, due to the high thermal stability requirement and thickness limitation for next generation ULSI devices. TaN has a variety of phases and Cu diffusion characteristics vary with different phases and microstructures. We...Diffusion barriers; Copper diffusion; Tantalum nitride2003
11 Tasdizen, Tolga; Whitaker, Ross T.Curvature-based transfer functions for direct volume rendering: methods and applicationsDirect volume rendering of scalar fields uses a transfer function to map locally measured data properties to opacities and colors. The domain of the transfer function is typically the one-dimensional space of scalar data values. This paper advances the use of curvature information in multi-dimensio...2003
12 Parker, Steven G.; Hansen, Charles D.Distributed interactive ray tracing for large volume visualizationWe have constructed a distributed parallel ray tracing system that interactively produces isosurface renderings from large data sets on a cluster of commodity PCs. The program was derived from the SCI Institute's interactive ray tracer (*-Ray), which utilizes small to large shared memory platforms, ...Ray tracing; Volume rendering; Large data; Cluster computing; Distributed shared memory2003
13 Balasubramonian, RajeevDynamically managing the communication-parallelism trade-off in future clustered processorsClustered microarchitectures are an attractive alternative to large monolithic superscalar designs due to their potential for higher clock rates in the face of increasingly wire-delay-constrained process technologies. As increasing transistor counts allow an increase in the number of clusters, th...Clustered architectures; Microarchitecture; Decentralized cache; Interconnects2003
14 Myers, Chris J.Effcient verification of hazard-freedom in gate-level timed asynchronous circuitsThis paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit timing information fur optimization throughout the entire design process. In asynchronous circuits, correct operation require...2003
15 Stevens, KennethEnergy and performance models for clocked and asynchronous communicationParameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked flopped, clocked time-borrowing latch protocols, asynchronous two-cycle, four-cycle, delay-insensitive, and source synch...2003
16 Tiwari, AshutoshEpitaxial growth of magnetic nickel nanodots by pulsed laser depositionEpitaxial nickel magnetic nanodots were obtained by pulsed laser deposition (PLD) technique on Si (100) substrate using epitaxial TiN film as the template. Characterization methods include: high-resolution transmission electron microscopy (HRTEM), scanning transmission electron microscopy (STEM) Z-...Nanodots; TiN; Nickel2003
17 Lindstrom, Gary E.Fast and accurate NN approach for multi-event annotation of time seriesSimilarity 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-event2003
18 Eddings, Eric G.; Sarofim, Adel F.Fast cook-off tests reportThe Center for the Simulation of Accidental Fires and Explosions (C-SAFE) at the University of Utah is focused on providing science-based tools for the numerical simulation of accident scenarios involving fires and high-energy devices (Pershing, 2000). The initial computational efforts are concentra...Heat flux; Heat transfer; Cookoff tests; Center for the Simulation of Accidental Fires and Explosions; C-SAFE2003
19 Tasdizen, Tolga; Whitaker, Ross T.Feature preserving variational smoothing of terrain dataIn this paper, we present a novel two-step, variational and feature preserving smoothing method for terrain data. The first step computes the field of 3D normal vectors from the height map and smoothes them by minimizing a robust penalty function of curvature. This penalty function favors piecewise ...2003
20 Scarpulla, MichaelFerromagnetic Ga1-xMnxAs produced by ion implantation and pulsed-laser meltingWe demonstrate the formation of ferromagnetic Ga1-xMnxAs films by Mn ion implantation into GaAs followed by pulsed-laser melting. Irradiation with a single excimer laser pulse results in the epitaxial regrowth of the implanted layer with Mn substitutional fraction up to 80% and effective Curie tempe...Gallium arsenide; Ferromagnetic semiconductors; Remanent magnetization2003
21 Tiwari, AshutoshFormation of self-assembled epitaxial nickel nanostructuresHighly orientated nickel magnetic nanoparticles were obtained by pulsed laser deposition technique on silicon (100) substrate using epitaxial titanium nitride film as the template. These nanoparticles have been characterized by conventional and high-resolution transmission electron microscopy, scann...TiN; Nickel2003
22 Hansen, Charles D.Gaussian transfer functions for multi-field volume visualizationVolume rendering is a flexible technique for visualizing dense 3D volumetric datasets. A central element of volume rendering is the conversion between data values and observable quantities such as color and opacity. This process is usually realized through the use of transfer functions that are prec...Volume rendering; Transfer functions; Volume visualization2003
23 Tiwari, AshutoshGrowth and characterization of TaN/TiN superlattice structuresEpitaxial B1 NaCl-structured TaN(3 nm)/TiN(2 nm) superlattice structures were grown on Si(100) substrates with a TiN buffer layer, using pulsed-laser deposition. A special target assembly was used to manipulate the thickness of each layer. X-ray diffraction, transmission electron microscopy, and ...Diffusion barriers; Copper diffusion; Tantalum nitride2003
24 Hansen, Charles D.; Whitaker, Ross T.Interactive deformation and visualization of level set surfaces using graphics hardwareDeformable isosurfaces, implemented with level-set methods, have demonstrated a great potential in visualization for applications such as segmentation, surface processing, and surface reconstruction. Their usefulness has been limited, however, by their high computational cost and and reliance on sig...Deformation; Level sets; Deformable models; Image segmentation; Volume visualization; GPU; Streaming computation; Isosurfaces2003
25 Riloff, Ellen M.Learning extraction patterns for subjective expressionsThis paper presents a bootstrapping process that learns linguistically rich extraction patterns for subjective (opinionated) expressions. High-precision classifiers label unannotated data to automatically create a large training set, which is then given to an extraction pattern learning algorithm. T...Bootstrapping process; Extraction patterns; Subjective expressions; Opinions2003
1 - 25 of 86