Filters: Department: "Computing, School of" Format: "application/pdf" Collection: "ir_uspace" Type: "Text"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 376 |
 |
Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, Ganesh | GEM: graphical explorer for MPI programs | Formal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit... | GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs | 2009 |
| 377 |
 |
Cotter, Neil E. | Generality Vs. speed of convergence in the cart-pole balancer | This paper compares the speed of convergence to an optimal solution of four controllers for the problem of balancing a pole on a cart. We demonstrate that controllers whose design is tailored specifically to the cart-pole problem (i.e. less general) converge more rapidly to an optimal solution. How... | Cart-pole balancer; Generality; Speed of convergence | 1991 |
| 378 |
 |
Pascucci, Valerio | Generalized topological simplification of scalar fields on surfaces | We present a combinatorial algorithm for the general topological simplification of scalar fields on surfaces. Given a scalar field f, our algorithm generates a simplified field g that provably admits only critical points from a constrained subset of the singularities of f, while guaranteeing a small... | 2012-01-01 | |
| 379 |
 |
Wald, Ingo; Shirley, Peter S. | Geometric and arithmetic culling methods for entire ray packets | Recent interactive ray tracing performance has been mainly derived from the use of ray packets. Larger ray packets allow for significant amortization of both computations and memory accesses; however, the majority of primitives are still intersected by each ray in a packet. This paper discusses ... | Ray tracing; Interval arithmetic; Ray packets; Frustum culling | 2006-08-16 |
| 380 |
 |
Thompson, William B. | Geometric reasoning for map-based localization | An essential aspect of map-based navigation is the determination of an agent's current location based on sensed data from the environment. Formally, this amounts to specifying the current viewpoint in some world model coordinate system. This localization process has two distinct components: one invo... | Map-based localization; Map-based navigation; Geometric reasoning | 1996 |
| 381 |
 |
Tasdizen, Tolga; Whitaker, Ross T. | Geometric surface processing via normal maps | The generalization of signal and image processing to surfaces entails filtering the normals of the surface, rather than filtering the positions of points on a mesh. Using a variational framework, smooth surfaces minimize the norm of the derivative of the surface normals? i.e. total curvature. Pen... | Geometric surface processing; Surface models | 2002-01-17 |
| 382 |
 |
Cates, Joshua E.; Lefohn, Aaron; Whitaker, Ross T. | GIST: an interactive, GPU-based level set segmentation tool for 3D medical images | While level sets have demonstrated a great potential for 3D medical image segmentation, their usefulness has been limited by two problems. First, 3D level sets are relatively slow to compute. Second, their formulation usually entails several free parameters which can be very difficult to correctl... | GIST; 3D medical images; Segmentation tool; Image segmentation | 2004-02-27 |
| 383 |
 |
Smits, Brian | Global illumination test scenes | The global illumination community has discussed having a database of scenes that could be used to compare and validate different global illumination algorithms. We present a set of test scenes for global illumination algorithms and propose that they be the beginning of such a database. These scenes ... | Global illumination | 2000 |
| 384 |
 |
Mecklenburg, Robert | GORP: An object-oriented design for genomic objects, relationships and processes | The Eccles Institute for Human Genetics (EIHG) has developed a genomic database based on a novel level of abstraction. Objects, relationships, and processes are explicitly represented in an object model. This model has been implemented in a traditional relational database management system. Transla... | Eccles Institute for Human Genetics; EIHG; GORP; Genomic databases; Object model | 1996 |
| 385 |
 |
Kirby, Robert Michael | GPU-based volume visualization from high-order finite element fields | This 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 | |
| 386 |
 |
Hansen, Charles D. | GPUFLIC: interactive and accurate dense visualization of unsteady flows | Abstract The paper presents an efficient and accurate implementation of Unsteady Flow LIC (UFLIC) on the Graphics Processing Unit (GPU). We obtain the same, high quality texture representation of unsteady two-dimensional flows as the original, time-consuming method but leverage the features of today... | 2006 | |
| 387 |
 |
