1 - 25 of 20
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Chen, Yang; Regehr, John | A code size microbenchmark for C | Motivation ? No compilers could always generate smaller code than others ? Hand-optimized code is often hard to understand ? Programmers tend to write readable code and trust compilers generate fast and compact code for them ? There is a plenty of room for improving compiler optimizations Our ... | ||
| 2 |
 |
Schott, Mathias; Hansen, Charles D | A directional occlusion shading model for interactive direct volume rendering | Volumetric rendering is widely used to examine 3D scalar fields Key aspect: provide perceptual cues to aid in understanding the data set Shading models with natural lighting conditions better convey depth information and spatial relationships Traditionally require considerable (pre)computatio... | ||
| 3 |
 |
Ricci, Robert | A survey of computing migration | 2010-02-26 | ||
| 4 |
 |
Gopalakrishnan, Ganesh; Humphrey, Alan Parker; Derrick, Christopher Glade | An integration of dynamic MPI formal verification within eclipse PTP | Our 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 Poster | 2010-03-15 |
| 5 |
 |
Ecsedy, Kathryn Lyn; Harvey, Ian R. | The artistic applications of M.E.M.S.: gallery on a chip | Our research explored the crossroads between art and science to create tiny devices known as MEMS (Micro Electrical Mechanical Systems). These artistic devices are powered by micro charge-pumped actuation of electrons in a scanning electron microscope, utilizing a phenomenon once considered an irri... | Artistic applications; MEMS; Micro Electrical Mechanical Systems; Kinetic micro sculpture; Micro charge pump actuation; Trapeze Interactive Poster | 2010-03-15 |
| 6 |
 |
Collins, Zachary J.; Poelzing, Steven | Characterization of a four-camera ratiometric optical mapping system | Electrical activity precedes calcium mediated heart contractions. Optical mapping takes advantage of minimally invasive fluorescent molecular probes to image both electrical and calcium activity. These molecular probes allow for ratiometric imaging. We characterize a four camera system capable of... | Optical mapping; Ratiometric imaging; Di-4-ANEPPS; Indo-1; Trapeze Interactive Poster | 2010-03-15 |
| 7 |
 |
Mates, Phillip Lopes; Silva, Claudio T. | crowdLabs: a provenance enabled web repository | The National Science Foundation Science and Technology Center for Coastal Margin Observation and Prediction (CMPO) is a multi-institutional center dedicated to coastal margins, which are regions consisting of very productive ecosystems that play an important role in global elemental cycles. CMPO ma... | CrowdLabs; Web repository; Coastal margins; Trapeze Interactive Poster | 2010-03-15 |
| 8 |
 |
Nguyen, Hoa Thanh; Nguyen, Thanh Hoang; Freire, Juliana | DeepPeep: A Form Search Engine | We present DeepPeep (http://www.deeppeep.org), a new search engine specialized in Web forms. DeepPeep uses a scalable infrastructure for discovering, organizing and analyzing Web forms which serve as entry points to hidden-Web sites. DeepPeep provides an intuitive interface that allows users t... | ||
| 9 |
 |
Regehr, John; Pagariya, Rohit Pannalalji | Direct equivalence testing | Testing embedded software is difficult. • Further complicated by presence of memory and type safety errors in software. • Compiler contain various known bugs. Developers are skeptical to upgrade the compilers. • Is your embedded software affected by memory safety and compilation erro... | ||
| 10 |
 |
Lucich, Stephen; Smith, Amanda | Estimating building CO2 emissions reductions with EnergyPlus | The aim of this research is to investigate the potential to reduce greenhouse gas (GHG) emissions from the buildings sector in the Salt Lake Valley by altering the operational strategies of existing buildings. Air quality efforts typically focus on reducing emissions from transportation and industri... | Building energy modeling, Energy efficiency, HVAC, Greenhouse gas emissions | 2014-02-07 |
| 11 |
 |
Kirby, Robert Michael | Kirby research group | 2012 | ||
| 12 |
 |
Jenson, Justin Michael; Bock, Susan C. | Mitigating spinal cord injury | How would your life change if you became one of the 15,000 Americans to suffer a spinal cord injury this year? Trauma to the spinal cord causes immediate loss of function below the level of the injury. Then, in the hours and days after the accident, the body's secondary injury response may extend ... | Trapeze Interactive Poster | 2010-03-15 |
| 13 |
 |
Johnson, Robert R. | Patterns of patterns | Purpose of this Poster is to demonstrate that it takes the patterns of values in all the many dimensions to place each patient in the final patterns shown in each of the 5 charts. The final patterns determine the ability of each technology to identify or distinguish patients in each class. It is p... | Gene patterns; Colon cancer; Trapeze Interactive poster | 2010-03-15 |
| 14 |
 |
Chatterjee, Niladrish; Balasubramonian, Rajeev; Davis, Alan L. | Rethinking DRAM design and organization for energy-constrained multicores | DRAM vendors have traditionally optimized for low cost and high performance, often making design decisions that incur energy penalties. For example, a single conventional DRAM access activates thousands of bitlines in many chips, to return a single cache line to the CPU. The other bits may be access... | DRAM power consumption; Data-center power; Multicore memory; Trapeze Interactive Poster | 2010-03-15 |
| 15 |
 |
Eide, Eric Norman | Secure disk scrubbing in a large-scale automated testbed | 2010-02-26 | ||
| 16 |
 |
Pugsley, Seth H; Spjut, Josef Bo; Nellans, David W; Balasubramonian, Rajeev | SWEL: hardware cache coherence protocols to map shared data onto shared caches | In chip multiprocessors, replication of cache lines is allowed to reduce the latency each core has to access a cache line. Because of this replication, it is possible for one copy of data to become out of date if another copy of that data is modified. How a MESI protocol accomplishes this: ? K... | ||
| 17 |
 |
Li, Peng; Regehr, John | T-check: bug finding for sensor networks | A safety property is true if something bad never happens. If any state in an execution violates the safety property, the entire execution violates that property. A liveness property holds if something good will eventually happen. An execution satisfies a liveness property if the execution will en... | 2010-02-26 | |
| 18 |
 |
Thulasinathan, Aravindan; Pascucci, Valerio; Tierny, Julien | Topology Based Surface Meshing and Morphing | Morphing is a seamless transition from one image to the other, used in animation and motion pictures. Mesh Parameterization used in this process is a fundamental tool used for domain remeshing. In case of 2-manifolds for example, most approaches require that the input mesh be cut into one or mor... | 2010-10-06 | |
| 19 |
 |
Sudan, Kshitij | Understanding the behavior of Pthread applications on non-uniform cache architectures | Why is it important? As number of cores in a processor scale up, caches would become banked Keeps individual look-up time small. Allows parallel accesses by different cores. Present shared programming model assumes a flat memory. Unaware application can have sub-optimal performance Conclusion ... | Computer architecture, compiler analysis, NUCA caches | 2011-10-08 |
| 20 |
 |
Furse, Cynthia M. | Utah's engineers: a statewide initiative for growth | Imagine finding a place where inventors gather to create their inventions. Envision getting a sneak peek at the latest technological innovations in engineering and computer science. Can you see yourself as an inventor? Join us on February 20 for Meet an Inventor Day sponsored by the students of... | 2010-10-06 |
1 - 25 of 20