University of Utah

Displaying 1-31 of 31 results

  • White Papers // May 2012

    Towards Fair Sharing of Block Storage in a Multi-Tenant Cloud

    A common problem with disk-based cloud storage services is that performance can vary greatly and become highly unpredictable in a multi-tenant environment. A fundamental reason is the interference between workloads co-located on the same physical disk. The authors observe that different IO patterns interfere with each other significantly, which makes...

    Provided By University of Utah

  • White Papers // Oct 2011

    Keeping it Clean With Syntax Parameters

    Racket's syntax parameters support the hygienic implementation of syntactic forms that would otherwise introduce implicit identifiers unhygienically. There are two common kinds of unhygienic macros in Scheme, distinguished by whether the bindings they introduce are based on identifiers from their arguments or completely independent. An example of the first kind...

    Provided By University of Utah

  • White Papers // Oct 2011

    Adapting Scheme-Like Macros to a C-Like Language

    ZL is a C++-compatible language in which high-level constructs, such as classes, are defined using macros over a C-like core. ZL's parser and macro expander are similar to that of Scheme. Unlike Scheme, however, ZL must deal with C's richer syntax. Specifically, support for context-sensitive parsing and multiple syntactic categories...

    Provided By University of Utah

  • White Papers // Sep 2011

    Monitoring Breathing Via Signal Strength in Wireless Networks

    This paper shows experimentally that standard wireless networks which measure Received Signal Strength (RSS) can be used to reliably detect human breathing and estimate the breathing rate, an application the authors call "BreathTaking." They show that although an individual link cannot reliably detect breathing, the collective spectral content of a...

    Provided By University of Utah

  • White Papers // Jun 2011

    A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs

    The authors develop a framework for computing two foundational analyses for concurrent higher-order programs: (Control-) Flow Analysis (CFA) and May-Happen-in-Parallel analysis (MHP). They pay special attention to the unique challenges posed by the unrestricted mixture of first-class continuations and dynamically spawned threads. To set the stage, the authors formulate a...

    Provided By University of Utah

  • White Papers // Apr 2011

    Experimental Performance Evaluation of Location Distinction for MIMO Channels

    Location distinction is defined as determining whether or not the position of a device has changed. In the context of a wireless network, this means detecting when a transmitter changes its position via measurements made at one or more receivers, or vice versa. Location distinction is fundamentally different from localization,...

    Provided By University of Utah

  • White Papers // Feb 2011

    Social Security Tax And Endogenous Technical Change In An Economy With An Aging Population

    This paper presents a classical model of economic growth which incorporates class conflict and induced technological change to show how demographic changes can affect future income distribution and production relations in industrialized countries. Specifically, the author uses an extended real wage Phillips curve to account for the effects of a...

    Provided By University of Utah

  • White Papers // Jan 2011

    Electronics and Data Acquisition System in the HiRes Prototype

    The Hires Prototype is the second generation Fly's Eye type detector built for the observation of the atmospheric showers produced by ultra high energy cosmic rays (Bird et al, 1993). It is being operated with 14 detector clusters. Each cluster consists of 256 individually analyzed PhotoMultiplier Tubes (PMT). The 256...

    Provided By University of Utah

  • White Papers // Jan 2011

    The Costs and Benefits of Pair Programming

    Pair or collaborative programming is where two programmers develop software side by side at one computer. Using interviews and controlled experiments, the authors investigated the costs and benefits of pair programming. They found that for a development-time cost of about 15%, pair programming improves design quality, reduces defects, reduces staffing...

    Provided By University of Utah

  • White Papers // Jan 2011

    Supporting Persistent C++ Objects in a Distributed Storage System

    The authors have designed and implemented a C++ object layer for Khazana, a distributed persistent storage system that exports a flat shared address space as its basic abstraction. The C++ layer described herein lets programmers use familiar C++ idioms to allocate, manipulate, and deallocate persistent shared data structures. It handles...

    Provided By University of Utah

  • White Papers // Jan 2011

    3D Line Textures and the Visualization of Confidence in Architecture

    This work introduces a technique for interactive walkthroughs of Non-Photorealistically Rendered (NPR) scenes using 3D line primitives to define architectural features of the model, as well as indicate textural qualities. Line primitives are not typically used in this manner in favor of texture mapping techniques which can encapsulate a great...

    Provided By University of Utah

  • White Papers // Jan 2011

    A Survey of MPI Related Debuggers and Tools

    Message Passing Interface is a widely used standard in the High Performance and Scientific Computing Community for writing programs that can be exploit the capability of parallel platforms. However, the inherent complexity and the size of the communication standard have made it difficult for the programmers to use it efficiently...

    Provided By University of Utah

  • White Papers // Jan 2011

    Elastic Flow in an Application Specific Network-on-Chip

    A Network-on-Chip (NoC) is increasingly needed to interconnect the large number and variety of Intellectual Property (IP) cells that make up a System-on-Chip (SoC). The network must be able to communicate between cells in different clock domains, and do so with minimal space, power, and latency overhead. In this paper,...

    Provided By University of Utah

  • White Papers // Aug 2010

    Correctness Proofs for Device Drivers in Embedded Systems

    Computer systems do not exist in isolation: they must interact with the world through I/O devices. The authors' work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. The authors created an abstract device model that can be plugged into...

    Provided By University of Utah

  • White Papers // Jul 2010

    Pushdown Control-Flow Analysis of Higher-Order Programs

    Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites - a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higher-order languages and gain the same...

    Provided By University of Utah

  • White Papers // Jul 2010

    Monitoring Travel Time Reliability From the Cloud: Cloud Computing Based Architecture for Advanced Traffic Information Dissemination

    Under the existing loosely-distributed sensoring environment with heterogeneous data sources, transportation planning and management agencies have found a critical need for efficiently storing, processing and extracting desirable corridor-level and network-level information through a systematic and seamless integration of data sources. Extracting travel time variability and trip reliability information from a...

    Provided By University of Utah

  • White Papers // Apr 2010

    Firm Debt Structure And Firm Size: A Micro Approach

    Micro industrial firm panel data on short-term and long-term borrowing (term debt structure) for annual and quarterly time periods over the years 1995-2008 are used to test an insulation hypothesis and a related volatility hypothesis. The former test uses a regression model relating the ratio of accounts payable in trade...

    Provided By University of Utah

  • White Papers // Mar 2010

    Modern Finance, Methodology And The Global Crisis

    Modern finance has a conceptually unified theoretical core that includes the Efficient Market Hypothesis (EMH), the relationship between risk and return based on the Capital Asset Pricing Model (CAPM), the Modigliani-Miller theorems (M&M) and the Black-Scholes-Merton approach to option pricing. The core has been instrumental to the growth of the...

    Provided By University of Utah

  • White Papers // Mar 2010

    On the Impact of MIMO Diversity on Higher Layer Performance

    In this paper, the authors shed light on the cross-layer interactions between the PHY, link and routing layers in networks with MIMO links operating in the diversity mode. Many previous studies assume an overly simplistic PHY layer model that does not sufficiently capture these interactions. They show that the use...

    Provided By University of Utah

  • White Papers // Mar 2010

    All Is Quiet In The Fiscal Front: Fiscal Policy For The Global Economic Crisis

    The current economic global crisis has thrown fiscal policy onto the center stage. However, the current crisis episode has not produced any change regarding the standing role and function of fiscal policy in developed and developing market economies that has dominated the economics profession for decades. In fact, the uncertain...

    Provided By University of Utah

  • White Papers // Feb 2010

    Coexisting With CSMA-Based Reactive Primary Users

    Cognitive radio has the potential to improve spectrum efficiency and to alleviate spectrum scarcity by opportunistically utilizing un-utilized or under-utilized spectrum. A cognitive radio device needs to monitor Primary User (PU) activities to identify white spaces and utilize spectral opportunities for transmission, without significantly affecting the PU performance. Additional challenges...

    Provided By University of Utah

  • White Papers // Jan 2010

    FDI Flow Volatility And ASEAN Members: An Exploratory Approach

    The volatility of Foreign Direct Investment (FDI) flows, particularly those into ASEAN countries is well known. Still researchers will continue to use regression approaches to analyze this volatility. This paper is an exploratory approach to analyzing the behavior of FDI with no attempt to design a complete regression model. The...

    Provided By University of Utah

  • White Papers // Jan 2010

    Architectures for Open Access Hotspots

    This paper envisages the study of wireless access points in an open access conguration. In this conguration, the users of the service have access to the network without the need of authentication and without accounting their access. Therefore, authors intend to consider the particularities of an access perspective of this...

    Provided By University of Utah

  • White Papers // Jan 2010

    A Scalable, Accurate and Extensible Network Emulation Platform Using the IXP1200 Network Processor

    Emulab, the Utah Network testbed, is a large-scale emulation environment available to researchers all over the world. Through automated experiment configuration, and features such as dynamically changing link, router, and traffic characteristics, Emulab brings much of a simulator's ease of use and control to emulation while retaining its realism. PCs...

    Provided By University of Utah

  • White Papers // Dec 2009

    Cosine Modulated and Offset QAM Filter Bank Multicarrier Techniques: A Continuous-Time Prospect

    Prior to the discovery of the celebrated Orthogonal Frequency Division Multiplexing (OFDM), multi-carrier techniques that use analog filter banks were introduced in the 1960s.Moreover, advancements in the design of perfect reconstruction filter banks have led to a number developments in the design of prototype digital filters and polyphase structures for...

    Provided By University of Utah

  • White Papers // Oct 2009

    Discovering Company Revenue Relations From News: A Network Approach

    Large volumes of online business news provide an opportunity to explore various aspects of companies. A news story pertaining to a company often cites other companies. Using such company citations the authors construct an intercompany network, employ social network analysis techniques to identify a set of attributes from the network...

    Provided By University of Utah

  • White Papers // Oct 2009

    Through-Wall Motion Tracking Using Variance-Based Radio Tomography Networks

    This paper presents a new method for imaging, localizing, and tracking motion behind walls in real-time. The method takes advantage of the motion-induced variance of received signal strength measurements made in a wireless peer-to-peer network. Using a multipath channel model, the authors show that the signal strength on a wireless...

    Provided By University of Utah

  • White Papers // Sep 2009

    Ensemble-Vis: A Framework for the Statistical Visualization of Ensemble Data

    Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using multiple numerical models, sampled input conditions and perturbed parameters. While ensemble data sets are a powerful tool for mitigating uncertainty, they pose significant visualization and analysis challenges due...

    Provided By University of Utah

  • White Papers // Aug 2009

    Firm Debt Structure And Firm Size

    The recent macro monetary policy debate over the existence of bank lending channels focuses on short-term bank borrowing versus short-term non-bank borrowing by firms. The approach is macro using aggregate manufacturing corporation data from the QFR of the US Census Bureau. In the present paper, the approach is micro using...

    Provided By University of Utah

  • White Papers // Nov 2007

    The Persistent Relevance of the Local Operating System to Global Applications

    The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of Java-based systems as the solution to the issues of software maintenance, flexibility, and security are changing the research emphasis away from traditional single node operating system issues. Apparently, the view is that...

    Provided By University of Utah

  • White Papers // Feb 2007

    Microkernels Meet Recursive Virtual Machines

    In this paper, the authors describe a novel approach to providing modular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. They have developed a software-based virtualizable architecture called fluke that allows recursive virtual machines (virtual machines running on other virtual...

    Provided By University of Utah

  • White Papers // Jan 2010

    A Scalable, Accurate and Extensible Network Emulation Platform Using the IXP1200 Network Processor

    Emulab, the Utah Network testbed, is a large-scale emulation environment available to researchers all over the world. Through automated experiment configuration, and features such as dynamically changing link, router, and traffic characteristics, Emulab brings much of a simulator's ease of use and control to emulation while retaining its realism. PCs...

    Provided By University of Utah

  • White Papers // Jan 2010

    Architectures for Open Access Hotspots

    This paper envisages the study of wireless access points in an open access conguration. In this conguration, the users of the service have access to the network without the need of authentication and without accounting their access. Therefore, authors intend to consider the particularities of an access perspective of this...

    Provided By University of Utah

  • White Papers // Sep 2009

    Ensemble-Vis: A Framework for the Statistical Visualization of Ensemble Data

    Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using multiple numerical models, sampled input conditions and perturbed parameters. While ensemble data sets are a powerful tool for mitigating uncertainty, they pose significant visualization and analysis challenges due...

    Provided By University of Utah

  • White Papers // Jul 2010

    Monitoring Travel Time Reliability From the Cloud: Cloud Computing Based Architecture for Advanced Traffic Information Dissemination

    Under the existing loosely-distributed sensoring environment with heterogeneous data sources, transportation planning and management agencies have found a critical need for efficiently storing, processing and extracting desirable corridor-level and network-level information through a systematic and seamless integration of data sources. Extracting travel time variability and trip reliability information from a...

    Provided By University of Utah

  • White Papers // Jan 2011

    Electronics and Data Acquisition System in the HiRes Prototype

    The Hires Prototype is the second generation Fly's Eye type detector built for the observation of the atmospheric showers produced by ultra high energy cosmic rays (Bird et al, 1993). It is being operated with 14 detector clusters. Each cluster consists of 256 individually analyzed PhotoMultiplier Tubes (PMT). The 256...

    Provided By University of Utah

  • White Papers // Jan 2011

    The Costs and Benefits of Pair Programming

    Pair or collaborative programming is where two programmers develop software side by side at one computer. Using interviews and controlled experiments, the authors investigated the costs and benefits of pair programming. They found that for a development-time cost of about 15%, pair programming improves design quality, reduces defects, reduces staffing...

    Provided By University of Utah

  • White Papers // Jan 2011

    3D Line Textures and the Visualization of Confidence in Architecture

    This work introduces a technique for interactive walkthroughs of Non-Photorealistically Rendered (NPR) scenes using 3D line primitives to define architectural features of the model, as well as indicate textural qualities. Line primitives are not typically used in this manner in favor of texture mapping techniques which can encapsulate a great...

    Provided By University of Utah

  • White Papers // Jan 2011

    A Survey of MPI Related Debuggers and Tools

    Message Passing Interface is a widely used standard in the High Performance and Scientific Computing Community for writing programs that can be exploit the capability of parallel platforms. However, the inherent complexity and the size of the communication standard have made it difficult for the programmers to use it efficiently...

    Provided By University of Utah

  • White Papers // Aug 2010

    Correctness Proofs for Device Drivers in Embedded Systems

    Computer systems do not exist in isolation: they must interact with the world through I/O devices. The authors' work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. The authors created an abstract device model that can be plugged into...

    Provided By University of Utah

  • White Papers // Jan 2011

    Supporting Persistent C++ Objects in a Distributed Storage System

    The authors have designed and implemented a C++ object layer for Khazana, a distributed persistent storage system that exports a flat shared address space as its basic abstraction. The C++ layer described herein lets programmers use familiar C++ idioms to allocate, manipulate, and deallocate persistent shared data structures. It handles...

    Provided By University of Utah

  • White Papers // Oct 2009

    Discovering Company Revenue Relations From News: A Network Approach

    Large volumes of online business news provide an opportunity to explore various aspects of companies. A news story pertaining to a company often cites other companies. Using such company citations the authors construct an intercompany network, employ social network analysis techniques to identify a set of attributes from the network...

    Provided By University of Utah

  • White Papers // Jan 2010

    FDI Flow Volatility And ASEAN Members: An Exploratory Approach

    The volatility of Foreign Direct Investment (FDI) flows, particularly those into ASEAN countries is well known. Still researchers will continue to use regression approaches to analyze this volatility. This paper is an exploratory approach to analyzing the behavior of FDI with no attempt to design a complete regression model. The...

    Provided By University of Utah

  • White Papers // Mar 2010

    Modern Finance, Methodology And The Global Crisis

    Modern finance has a conceptually unified theoretical core that includes the Efficient Market Hypothesis (EMH), the relationship between risk and return based on the Capital Asset Pricing Model (CAPM), the Modigliani-Miller theorems (M&M) and the Black-Scholes-Merton approach to option pricing. The core has been instrumental to the growth of the...

    Provided By University of Utah

  • White Papers // Mar 2010

    All Is Quiet In The Fiscal Front: Fiscal Policy For The Global Economic Crisis

    The current economic global crisis has thrown fiscal policy onto the center stage. However, the current crisis episode has not produced any change regarding the standing role and function of fiscal policy in developed and developing market economies that has dominated the economics profession for decades. In fact, the uncertain...

    Provided By University of Utah

  • White Papers // Apr 2010

    Firm Debt Structure And Firm Size: A Micro Approach

    Micro industrial firm panel data on short-term and long-term borrowing (term debt structure) for annual and quarterly time periods over the years 1995-2008 are used to test an insulation hypothesis and a related volatility hypothesis. The former test uses a regression model relating the ratio of accounts payable in trade...

    Provided By University of Utah

  • White Papers // Aug 2009

    Firm Debt Structure And Firm Size

    The recent macro monetary policy debate over the existence of bank lending channels focuses on short-term bank borrowing versus short-term non-bank borrowing by firms. The approach is macro using aggregate manufacturing corporation data from the QFR of the US Census Bureau. In the present paper, the approach is micro using...

    Provided By University of Utah

  • White Papers // Jul 2010

    Pushdown Control-Flow Analysis of Higher-Order Programs

    Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites - a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higher-order languages and gain the same...

    Provided By University of Utah

  • White Papers // Jun 2011

    A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs

    The authors develop a framework for computing two foundational analyses for concurrent higher-order programs: (Control-) Flow Analysis (CFA) and May-Happen-in-Parallel analysis (MHP). They pay special attention to the unique challenges posed by the unrestricted mixture of first-class continuations and dynamically spawned threads. To set the stage, the authors formulate a...

    Provided By University of Utah

  • White Papers // Mar 2010

    On the Impact of MIMO Diversity on Higher Layer Performance

    In this paper, the authors shed light on the cross-layer interactions between the PHY, link and routing layers in networks with MIMO links operating in the diversity mode. Many previous studies assume an overly simplistic PHY layer model that does not sufficiently capture these interactions. They show that the use...

    Provided By University of Utah

  • White Papers // Feb 2011

    Social Security Tax And Endogenous Technical Change In An Economy With An Aging Population

    This paper presents a classical model of economic growth which incorporates class conflict and induced technological change to show how demographic changes can affect future income distribution and production relations in industrialized countries. Specifically, the author uses an extended real wage Phillips curve to account for the effects of a...

    Provided By University of Utah

  • White Papers // Jan 2011

    Elastic Flow in an Application Specific Network-on-Chip

    A Network-on-Chip (NoC) is increasingly needed to interconnect the large number and variety of Intellectual Property (IP) cells that make up a System-on-Chip (SoC). The network must be able to communicate between cells in different clock domains, and do so with minimal space, power, and latency overhead. In this paper,...

    Provided By University of Utah

  • White Papers // Feb 2010

    Coexisting With CSMA-Based Reactive Primary Users

    Cognitive radio has the potential to improve spectrum efficiency and to alleviate spectrum scarcity by opportunistically utilizing un-utilized or under-utilized spectrum. A cognitive radio device needs to monitor Primary User (PU) activities to identify white spaces and utilize spectral opportunities for transmission, without significantly affecting the PU performance. Additional challenges...

    Provided By University of Utah

  • White Papers // Apr 2011

    Experimental Performance Evaluation of Location Distinction for MIMO Channels

    Location distinction is defined as determining whether or not the position of a device has changed. In the context of a wireless network, this means detecting when a transmitter changes its position via measurements made at one or more receivers, or vice versa. Location distinction is fundamentally different from localization,...

    Provided By University of Utah

  • White Papers // Sep 2011

    Monitoring Breathing Via Signal Strength in Wireless Networks

    This paper shows experimentally that standard wireless networks which measure Received Signal Strength (RSS) can be used to reliably detect human breathing and estimate the breathing rate, an application the authors call "BreathTaking." They show that although an individual link cannot reliably detect breathing, the collective spectral content of a...

    Provided By University of Utah

  • White Papers // Dec 2009

    Cosine Modulated and Offset QAM Filter Bank Multicarrier Techniques: A Continuous-Time Prospect

    Prior to the discovery of the celebrated Orthogonal Frequency Division Multiplexing (OFDM), multi-carrier techniques that use analog filter banks were introduced in the 1960s.Moreover, advancements in the design of perfect reconstruction filter banks have led to a number developments in the design of prototype digital filters and polyphase structures for...

    Provided By University of Utah

  • White Papers // Oct 2011

    Adapting Scheme-Like Macros to a C-Like Language

    ZL is a C++-compatible language in which high-level constructs, such as classes, are defined using macros over a C-like core. ZL's parser and macro expander are similar to that of Scheme. Unlike Scheme, however, ZL must deal with C's richer syntax. Specifically, support for context-sensitive parsing and multiple syntactic categories...

    Provided By University of Utah

  • White Papers // Oct 2011

    Keeping it Clean With Syntax Parameters

    Racket's syntax parameters support the hygienic implementation of syntactic forms that would otherwise introduce implicit identifiers unhygienically. There are two common kinds of unhygienic macros in Scheme, distinguished by whether the bindings they introduce are based on identifiers from their arguments or completely independent. An example of the first kind...

    Provided By University of Utah

  • White Papers // Oct 2009

    Through-Wall Motion Tracking Using Variance-Based Radio Tomography Networks

    This paper presents a new method for imaging, localizing, and tracking motion behind walls in real-time. The method takes advantage of the motion-induced variance of received signal strength measurements made in a wireless peer-to-peer network. Using a multipath channel model, the authors show that the signal strength on a wireless...

    Provided By University of Utah

  • White Papers // May 2012

    Towards Fair Sharing of Block Storage in a Multi-Tenant Cloud

    A common problem with disk-based cloud storage services is that performance can vary greatly and become highly unpredictable in a multi-tenant environment. A fundamental reason is the interference between workloads co-located on the same physical disk. The authors observe that different IO patterns interfere with each other significantly, which makes...

    Provided By University of Utah

  • White Papers // Nov 2007

    The Persistent Relevance of the Local Operating System to Global Applications

    The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of Java-based systems as the solution to the issues of software maintenance, flexibility, and security are changing the research emphasis away from traditional single node operating system issues. Apparently, the view is that...

    Provided By University of Utah

  • White Papers // Feb 2007

    Microkernels Meet Recursive Virtual Machines

    In this paper, the authors describe a novel approach to providing modular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. They have developed a software-based virtualizable architecture called fluke that allows recursive virtual machines (virtual machines running on other virtual...

    Provided By University of Utah