1 - 25 of 937
Number of results to display per page
1 Henderson, Thomas C.Analysis of topographic maps for recreational purposes using decision treesIn this paper we describe a method for predicting the subjective quality of a new mountain bike route for a particular subject based on routes previously ridden and ranked by the subject. GPS tracks of the previously ridden routes are over laid on rasterized topographic maps and topographic features...2013-01-01
2 Kirby, Robert MichaelVerifying volume rendering using discretization error analysisWe propose an approach for verification of volume rendering correctness based on an analysis of the volume rendering integral, the basis of most DVR algorithms. With respect to the most common discretization of this continuous model (Riemann summation), we make assumptions about the impact of parame...2014-01-01
3 Hansen, Charles D.Transfer function design based on user selected samples for intuitive multivariate volume explorationMultivariate volumetric datasets are important to both science and medicine. We propose a transfer function (TF) design approach based on user selected samples in the spatial domain to make multivariate volumetric data visualization more accessible for domain users. Specifically, the user starts the...2013-01-01
4 Bargteil, Adam WadeMultiphase flow of immiscible fluids on unstructured moving meshesIn this paper, we present a method for animating multiphase flow of immiscible fluids using unstructured moving meshes. Our underlying discretization is an unstructured tetrahedral mesh, the deformable simplicial complex (DSC), that moves with the flow in a Lagrangian manner. Mesh optimization opera...2014-01-01
5 Kirby, Robert MichaelGPU-based volume visualization from high-order finite element fieldsThis paper describes a new volume rendering system for spectral/hp finite-element methods that has as its goal to be both accurate and interactive. Even though high-order finite element methods are commonly used by scientists and engineers, there are few visualization methods designed to display thi...2014-01-01
6 Balasubramonian, RajeevQuantifying the relationship between the power delivery network and architectural policies in a 3D-stacked memory deviceMany of the pins on a modern chip are used for power delivery. If fewer pins were used to supply the same current, the wires and pins used for power delivery would have to carry larger currents over longer distances. This results in an "IR-drop" problem, where some of the voltage is dropped across t...2013-01-01
7 Hibler, Michael J.Isolation of malicious external inputs in a security focused adaptive execution environmentReliable isolation of malicious application inputs is necessary for preventing the future success of an observed novel attack after the initial incident. In this paper we describe, measure and analyze, Input-Reduction, a technique that can quickly isolate malicious external inputs that embody unfore...2013-01-01
8 Gopalakrishnan, GaneshOvercoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolsetReproducibility, the ability to repeat program executions with the same numerical result or code behavior, is crucial for computational science and engineering applications. However, non-determinism in concurrency scheduling often hampers achieving this ability on high performance computing (HPC) sy...2013-01-01
9 Carter, John B.Design alternatives for shared memory multiprocessorsIn this paper. we consider the design alternatives available for building the next generation DSM machine (e.g., the choice of memory architecture, network technology, and amount and location of per-node remote data cache). To investigate this design space, we have simulated six applications on a wi...Shared memory multiprocessors1998
10 Hansen, Charles D.Constrained inverse volume rendering for planetary nebulaeDetermining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, bipolar planetary nebulae are interesting objects of study because of their pronounced axial symmetry due to fundamental p...Volume rendering; Axial symmetry2004
11 Johnson, Christopher R.; Parker, Steven G.; Whitaker, Ross T.; Hansen, Charles D.Computational field visualizationToday, scientists, engineers, and medical researchers routinely use computers to simulate complex physical phenomena. Such simulations present new challenges for computational scientists, including the need to effectively analyze and visualize complex three-dimensional data. As simulations become mo...Volume rendering; Isosurface extraction; Ray tracing; Multi-field visualizations2001
12 Evans, DavidGraphical man/machine communications: May 1969Semi-Annual Technical Report 1 December 1968 - 30 May 19691969-05
13 Fuchs, HenryThe automatic sensing and analysis of 3-D surface points from visual scenesDescribed are the design and implementation of a new range-measuring sensing device and an associated software algorithm for constructing surface descriptions of arbitrary three-dimensional objects from single or multiple views. The sensing device, which measures surface points from objects in its ...Range-measuring; Sensing device1976
14 Evans, DavidIntroduction to computer concepts
15 Whitaker, Ross T.VispackVISPACK (volume-image-surface package) is a C++ library that includes matrix, image, and volume objects and tools for manipulating level-set surface modelsVISPACK; volume-image-surface package; C++ library2008
16 Wyman, Chris; Hansen, Charles D.; Shirley, Peter S.Interactive raytraced causticsIn computer graphics, bright patterns of light focused onto matte surfaces are called ?caustics?. We present a method for rendering dynamic scenes with moving caustics at interactive rates. This technique requires some simplifying assumptions about caustic behavior allowing us to consider it a lo...Raytraced caustics2003-04-23
17 Freire, Juliana; Silva, Claudio T.VisComplete: automating suggestions for visualization pipelinesBuilding visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to help users construct pipelines by consensus-automatically suggesting completions based on a database of previously creat...VisComplete; Workflows; Auto completion; Visualization pipelines2008-11
18 Hansen, Charles D.; Henderson, Thomas C.MKS: a multisensor kernel systemThe multisensor kernel system (MKS) is presented as a means for multisensor integration and data acquisition. This system has been developed in the context of a robot work station equipped with various types of sensors utilizing three-dimensional laser range finder data and two-dimensional camera da...Multisensor kernel system; Spatial proximity graphs1984
19 Gopalakrishnan, GaneshFormal methods for surviving the jungle of heterogeneous parallelismThe parallel programming community will soon be entering the ‘jungle' of heterogeneous hardware and software. Unfortunately, we are not adequately preparing future programmers (today's students) to cope with the many challenges of heterogeneous concurrency, especially in their ability to rigorousl...2012-01-01
20 Henderson, Thomas C.IKS: image kernel system users' manualIKS (for Image kernel System), is an image processing system, currently being used by the Computer Vision and Image Processing group at the University of Utah. IKS provides a convenient environment for reading, writing, and manipulating images. The system consists of two types of routines. First, t...Image kernel System; IKS1987
21 Gopalakrishnan, GaneshTowards a verification technique for large synchronous circuitsWe present a symbolic simulation based verification approach which can be applied to large synchronous circuits. A new technique to encode the state and input constraints as parametric Boolean expressions over the state and input variables is used to make our symbolic simulation based verification...Verification; symbolic simulation1992
22 Gopalakrishnan, GaneshPartial order reduction without the provisoIn this paper, we present a new partial order reduction algorithm that can help reduce both space and time requirements of on-the-fly explicit enumeration based verifiers. The partial order reduction algorithms described in [God95, HP94, Pel94, Pel96] were observed to yield very little savings in ma...Partial order reduction algorithms1996
23 Henderson, Thomas C.Logical sensor systemsMulti-sensor systems require a coherent and efficient treatment of the information provided by the various sensors. We propose a framework the Logical Sensor Specification System, in which the sensors can be abstractly defined in terms of computational processes operating on the output from other se...Logical sensor systems; Multi-sensor systems; Multisensor systems; Logical Sensor Specification System1984
24 Gopalakrishnan, Ganesh; Humphrey, Alan Parker; Derrick, Christopher GladeAn integration of dynamic MPI formal verification within eclipse PTPOur research goals were to verify practical MPI programs for deadlocks, resource leaks, and assertion violations at the push of a button and be able to easily visualize the results. We also sought to integrate these capabilities with the Eclipse IDE via an Eclipse plug-in for the Parallel Tools Plat...Verification; Graphical User Interfaces; Dynamic Interleaving Reduction; Message Passing; MPI; Multi-core; Eclipse Parallel Tools Platform; Trapeze Interactive Poster2010-03-15
25 Zhang, LixinURSIM reference manualSimulation has emerged as an important method for evaluating new ideas in both uniprocessor and multiprocessor architecture. Compared to building real hardware, simulation provides at least two advantages. First, it provides the flexibility to modify various architectural parameters and components a...URSIM; reference manual2000
1 - 25 of 937