Filters: Department: "Computing, School of" Collection: "ir_uspace" Type: "Text" Format: "application/pdf" School Or College: "College of Engineering"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Regehr, John | Eliminating stack overflow by abstract interpretation | An important correctness criterion for software running on embedded microcontrollers is stack safety: a guarantee that the call stack does not overflow. Our first contribution is a method for statically guaranteeing stack safety of interrupt-driven embedded software using an approach based on contex... | 2005-01-01 | |
| 2 |
 |
Hansen, Charles D. | Evaluation of depth of field for depth perception in DVR | In this paper we present a user study on the use of Depth of Field for depth perception in Direct Volume Rendering. Direct Volume Rendering with Phong shading and perspective projection is used as the baseline. Depth of Field is then added to see its impact on the correct perception of ordinal depth... | 2013-01-01 | |
| 3 |
 |
Thompson, William B. | Evaluating the accuracy of size perception in real and virtual environments | Accurate perception of the size of 3D objects depicted on 2D desktop displays is important for many applications. Whether users perceive objects depicted on a display to be the same size as comparable real world objects is not well understood. We propose using affordances judgments as a way of measu... | 2012-01-01 | |
| 4 |
 |
Gopalakrishnan, Ganesh | Formal methods for surviving the jungle of heterogeneous parallelism | The 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 | |
| 5 |
 |
Regehr, John | From the editor: real-time and embedded systems--teaching reliability | Can we teach students to build reliable embedded software? Although it would be rash to say that a general agreement exists on how to teach embedded systems, there's certainly a growing understanding of the issues. For example, the excellent August 2005 issue of ACM Transactions on Embedded Computin... | 2006-01-01 | |
| 6 |
 |
Regehr, John | Inferring scheduling behavior with hourglass | Although computer programs explicitly represent data values, time values are usually implicit. This makes it difficult to analyze and debug real-time programs whose correctness depends partially on the time at which results are computed. This paper shows how to use Hourglass, an instrumented, synthe... | 2002-01-01 | |
| 7 |
 |
Regehr, John | Memory safety and untrusted extensions for TinyOS | Sensor network applications should be reliable. However, TinyOS, the dominant sensor net OS, lacks basic building blocks for reliable software systems: memory protection, isolation, and safe termination. These features are typically found in general-purpose operating systems but are believed to be t... | 2006-01-01 | |
| 8 |
 |
Balasubramonian, Rajeev | MemZip: exploring unconventional benefits from memory compression | Memory compression has been proposed and deployed in the past to grow the capacity of a memory system and reduce page fault rates. Compression also has secondary benefits: it can reduce energy and bandwidth demands. However, most prior mechanisms have been designed to focus on the capacity metric an... | 2014-01-01 | |
| 9 |
 |
Kasera, Sneha K. | Energy efficient radio tomographic imaging | In this paper, our goal is to develop approaches to reduce the energy consumption in Radio Tomographic Imaging (RTI)-based methods for device free localization without giving up localization accuracy. Our key idea is to only measure those links that are near the current location of the moving object... | 2014-01-01 | |
| 10 |
 |
Balasubramonian, Rajeev | Leveraging heterogeneity in DRAM main memories to accelerate critical word access | The DRAM main memory system in modern servers is largely homogeneous. In recent years, DRAM manufacturers have produced chips with vastly differing latency and energy characteristics. This provides the opportunity to build a heterogeneous main memory system where different parts of the address space... | 2012-01-01 | |
| 11 |
 |
Regehr, John | Lock inference for systems software | We have developed task scheduler logic (TSL) to automate reasoning about scheduling and concurrency in systems software. TSL can detect race conditions and other errors as well as supporting lock inference: the derivation of an appropriate lock implementation for each critical section in a system. L... | 2003-01-01 | |
| 12 |
 |
Regehr, John | Evolving real-time systems using hierarchical scheduling and concurrency analysis | We have developed a new way to look at real-time and embedded software: as a collection of execution environments created by a hierarchy of schedulers. Common schedulers include those that run interrupts, bottom-half handlers, threads, and events. We have created algorithms for deriving response tim... | 2003-01-01 | |
| 13 |
 |
Eide, Eric Norman | Secure disk scrubbing in a large-scale automated testbed | 2010-02-26 | ||
| 14 |
 |
Flatt, Matthew | PLT scheme as an intermediate language | 2010-02-26 | ||
| 15 |
 |
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 | |
| 16 |
 |
Balasubramonian, Rajeev | NDC: Analyzing the impact of 3D-stacked memory+logic devices on MapReduce workloads | While Processing-in-Memory has been investigated for decades, it has not been embraced commercially. A number of emerging technologies have renewed interest in this topic. In particular, the emergence of 3D stacking and the imminent release of Micron's Hybrid Memory Cube device have made it more pra... | 2014-01-01 | |
| 17 |
 |
Regehr, John | Offline compression for on-chip RAM | We present offline RAM compression, an automated source-to-source transformation that reduces a program's data size. Statically allocated scalars, pointers, structures, and arrays are encoded and packed based on the results of a whole-program analysis in the value set and pointer set domains. We tar... | 2007-01-01 | |
| 18 |
 |
Regehr, John | Ph.D. Proposal: hierarchical loadable schedulers | The processors in workstations, personal computers, and servers are becoming increasingly powerful, enabling them to run new kinds of applications, and to simultaneously run combinations of applications that were previously infeasible. However, fast hardware is not enough-the operating system must e... | 1999-01-01 | |
| 19 |
 |
Freire, Juliana | Siphoning hidden-web data through keyword-based interfaces | In this paper, we study the problem of automating the retrieval of data hidden behind simple search interfaces that accept keyword-based queries. Our goal is to automatically retrieve all available results (or, as many as possible). We propose a new approach to siphon hidden data that automatically ... | 2004-01-01 | |
| 20 |
 |
Regehr, John | Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems | The CPU schedulers in general-purpose operating systems are designed to provide fast response time for interactive applications and high throughput for batch applications. The heuristics used to achieve these goals do not lend themselves to scheduling real-time applications, nor do they meet other s... | 2001-01-01 | |
| 21 |
 |
Kirby, Robert Michael | Verifying volume rendering using discretization error analysis | We 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 | |
| 22 |
 |
Regehr, John | Vertically integrated analysis and transformation for embedded software | Program analyses and transformations that are more aggressive and more domain-specific than those traditionally performed by compilers are one possible route to achieving the rapid creation of reliable and efficient embedded software. We are creating a new framework for Vertically Integrated Program... | 2003-01-01 | |
| 23 |
 |
Gopalakrishnan, Ganesh | Ovis: A framework for visual analysis of ocean forecast ensembles | We present a novel integrated visualization system that enables interactive visual analysis of ensemble simulations of the sea surface height that is used in ocean forecasting. The position of eddies can be derived directly from the sea surface height and our visualization approach enables their int... | 2014-01-01 | |
| 24 |
 |
Sudan, Kshitij | Optimizing datacenter power with memory system levers for guaranteed quality-of-service | Co-location of applications is a proven technique to improve hardware utilization. Recent advances in virtualization have made co-location of independent applications on shared hardware a common scenario in datacenters. Colocation, while maintaining Quality-of-Service (QoS) for each application is a... | 2012-01-01 | |
| 25 |
 |
Berzins, Martin | Parallel breadth first search on GPU clusters | Fast, scalable, low-cost, and low-power execution of parallel graph algorithms is important for a wide variety of commercial and public sector applications. Breadth First Search (BFS) imposes an extreme burden on memory bandwidth and network communications and has been proposed as a benchmark that m... | 2014-01-01 |