University of New Mexico

Displaying 1-40 of 67 results

  • White Papers // May 2012

    Using Dynamic Analysis to Discover Polynomial and Array Invariants

    Dynamic invariant analysis identifies likely properties over variables from observed program traces. These properties can aid programmers in refactoring, documenting, and debugging tasks by making dynamic patterns visible statically. Two useful forms of invariants involve relations among polynomials over program variables and relations among array variables. Current dynamic analysis methods...

    Provided By University of New Mexico

  • White Papers // Apr 2012

    Software Mutational Robustness: Bridging the Gap Between Mutation Testing and Evolutionary Biology

    In the mutation testing paradigm, test suite quality is measured by its ability to detect (or kill) variant programs generated through application of random changes to an original program. The ideal test suite is sensitive to any semantic change. In evolutionary biology, however, neutral mutations that leave fitness unchanged are...

    Provided By University of New Mexico

  • White Papers // Mar 2012

    Diverse Lightpath Protection Against Correlated and Probabilistic Failures in Multi-Domain Optical Networks

    This paper proposes a distributed lightpath protection scheme for diverse routing in multi-domain optical networks with correlated and probabilistic failures. This novel solution jointly considers traffic engineering and failure risk reduction objectives. With growing bandwidth service demands, survivability in multi-domain optical Dense Wavelength Division Multiplexing (DWDM) networks is a major...

    Provided By University of New Mexico

  • White Papers // Mar 2012

    Diverse Routing in Multi-Domain Optical Networks With Correlated and Probabilistic Multi-Failures

    Multi-failure network survivability is a key concern for operators owing to the recent spate of natural and man-made disasters. Hence, this paper presents a new diverse lightpath protection scheme for random correlated failure recovery in multi-domain optical networks. The solution leverages topology abstraction and hierarchical inter-domain routing and assumes a-priori...

    Provided By University of New Mexico

  • White Papers // Dec 2011

    Cooperative Wireless-Based Obstacle/Object Mapping and See-Through Capabilities in Robotic Networks

    In this paper, the authors develop a theoretical and experimental framework for the mapping of obstacles (including occluded ones), in a robotic cooperative network, based on a small number of wireless channel measurements. This would allow the robots to map an area before entering it. They consider three approaches based...

    Provided By University of New Mexico

  • White Papers // Dec 2011

    Robotic Router Formation in Realistic Communication Environments - A Bit Error Rate Approach

    In this paper, the authors consider the problem of robotic router formation, where two nodes need to maintain their connectivity over a large area, by using a number of mobile routers. They are interested in the robust operation of such networks in realistic communication environments that naturally experience path loss,...

    Provided By University of New Mexico

  • White Papers // Nov 2011

    Co-Optimization of Communication and Motion Planning of a Robotic Operation in Fading Environments

    In this paper, the authors consider the scenario where a robot needs to maximize the amount of information it sends to a fixed station as it moves along a predefined trajectory. They consider the case where the robot operates under energy and time constraints and has to jointly consider its...

    Provided By University of New Mexico

  • White Papers // Oct 2011

    An Application of Markov Jump Process Model for Activity-Based Indoor Mobility Prediction in Wireless Networks

    One of the most important objectives of a wireless network is to facilitate a prediction of users' mobility regardless of their point of attachment to the network. In indoor environments the effective users' motion prediction system and wireless localization technology play an important role in all aspects of people's daily...

    Provided By University of New Mexico

  • White Papers // Oct 2011

    On the Spatial Predictability of Communication Channels

    In this paper, the authors are interested in fundamentally understanding the spatial predictability of wireless channels. They propose a probabilistic channel prediction framework for predicting the spatial variations of a wireless channel, based on a small number of measurements. By using this framework, they then develop a mathematical foundation for...

    Provided By University of New Mexico

  • White Papers // Sep 2011

    A Communication-Aware Framework for Robotic Field Estimation

    In this paper, the authors consider the problem where a fixed fusion center utilizes a number of mobile sensors in order to estimate the spatial variations of a field. The sensors measure the variations of the field in regions around their current positions and send their sensory data back to...

    Provided By University of New Mexico

  • White Papers // Sep 2011

    Dynamic Coverage of Time-Varying Environments Using a Mobile Robot - A Communication-Aware Perspective

    In this paper, the authors study the problem of dynamic coverage of a number of points of interest, in a time-varying environment, using a mobile robot. They consider the scenario where the uncertainty at any point of interest that is not being sensed by the onboard sensor of the robot...

    Provided By University of New Mexico

  • White Papers // Aug 2011

    Semantics-Based Resource Discovery in Large-Scale Grids

    With the present ubiquitous network connections and the growing computational and storage capabilities of modern everyday-use computers, more resources, such as PCs, handheld devices (e.g., PDAs and sensors), applications, and services are on grid networks. Grid is expected to evolve from a computing and data management facility to a pervasive,...

    Provided By University of New Mexico

  • White Papers // Aug 2011

    Binary Consensus for Cooperative Spectrum Sensing in Cognitive Radio Networks

    In this paper, the authors propose to use binary consensus algorithms for distributed cooperative spectrum sensing in cognitive radio networks. They propose to use two binary approaches, namely diversity and fusion binary consensus spectrum sensing. The performance of these algorithms is analyzed over fading channels. The probability of networked detection...

    Provided By University of New Mexico

  • White Papers // Jun 2011

    Multi-Domain DWDM Network Provisioning for Correlated Failures

    Network survivability is a key area and many schemes have been studied for optical Dense Wavelength Division Multiplexing (DWDM) networks. These include pre-provisioned protection strategies for working/ backup path computation as well as post-fault restoration. With expanding deployments, multi-domain protection schemes have also been evolved for larger backbone networks. For...

    Provided By University of New Mexico

  • White Papers // Jun 2011

    Provisioning for Probabilistic Failures in Multi-Domain DWDM Networks

    This paper addresses multi-domain light-path provisioning within the context of correlated multi-failure events. The paper jointly incorporates both risk minimization and traffic engineering objectives, and develops a novel graph theoretic scheme for distributed operation in realistic optical network settings. Detailed performance evaluation results are then presented to gauge the effectiveness...

    Provided By University of New Mexico

  • White Papers // May 2011

    Usage Management in Cloud Computing

    User concerns regarding data handling within the cloud will gain increasing importance as cloud computing becomes more pervasive. Existing Service Level Agreement (SLA) frameworks are not designed for flexibly handling even relatively straightforward usage policies. This paper introduces the notion and importance of usage management in cloud computing. It provides...

    Provided By University of New Mexico

  • White Papers // Apr 2011

    Managed Control of Composite Cloud Systems

    Cloud providers have just begun to provide primitive functionality enabling users to configure and easily provision resources, primarily in the infrastructure as a service domain. In order to effectively manage cloud resources in an automated fashion, systems must automate Quality-of-Service (QoS) metric measurement as a part of a larger usage...

    Provided By University of New Mexico

  • White Papers // Apr 2011

    Advance Reservation for Virtual Overlay Network Services

    Network advance reservation is an area of growing interest and focus today. However, most proposed solutions in this field have only focused on the scheduling of point-to-point client connections. Now as applications and user communities continue to expand, there is a growing need to extend advance reservation support for multi-point...

    Provided By University of New Mexico

  • White Papers // Apr 2011

    Communication-Aware Surveillance in Mobile Sensor Networks

    In this paper, the authors consider a surveillance problem, where a number of mobile nodes are tasked with surveying an area for the possible presence of stationary targets and reporting their findings back to a fixed base station, in the presence of realistic fading communication channels. They develop a mathematical...

    Provided By University of New Mexico

  • White Papers // Feb 2011

    Optimal Myopic Sensing and Dynamic Spectrum Access in Centralized Secondary Cognitive Radio Networks With Low-Complexity Implementations

    Cognitive Radio (CR) techniques allow unlicensed Secondary Users (SUs) to opportunistically access underutilized primary channels that are licensed to Primary Users (PUs). The authors consider a multi-primary channel scenario in which the SUs cooperatively try to find these primary channel spectrum holes by limited spectrum sensing. The objective is to...

    Provided By University of New Mexico

  • White Papers // Feb 2011

    Optimal and Low-Complexity Algorithms for Dynamic Spectrum Access in Centralized Cognitive Radio Networks With Fading Channels

    In this paper, the authors develop a centralized spectrum sensing and Dynamic Spectrum Access (DSA) scheme for Secondary Users (SUs) in a Cognitive Radio (CR) network. Assuming that the primary channel occupancy follows a Markovian evolution, the channel sensing problem is modeled as a Partially Observable Markov Decision Process (POMDP)....

    Provided By University of New Mexico

  • White Papers // Feb 2011

    A Cooperative Game Theoretic Solution for Lifetime Maximization of WSNs in Sequential Estimation

    In this paper, the problem of sequential estimation and lifetime maximization of a Wireless Sensor Network (WSN) is formulated in a cooperative game theoretic framework. This framework allows addressing problems of fair resource allocation for sequential estimation at the Fusion Center (FC) of a wireless sensor network as a solution...

    Provided By University of New Mexico

  • White Papers // Jan 2011

    Termination Analysis of C Programs Using Compiler Intermediate Languages

    Modeling the semantics of programming languages like C for the automated termination analysis of programs is a challenge if complete coverage of all language features should be achieved. On the other hand, low-level intermediate languages that occur during the compilation of C programs to machine code have a much simpler...

    Provided By University of New Mexico

  • White Papers // Jan 2011

    Increasing Communications Security Through Protocol Parameter Diversity

    Pulsing attacks use carefully synchronized high-rate low-duration bursts of traffic that are injected into a network to induce denial-of-service. These attacks are effective because the bursts force protocols into low-performance states. The synchronization relies on the fact that most computers run protocols with identical parameter values. The use of diverse...

    Provided By University of New Mexico

  • White Papers // Jan 2011

    To Drop or Not to Drop: Receiver Design Principles for Estimation Over Wireless Links

    In this paper, the authors consider estimation of a multiple-input multiple-output dynamical system over a wireless fading communication channel using a Kalman filter. They are interested in finding the optimum receiver design in terms of handing noisy samples. They reformulate the estimation problem to include the impact of stochastic communication...

    Provided By University of New Mexico

  • White Papers // Dec 2010

    Learning to Thrive in a Leasing Market: An Auctioning Framework for Distributed Dynamic Spectrum Leasing (D-DSL)

    Recently proposed Dynamic Spectrum Leasing (DSL) for Dynamic Spectrum Sharing (DSS) presumes that there is a reward for primary users for accepting secondary activity. The reward primary users received in previous DSL proposals, however, were considered to be proportional to the secondary interference level. In this paper, the authors propose...

    Provided By University of New Mexico

  • White Papers // Nov 2010

    Opportunities for Leveraging OS Virtualization in High-End Supercomputing

    This paper examines potential motivations for incorporating virtualization support in the system software stacks of high end capability supercomputers. This paper advocates that this will increase the exibility of these platforms significantly and enable new capabilities that are not possible with current fixed software stacks. The results indicate that compute,...

    Provided By University of New Mexico

  • White Papers // Oct 2010

    A Rotatable Reconfigurable Antenna for Cognitive Radio Applications

    This paper presents an antenna scheme suitable for cognitive radio applications. A UWB sensing antenna and a frequency reconfigurable communicating antenna are incorporated together into the same antenna substrate. The UWB antenna searches for available spectrum holes while the reconfigurable antenna simultaneously tunes its operating frequency to the corresponding frequency...

    Provided By University of New Mexico

  • White Papers // Sep 2010

    Radiation Therapy Calculations Using an On-Demand Virtual Cluster Via Cloud Computing

    Computer hardware costs are the limiting factor in producing highly accurate radiation dose calculations on convenient time scales. Because of this, large scale, full Monte Carlo simulations and other resource intensive algorithms are often considered infeasible for clinical settings. The emerging cloud computing paradigm promises to fundamentally alter the economics...

    Provided By University of New Mexico

  • White Papers // Aug 2010

    Efficient Spectrum Sharing With Autonomous Primary Users: Distributed Dynamic Spectrum Leasing (D-DSL)

    In this paper, the authors introduce a new architecture for dynamic spectrum sharing called the Distributed Dynamic Spectrum Leasing (D-DSL) and a game theoretic framework for its implementation on a cognitive radio network. In D-DSL, it is assumed that each channel is assigned to a primary user who may lease...

    Provided By University of New Mexico

  • White Papers // Aug 2010

    Kalman Filtering overWireless Fading Channels

    In this paper, the authors consider the estimation of a dynamical system over a wireless fading channel using a Kalman filter. They develop a framework for understanding the impact of stochastic communication noise, packet drop and the knowledge available on the link qualities on Kalman filtering over fading channels. They...

    Provided By University of New Mexico

  • White Papers // Aug 2010

    Automatic Program Repair With Evolutionary Computation

    There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-the-shelf legacy C programs. The method takes as input the buggy...

    Provided By University of New Mexico

  • White Papers // Aug 2010

    Compressive Cooperative Obstacle Mapping in Mobile Networks

    In this paper, the authors consider a mobile cooperative network that is tasked with building an obstacle map in an environment. They propose a framework that allows the robots to build the obstacle map non-invasively and with a small number of wireless channel measurements. By extending their previous work on...

    Provided By University of New Mexico

  • White Papers // May 2010

    Implementation of a Cognitive Radio Front-End Using Optically Reconfigurable Antennas

    This paper presents a reconfigurable radio front-end antenna scheme suitable for cognitive radio communications. The authors' scheme comprises of an UWB antenna structure (antenna-1) and a reconfigurable antenna structure (antenna-2) incorporated together on the same substrate. The UWB antenna-1 is used for channel sensing while the reconfigurable antenna-2 is designed...

    Provided By University of New Mexico

  • White Papers // May 2010

    Maximizing Throughput in Wireless Multi-Access Channel Networks

    Recent advances in the physical layer have enabled the simultaneous reception of multiple packets by a node in wireless networks. In this paper, the authors present a generalized model for the throughput optimization problem in multi-hop wireless networks that support Multi-Packet Reception (MPR) capability. The model incorporates the multi-access channel,...

    Provided By University of New Mexico

  • White Papers // Apr 2010

    Distributed Node Selection for Sequential Estimation Over Noisy Communication Channels

    This paper proposes a framework for distributed sequential parameter estimation in wireless sensor networks. In the proposed scheme, the estimator is updated sequentially at the current node with its new measurement and the noisy corrupted estimator from the previous node. Since all nodes in the network may not carry useful...

    Provided By University of New Mexico

  • White Papers // Mar 2010

    Channel Learning and Communication-Aware Motion Planning in Mobile Networks

    In this paper, the authors propose a communication-aware motion planning framework to ensure robust cooperative operation of a mobile network in realistic communication environments. They use a probabilistic multi-scale model for channel characterization. They, then utilize their previously proposed model-based channel prediction framework in order to devise communication-aware motion-planning approaches....

    Provided By University of New Mexico

  • White Papers // Feb 2010

    Dynamic Spectrum Leasing (DSL) in Dynamic Channels

    Dynamic Spectrum Leasing (DSL) was recently proposed as a new way to achieve Dynamic Spectrum Sharing (DSS). Unlike previously considered Dynamic Spectrum Access (DSA) proposals, DSL allows for the spectrum owner, called the primary user, to dynamically adjust the amount of interference it is willing to tolerate from secondary users....

    Provided By University of New Mexico

  • White Papers // Feb 2010

    Mobility Assisted Distributed Tracking in Hybrid Sensor Networks

    In this paper, the authors propose a new Mobility Assisted Tracking (MAT) algorithm for tracking a single target in a hybrid sensor network consisting of both static and mobile nodes. The network is assumed to be partitioned into clusters and cluster heads are formed from a set of high capacity...

    Provided By University of New Mexico

  • White Papers // Jan 2010

    Optimal Channel and Power Allocation for Secondary Users in Cooperative Cognitive Radio Networks

    Cognitive radios are a natural evolution of Software Defined Radios (SDRs) that are supposed to be equipped with the ability to learn their RF environment and reconfigurability. A cognitive radio can communicate over a primary user's channel as long as the introduced interference does not degrade the primary Single-to-Interference-plus-Noise-Ratio (SINR)...

    Provided By University of New Mexico

  • White Papers // Apr 2010

    Distributed Node Selection for Sequential Estimation Over Noisy Communication Channels

    This paper proposes a framework for distributed sequential parameter estimation in wireless sensor networks. In the proposed scheme, the estimator is updated sequentially at the current node with its new measurement and the noisy corrupted estimator from the previous node. Since all nodes in the network may not carry useful...

    Provided By University of New Mexico

  • White Papers // Jan 2010

    Optimal Channel and Power Allocation for Secondary Users in Cooperative Cognitive Radio Networks

    Cognitive radios are a natural evolution of Software Defined Radios (SDRs) that are supposed to be equipped with the ability to learn their RF environment and reconfigurability. A cognitive radio can communicate over a primary user's channel as long as the introduced interference does not degrade the primary Single-to-Interference-plus-Noise-Ratio (SINR)...

    Provided By University of New Mexico

  • White Papers // May 2011

    Usage Management in Cloud Computing

    User concerns regarding data handling within the cloud will gain increasing importance as cloud computing becomes more pervasive. Existing Service Level Agreement (SLA) frameworks are not designed for flexibly handling even relatively straightforward usage policies. This paper introduces the notion and importance of usage management in cloud computing. It provides...

    Provided By University of New Mexico

  • White Papers // Aug 2011

    Semantics-Based Resource Discovery in Large-Scale Grids

    With the present ubiquitous network connections and the growing computational and storage capabilities of modern everyday-use computers, more resources, such as PCs, handheld devices (e.g., PDAs and sensors), applications, and services are on grid networks. Grid is expected to evolve from a computing and data management facility to a pervasive,...

    Provided By University of New Mexico

  • White Papers // Mar 2012

    Diverse Lightpath Protection Against Correlated and Probabilistic Failures in Multi-Domain Optical Networks

    This paper proposes a distributed lightpath protection scheme for diverse routing in multi-domain optical networks with correlated and probabilistic failures. This novel solution jointly considers traffic engineering and failure risk reduction objectives. With growing bandwidth service demands, survivability in multi-domain optical Dense Wavelength Division Multiplexing (DWDM) networks is a major...

    Provided By University of New Mexico

  • White Papers // Mar 2012

    Diverse Routing in Multi-Domain Optical Networks With Correlated and Probabilistic Multi-Failures

    Multi-failure network survivability is a key concern for operators owing to the recent spate of natural and man-made disasters. Hence, this paper presents a new diverse lightpath protection scheme for random correlated failure recovery in multi-domain optical networks. The solution leverages topology abstraction and hierarchical inter-domain routing and assumes a-priori...

    Provided By University of New Mexico

  • White Papers // Jun 2011

    Multi-Domain DWDM Network Provisioning for Correlated Failures

    Network survivability is a key area and many schemes have been studied for optical Dense Wavelength Division Multiplexing (DWDM) networks. These include pre-provisioned protection strategies for working/ backup path computation as well as post-fault restoration. With expanding deployments, multi-domain protection schemes have also been evolved for larger backbone networks. For...

    Provided By University of New Mexico

  • White Papers // Apr 2011

    Advance Reservation for Virtual Overlay Network Services

    Network advance reservation is an area of growing interest and focus today. However, most proposed solutions in this field have only focused on the scheduling of point-to-point client connections. Now as applications and user communities continue to expand, there is a growing need to extend advance reservation support for multi-point...

    Provided By University of New Mexico

  • White Papers // Oct 2011

    An Application of Markov Jump Process Model for Activity-Based Indoor Mobility Prediction in Wireless Networks

    One of the most important objectives of a wireless network is to facilitate a prediction of users' mobility regardless of their point of attachment to the network. In indoor environments the effective users' motion prediction system and wireless localization technology play an important role in all aspects of people's daily...

    Provided By University of New Mexico

  • White Papers // Jun 2011

    Provisioning for Probabilistic Failures in Multi-Domain DWDM Networks

    This paper addresses multi-domain light-path provisioning within the context of correlated multi-failure events. The paper jointly incorporates both risk minimization and traffic engineering objectives, and develops a novel graph theoretic scheme for distributed operation in realistic optical network settings. Detailed performance evaluation results are then presented to gauge the effectiveness...

    Provided By University of New Mexico

  • White Papers // Aug 2010

    Automatic Program Repair With Evolutionary Computation

    There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-the-shelf legacy C programs. The method takes as input the buggy...

    Provided By University of New Mexico

  • White Papers // Dec 2011

    Cooperative Wireless-Based Obstacle/Object Mapping and See-Through Capabilities in Robotic Networks

    In this paper, the authors develop a theoretical and experimental framework for the mapping of obstacles (including occluded ones), in a robotic cooperative network, based on a small number of wireless channel measurements. This would allow the robots to map an area before entering it. They consider three approaches based...

    Provided By University of New Mexico

  • White Papers // Dec 2011

    Robotic Router Formation in Realistic Communication Environments - A Bit Error Rate Approach

    In this paper, the authors consider the problem of robotic router formation, where two nodes need to maintain their connectivity over a large area, by using a number of mobile routers. They are interested in the robust operation of such networks in realistic communication environments that naturally experience path loss,...

    Provided By University of New Mexico

  • White Papers // Nov 2011

    Co-Optimization of Communication and Motion Planning of a Robotic Operation in Fading Environments

    In this paper, the authors consider the scenario where a robot needs to maximize the amount of information it sends to a fixed station as it moves along a predefined trajectory. They consider the case where the robot operates under energy and time constraints and has to jointly consider its...

    Provided By University of New Mexico

  • White Papers // Sep 2011

    A Communication-Aware Framework for Robotic Field Estimation

    In this paper, the authors consider the problem where a fixed fusion center utilizes a number of mobile sensors in order to estimate the spatial variations of a field. The sensors measure the variations of the field in regions around their current positions and send their sensory data back to...

    Provided By University of New Mexico

  • White Papers // Sep 2011

    Dynamic Coverage of Time-Varying Environments Using a Mobile Robot - A Communication-Aware Perspective

    In this paper, the authors study the problem of dynamic coverage of a number of points of interest, in a time-varying environment, using a mobile robot. They consider the scenario where the uncertainty at any point of interest that is not being sensed by the onboard sensor of the robot...

    Provided By University of New Mexico

  • White Papers // Mar 2010

    Channel Learning and Communication-Aware Motion Planning in Mobile Networks

    In this paper, the authors propose a communication-aware motion planning framework to ensure robust cooperative operation of a mobile network in realistic communication environments. They use a probabilistic multi-scale model for channel characterization. They, then utilize their previously proposed model-based channel prediction framework in order to devise communication-aware motion-planning approaches....

    Provided By University of New Mexico

  • White Papers // May 2012

    Using Dynamic Analysis to Discover Polynomial and Array Invariants

    Dynamic invariant analysis identifies likely properties over variables from observed program traces. These properties can aid programmers in refactoring, documenting, and debugging tasks by making dynamic patterns visible statically. Two useful forms of invariants involve relations among polynomials over program variables and relations among array variables. Current dynamic analysis methods...

    Provided By University of New Mexico

  • White Papers // Mar 2009

    Using Execution Paths to Evolve Software Patches

    The authors present an evolutionary approach using Genetic Programming (GP) to automatically create software repairs. By concentrating the modifications on regions related to where the bug occurs, they effectively minimize the search space complexity and hence increase the performance of the GP process. To preserve the core functionalities of the...

    Provided By University of New Mexico

  • White Papers // Apr 2012

    Software Mutational Robustness: Bridging the Gap Between Mutation Testing and Evolutionary Biology

    In the mutation testing paradigm, test suite quality is measured by its ability to detect (or kill) variant programs generated through application of random changes to an original program. The ideal test suite is sensitive to any semantic change. In evolutionary biology, however, neutral mutations that leave fitness unchanged are...

    Provided By University of New Mexico

  • White Papers // Feb 2009

    The Forgiving Graph: A Distributed Data Structure for Low Stretch Under Adversarial Attack

    The authors consider the problem of self-healing in peer-to-peer networks that are under repeated attack by an omniscient adversary. They assume that, over a sequence of rounds, an adversary either inserts a node with arbitrary connections or deletes an arbitrary node from the network. The network responds to each such...

    Provided By University of New Mexico

  • White Papers // May 2009

    An Immune System Inspired Approach to Automated Program Verification

    An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS algorithm for a specific automated program verification task: That...

    Provided By University of New Mexico

  • White Papers // Dec 2009

    Term Rewriting With Built-In Numbers and Collection Data Structures

    Term rewrite systems have been extensively used in order to model computer programs for the purpose of formal verification. This is in particular true if the termination behavior of computer programs is investigated, and automatic termination proving for term rewrite systems has received increased interest in recent years. Ordinary term...

    Provided By University of New Mexico

  • White Papers // May 2009

    Dependency Pairs for Rewriting With Built-in Numbers and Semantic Data Structures

    This paper defines an expressive class of constrained equational rewrite systems that supports the use of semantic data structures (e.g., sets or multisets) and contains built-in numbers, thus extending the previous work presented at CADE 2007. These rewrite systems, which are based on normalized rewriting on constructor terms, allow the...

    Provided By University of New Mexico

  • White Papers // Feb 2009

    Termination of Context-Sensitive Rewriting With Built-In Numbers and Collection Data Structures

    Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it can be used to model lazy evaluation in functional languages such as Haskell. Building upon the previous work on an expressive and elegant class of rewrite...

    Provided By University of New Mexico

  • White Papers // Jan 2011

    Termination Analysis of C Programs Using Compiler Intermediate Languages

    Modeling the semantics of programming languages like C for the automated termination analysis of programs is a challenge if complete coverage of all language features should be achieved. On the other hand, low-level intermediate languages that occur during the compilation of C programs to machine code have a much simpler...

    Provided By University of New Mexico

  • White Papers // May 2009

    A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs

    An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is transformed into rewrite rules with constraints from quantifier-free Presburger arithmetic. Any computation in the imperative program corresponds to a rewrite sequence, and termination of the rewrite...

    Provided By University of New Mexico

  • White Papers // May 2009

    Proving Termination of Integer Term Rewriting

    Recently, techniques and tools from term rewriting have been successfully applied to prove termination automatically for different programming languages. The advantage of rewrite techniques is that they are very powerful for algorithms on user-defined data structures, since they can automatically generate suitable well-founded orders comparing arbitrary forms of terms. But...

    Provided By University of New Mexico

  • White Papers // Feb 2009

    Automatically Finding Patches Using Genetic Programming

    Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. The authors introduce a fully automated method for locating and repairing bugs in software. The approach works on off-the-shelf legacy applications and does not require formal specifications, program annotations or special...

    Provided By University of New Mexico

  • White Papers // Sep 2009

    Throughput Optimization and Traffic Engineering in WDM Networks Considering Multiple Metrics

    In this paper, the authors present a multi-objective Integer Linear Program (ILP) for the joint throughput optimization and traffic engineering problem in Wavelength-Division Multiplexing (WDM) networks. The proposed model simultaneously maximizes the aggregated throughput, minimizes the resource consumption, and achieves load balancing by minimizing the Maximum Link Utilization (MLU). Even...

    Provided By University of New Mexico

  • White Papers // May 2010

    Maximizing Throughput in Wireless Multi-Access Channel Networks

    Recent advances in the physical layer have enabled the simultaneous reception of multiple packets by a node in wireless networks. In this paper, the authors present a generalized model for the throughput optimization problem in multi-hop wireless networks that support Multi-Packet Reception (MPR) capability. The model incorporates the multi-access channel,...

    Provided By University of New Mexico

  • White Papers // Sep 2009

    Minimum Length Scheduling in Single-Hop Multiple Access Wireless Networks

    In this paper, the authors address the minimum length scheduling problem in wireless networks, where each transmitter has a finite amount of data to deliver to a common receiver node (e.g., base station). In contrast with previous works that model wireless channels according to the Protocol or Physical model of...

    Provided By University of New Mexico

  • White Papers // Apr 2011

    Managed Control of Composite Cloud Systems

    Cloud providers have just begun to provide primitive functionality enabling users to configure and easily provision resources, primarily in the infrastructure as a service domain. In order to effectively manage cloud resources in an automated fashion, systems must automate Quality-of-Service (QoS) metric measurement as a part of a larger usage...

    Provided By University of New Mexico

  • White Papers // Dec 2010

    Learning to Thrive in a Leasing Market: An Auctioning Framework for Distributed Dynamic Spectrum Leasing (D-DSL)

    Recently proposed Dynamic Spectrum Leasing (DSL) for Dynamic Spectrum Sharing (DSS) presumes that there is a reward for primary users for accepting secondary activity. The reward primary users received in previous DSL proposals, however, were considered to be proportional to the secondary interference level. In this paper, the authors propose...

    Provided By University of New Mexico

  • White Papers // Sep 2010

    Radiation Therapy Calculations Using an On-Demand Virtual Cluster Via Cloud Computing

    Computer hardware costs are the limiting factor in producing highly accurate radiation dose calculations on convenient time scales. Because of this, large scale, full Monte Carlo simulations and other resource intensive algorithms are often considered infeasible for clinical settings. The emerging cloud computing paradigm promises to fundamentally alter the economics...

    Provided By University of New Mexico

  • White Papers // Dec 2008

    A Novel Primary-Secondary User Power Control Game for Cognitive Radios

    In cognitive radio networks, secondary users need to access the licensed spectrum while neither disturbing the transmissions of the primary users nor introducing much interference to other secondary users. Hence, proper power controlling is of paramount importance to ensure efficient system operation. The previous work on power control in cognitive...

    Provided By University of New Mexico

  • White Papers // Feb 2010

    Dynamic Spectrum Leasing (DSL) in Dynamic Channels

    Dynamic Spectrum Leasing (DSL) was recently proposed as a new way to achieve Dynamic Spectrum Sharing (DSS). Unlike previously considered Dynamic Spectrum Access (DSA) proposals, DSL allows for the spectrum owner, called the primary user, to dynamically adjust the amount of interference it is willing to tolerate from secondary users....

    Provided By University of New Mexico

  • White Papers // May 2010

    Implementation of a Cognitive Radio Front-End Using Optically Reconfigurable Antennas

    This paper presents a reconfigurable radio front-end antenna scheme suitable for cognitive radio communications. The authors' scheme comprises of an UWB antenna structure (antenna-1) and a reconfigurable antenna structure (antenna-2) incorporated together on the same substrate. The UWB antenna-1 is used for channel sensing while the reconfigurable antenna-2 is designed...

    Provided By University of New Mexico

  • White Papers // Aug 2010

    Efficient Spectrum Sharing With Autonomous Primary Users: Distributed Dynamic Spectrum Leasing (D-DSL)

    In this paper, the authors introduce a new architecture for dynamic spectrum sharing called the Distributed Dynamic Spectrum Leasing (D-DSL) and a game theoretic framework for its implementation on a cognitive radio network. In D-DSL, it is assumed that each channel is assigned to a primary user who may lease...

    Provided By University of New Mexico

  • White Papers // Oct 2010

    A Rotatable Reconfigurable Antenna for Cognitive Radio Applications

    This paper presents an antenna scheme suitable for cognitive radio applications. A UWB sensing antenna and a frequency reconfigurable communicating antenna are incorporated together into the same antenna substrate. The UWB antenna searches for available spectrum holes while the reconfigurable antenna simultaneously tunes its operating frequency to the corresponding frequency...

    Provided By University of New Mexico