Filters: School Or College: "Scientific Computing and Imaging Institute" Collection: "ir_uspace" Year Start: 1970
1 - 25 of 14
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Awasthi, Manu; Nellans, David W.; Sudan, Kshitij; Balasubramonian, Rajeev | ABP : predictor based management of DRAM row buffers | DRAM accesses are costly, especially in multicore systems. Future CMPs will run a mixed load of workloads/threads. Destructive interference at memory controller, spatio-temporal locality lost! DRAM row-buffer hits are least expensive, row-conflicts are most. Randomized memory access patterns re... | 2010-10-06 | |
| 2 |
 |
Vardhan, Avantika | Characterizing growth patterns in longitudinal MRI using image contrast | Understanding the growth patterns of the early brain is crucial to the study of neuro-development. In the early stages of brain growth, a rapid sequence of biophysical and chemical processes take place. A crucial component of these processes, known as myelination, consists of the formation of a myel... | 2014-01-01 | |
| 3 |
 |
Zhao, Lu; Regehr, John | Comparing program logics for reasoning about safety properties | To prove memory write and controls transfers do not interfere with other programs in embedded systems. Hoare Logic with Bale Predicate; Hoare Logic with Separation Conjunction. | 2010-10-06 | |
| 4 |
 |
Fletcher, Preston Thomas; Moeller, John Henry; Phillips, Jeffrey; Venkatasubramanian, Suresh | Computing hulls in positive definite space | P(n): a Riemannian manifold Definition: symmetric positive-definite (n) (n) matrices Applications: Diffusion Tensor MRI (DT-MRI) Flow through voxel modeled in P(3) Elasticity Tensors Modeled by elements of P(6) Machine Learning Used in kernels Convex Hulls Data on P(n): Want to analyze... | 2010-10-06 | |
| 5 |
 |
Pascucci, Valerio | Efficient data restructuring and aggregation for I/O acceleration in PIDX | Hierarchical, multiresolution data representations enable interactive analysis and visualization of large-scale simulations. One promising application of these techniques is to store high performance computing simulation output in a hierarchical Z (HZ) ordering that translates data from a Cartesian ... | 2012-01-01 | |
| 6 |
 |
Kasera, Sneha K. | Enhancing covert communications with multiple colluding receivers | Traditional (single receiver) system setup: ? Choose exploit field (e.g. last byte of TCP Timestamp) ? Alice: probabilistically inject parts of coded message into field ? Bob: extract symbols from field, decode to correct errors ?Warden: assume full knowledge of system and keys Can we create un... | 2010-10-06 | |
| 7 |
 |
Grosset, Andre Vincent Pascal; Pascucci, Valerio | Infinite Zoom | Any image (apart from a fractal) has a finite resolution. On zooming in, we eventually see pixels. The aim of this project is to allow users to infinitely zoom in on an image. | 2010-10-06 | |
| 8 |
 |
De St Germain, John Davison; Morris, Alan H.; Parker, Steven G. | Performance analysis integration in the Uintah software development cycle | The increasing complexity of high-performance computing environments and programming methodologies presents challenges for empirical performance evaluation. Evolving parallel and distributed systems require performance technology that can be flexibly configured to observe different events and associ... | Uintah; Problem solving environment; Performance analysis; Parallelism; C-SAFE | 2003 |
| 9 |
 |
Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael Ii | PUG : A Symbolic Verifier of GPU Programs | PUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for Data Races, Barrier mismatches, Totally wrong results, and Weak memory model related bugs. SMT-based correctness checking methods for these error are often more scalable, general and modular. | 2010-10-06 | |
| 10 |
 |
Pascucci, Valerio; Swank, William Lorenzo | Scalable scientific data | Question Hierarchial Z-Order Evaluation How can we present hundreds or thousands of gigabytes of scientific data to a user for analysis and interpretation? • The Scientific Computing and Imaging Institute is responsible for helping scientists visualize massive amounts of data. • Sources ... | 2010-02-26 | |
| 11 |
 |
Musuvathy, Suraj Ravi; Cohen, Elaine | Tracing ridges on B-Spline surfaces | Won Best Paper Award at SIAM/ACM Joint Conference on Geometric and Physical Modeling, San Francisco, 2009 | 2010-02-26 | |
| 12 |
 |
De St Germain, John Davison; Parker, Steven G.; Johnson, Christopher R. | Uintah parallelism infrastructure: a performance evaluation on the SGI origin 2000 | Uintah is a component-based visual problem solving environment (PSE) designed to specifically address the unique problems inherent in running massively parallel scientific computations on terascale computing platforms. In particular, development of the Uintah system is part of the C-SAFE [2] effort ... | Uintah; Problem solving environment; Performance analysis; Parallelism; Origin 2000; C-SAFE | 2001 |
| 13 |
 |
De St Germain, John Davison; Parker, Steven G.; Johnson, Christopher R. | Uintah: a massively parallel problem solving environment | This paper describes Uintah, a component-based visual problem solving environment (PSE) that is designed to specifically address the unique problems of massively parallel computation on terascale computing platforms. Uintah supports the entire life cycle of scientific applications by allowing scient... | Uintah; Problem solving environment; Computational steering; Parallel computers | 2000 |
| 14 |
 |
Potter, Kristin Carrie | Uncertainty visualization in forward and inverse cardiac models | Quantification and visualization of uncertainty in cardiac forward and inverse problems with complex geometries is subject to various challenges. Specific to visualization is the observation that occlusion and clutter obscure important regions of interest, making visual assessment difficult. In orde... | 2013-01-01 |
1 - 25 of 14