Evans, David | Graphical man/machine communications: December 1971 | Semi-Annual Technical Report for period 1 June 1971 to 31 December 1971. This document includes a summary of research activities and facilities at the University of Utah under Contract F30602-70-C-0300. Information conveys important research milestones attained during this period by each of the f... | Man/machine communications; Computing systems; Digital waveform processing | 1971-12 |
| 388 |
 |
Evans, David | Graphical man/machine communications: December 1972 | The object of the graphical man/machine communication effort is the development of computers and computing techniques the people may use interactively in real time to extend their problem-solving capability, and to work cooperatively by means of improved communications via computer. This report summ... | Waveform processing; Symbolic computation; Man/machine communications | 1972-12 |
| 389 |
 |
Evans, David | Graphical man/machine communications: February 1968 | Technical report No. RADC - TR - 68 - 90 for the period ending 30 November, 1967. Two classes of research activities are being conducted. One is research in information processsing system technology. The other is researach in application of interactive computing technology to the solution of severa... | Fluid flow problems | 1968-02 |
| 390 |
 |
Evans, David | Graphical man/machine communications: June 1971 | Semi-Annual Technical Report for period 1 January 1971 to 31 May 1971. This document includes a summary of research activities and facilities at the University of Utah under Contract F30602-70-C-0300. Information conveys important research milestones attained during this period by each of the fo... | Curved surfaces; Digital waveform processing | 1971 |
| 391 |
 |
Evans, David | Graphical man/machine communications: June 1972 | 1972-06 | ||
| 392 |
 |
Evans, David | Graphical man/machine communications: May 1967 | Semiannual technical report for period ending 15 May, 1967. | 1967-05 | |
| 393 |
 |
Evans, David | Graphical man/machine communications: May 1969 | Semi-Annual Technical Report 1 December 1968 - 30 May 1969 | 1969-05 | |
| 394 |
 |
Evans, David | Graphical man/machine communications: May 1971 | Final technical report 1 December 1969 to 30 June 1970. | 1971-05 | |
| 395 |
 |
Evans, David | Graphical man/machine communications: November 1966 | Semiannual progress report for period ending 30 November, 1966. | 1966-11 | |
| 396 |
 |
Evans, David | Graphical man/machine communications: November 1968 | Semi-Annual Technical Report 1 June - 30 November 1968 | 1968 | |
| 397 |
 |
Evans, David | Graphical man/machine communications: November 1969 | Semi-Annual Technical Report 1 June 1969 - 30 November 1969 | 1969-11 | |
| 398 |
 |
Hansen, Charles D. | Graphics applications for grid computing | The first article, "Enabling View-Dependent Progressive Volume Visualization on the Grid" by Alan Norton and Alyn Rockwood describes and evaluates the communication in a progressive, visibility-driven compression scheme for distributing volumetric data from grid resources to volume-rendering clien... | Grid computing | 2003-03 |
| 399 |
 |
Johnson, Christopher R. | Grid-enabling problem solving environments: a case study of SCIRun and NetSolve | Combining the functionality of NetSolve, a grid-based middleware solution, with SCIRun, a graphically-based problem solving environment (PSE), yields a platform for creating and executing grid-enabled applications. Using this integrated system, hardware and/or software resources not previously ac... | Grid computing; SCIRun; NetSolve; Problem solving environment; Numerical libraries; Parallel programming (Computer science) | 2001 |
| 400 |
 |
Zhang, Chengqiang | Hardware-only stream prediction + cache prefetching + dynamic access ordering | The speed gap between processors and memory system is becoming the performance bottleneck for many applications, and computations with strided access patterns are among those that suffer most. The vectors used in such applications lack temporal and often spatial locality, and are usually too large t... | Speed gap; Stream prediction; Cache prefetching; Dynamic access ordering | 1999 |