Ecole Polytechnique de Montreal

Displaying 1-12 of 12 results

  • White Papers // May 2012

    Analysis of Cognitive Radio Networks Based on a Queueing Model With Server Interruptions

    In this paper, the authors introduce a queueing approach with server interruptions to analyze the performance of a Cognitive Radio (CR) link subject to recurrent failures and interruptions. This general model can be used to analyze the traffic metrics as a function of different recovery schemes, channel bandwidth variations and...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2012

    Opportunistic Adaptive Relaying in Cognitive Radio Networks

    Combining cognitive radio technology with user cooperation could be advantageous to both primary and secondary transmissions. In this paper, the authors propose a first relaying scheme for cognitive radio networks (called "Adaptive relaying scheme 1"), where one relay node can assist the primary or the secondary transmission with the objective...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Oct 2011

    A Dual-Based Method for Resource Allocation in OFDMA-SDMA Systems With Minimum Rate Constraints

    The authors consider multi-antenna base stations using Orthogonal Frequency-Division Multiple Access (OFDMA) and Space Division Multiple Access (SDMA) techniques to serve single antenna users, where some of those users have minimum rate requirements and must be served in the current time slot (real time users), while others do not have...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Sep 2011

    A Novel Relay-Aided Transmission Scheme in Cognitive Radio Networks

    In underlay cognitive radio networks, unlicensed secondary users are allowed to share the spectrum with licensed primary users when the interference induced on the primary transmission is limited. In this paper, the authors propose a new cooperative transmission scheme for cognitive radio networks where a relay node is able to...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2011

    An Agent-Based Strategy for Deploying Analysis Models Into Specification and Design for Distributed APS Systems

    Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promising field with several open research questions. Specifically, the literature falls short in providing an integrated framework to analyze, specify, design and implement simulation...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Feb 2011

    Fingerprint Characteristic Extraction by Ridge Orientation: An Approach for a Supervised Contactless Biometric System

    Fingerprints are the most widely used human characteristics for the purpose of people identification. However, touch-based fingerprint systems have some drawbacks due to skin elasticity, inconsistent finger placement, contact pressure, small sensing area, environment conditions and sensor noise. In this paper, the authors present a contactless fingerprint system based on...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2010

    Reliability Analysis of Markov Blanket Learning Algorithms

    In this paper, the authors focus on the reliability, or data efficiency, problem of the existing Markov blanket learning algorithms. They first define as well as demonstrate the seriousness of this problem. Secondly, they review eleven published algorithms ranging from 1996 to 2010, including their design and the reliability problem....

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Jan 2010

    A Performance Analysis of Multi-Hop Ad Hoc Networks With Adaptive Antenna Array Systems

    Based on a stochastic geometry framework, the authors establish an analysis of the Multi-hop Spatial Reuse Aloha protocol (MSR-Aloha) in ad hoc networks. They compare MSR-Aloha to a simple routing strategy, where a node selects the next relay of the treated packet as to be its Nearest receiver with a...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Dec 2009

    Modeling and Formal Verification of a Passive Optical Network on Chip Behavior

    Many of the modern Systems-on-Chip integrate a high density of heterogeneous components such as different processors, a wide range of hardware components, as well as complex interconnects that use different communication protocols. On-chip physical interconnections represent a limiting factor for the performance and energy consumption. Currently, the optical interconnects integrated...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Sep 2009

    Flow-Based Propagators for the SEQUENCE and Related Global Constraints

    Graph based algorithms play a very important role in constraint programming, especially within propagators for global constraints. For example, Regin's propagator for the ALLDIFFERENT constraint is based on a perfect matching algorithm, whilst his propagator for the GCC constraint is based on a network flow algorithm. Both these graph algorithms...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Apr 2009

    Translating BP-Calculus Specifications to Verified BPEL Code : A Proof of Correctness

    Orchestration allows the construction of more and more complex Web Services (WS) by featuring interoperability between highly distributed and heterogeneous web-based services. While Business Process Execution Language for Web Services (WS-BPEL) is the widely accepted standard for designing Web Service compositions, it is critical to formally analyze WS-BPEL specifications in...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Apr 2008

    Translating BP-calculus specifications to Verified BPEL Code

    Orchestration allows the construction of more and more complex Web Services (WS) by featuring interoperability between highly distributed and heterogeneous web-based services. While Business Process Execution Language for Web Services (WS-BPEL) is the widely accepted standard for designing Web Service compositions, it is critical to analyze formally WS-BPEL specifications in...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2010

    Reliability Analysis of Markov Blanket Learning Algorithms

    In this paper, the authors focus on the reliability, or data efficiency, problem of the existing Markov blanket learning algorithms. They first define as well as demonstrate the seriousness of this problem. Secondly, they review eleven published algorithms ranging from 1996 to 2010, including their design and the reliability problem....

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Jan 2010

    A Performance Analysis of Multi-Hop Ad Hoc Networks With Adaptive Antenna Array Systems

    Based on a stochastic geometry framework, the authors establish an analysis of the Multi-hop Spatial Reuse Aloha protocol (MSR-Aloha) in ad hoc networks. They compare MSR-Aloha to a simple routing strategy, where a node selects the next relay of the treated packet as to be its Nearest receiver with a...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Sep 2009

    Flow-Based Propagators for the SEQUENCE and Related Global Constraints

    Graph based algorithms play a very important role in constraint programming, especially within propagators for global constraints. For example, Regin's propagator for the ALLDIFFERENT constraint is based on a perfect matching algorithm, whilst his propagator for the GCC constraint is based on a network flow algorithm. Both these graph algorithms...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2011

    An Agent-Based Strategy for Deploying Analysis Models Into Specification and Design for Distributed APS Systems

    Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promising field with several open research questions. Specifically, the literature falls short in providing an integrated framework to analyze, specify, design and implement simulation...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Feb 2011

    Fingerprint Characteristic Extraction by Ridge Orientation: An Approach for a Supervised Contactless Biometric System

    Fingerprints are the most widely used human characteristics for the purpose of people identification. However, touch-based fingerprint systems have some drawbacks due to skin elasticity, inconsistent finger placement, contact pressure, small sensing area, environment conditions and sensor noise. In this paper, the authors present a contactless fingerprint system based on...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Sep 2011

    A Novel Relay-Aided Transmission Scheme in Cognitive Radio Networks

    In underlay cognitive radio networks, unlicensed secondary users are allowed to share the spectrum with licensed primary users when the interference induced on the primary transmission is limited. In this paper, the authors propose a new cooperative transmission scheme for cognitive radio networks where a relay node is able to...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Oct 2011

    A Dual-Based Method for Resource Allocation in OFDMA-SDMA Systems With Minimum Rate Constraints

    The authors consider multi-antenna base stations using Orthogonal Frequency-Division Multiple Access (OFDMA) and Space Division Multiple Access (SDMA) techniques to serve single antenna users, where some of those users have minimum rate requirements and must be served in the current time slot (real time users), while others do not have...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Dec 2009

    Modeling and Formal Verification of a Passive Optical Network on Chip Behavior

    Many of the modern Systems-on-Chip integrate a high density of heterogeneous components such as different processors, a wide range of hardware components, as well as complex interconnects that use different communication protocols. On-chip physical interconnections represent a limiting factor for the performance and energy consumption. Currently, the optical interconnects integrated...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2012

    Analysis of Cognitive Radio Networks Based on a Queueing Model With Server Interruptions

    In this paper, the authors introduce a queueing approach with server interruptions to analyze the performance of a Cognitive Radio (CR) link subject to recurrent failures and interruptions. This general model can be used to analyze the traffic metrics as a function of different recovery schemes, channel bandwidth variations and...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // May 2012

    Opportunistic Adaptive Relaying in Cognitive Radio Networks

    Combining cognitive radio technology with user cooperation could be advantageous to both primary and secondary transmissions. In this paper, the authors propose a first relaying scheme for cognitive radio networks (called "Adaptive relaying scheme 1"), where one relay node can assist the primary or the secondary transmission with the objective...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Apr 2009

    Translating BP-Calculus Specifications to Verified BPEL Code : A Proof of Correctness

    Orchestration allows the construction of more and more complex Web Services (WS) by featuring interoperability between highly distributed and heterogeneous web-based services. While Business Process Execution Language for Web Services (WS-BPEL) is the widely accepted standard for designing Web Service compositions, it is critical to formally analyze WS-BPEL specifications in...

    Provided By Ecole Polytechnique de Montreal

  • White Papers // Apr 2008

    Translating BP-calculus specifications to Verified BPEL Code

    Orchestration allows the construction of more and more complex Web Services (WS) by featuring interoperability between highly distributed and heterogeneous web-based services. While Business Process Execution Language for Web Services (WS-BPEL) is the widely accepted standard for designing Web Service compositions, it is critical to analyze formally WS-BPEL specifications in...

    Provided By Ecole Polytechnique de Montreal