Universidad de Cantabria

Displaying 1-6 of 6 results

  • White Papers // Jan 2012

    Blind Identification of MIMO-OSTBC Channels Combining Second and Higher Order Statistics

    It has been recently shown that some Multiple-Input Multiple-Output (MIMO) channels under Orthogonal Space-Time Block Coding (OSTBC) transmissions can not be unambiguously identified by only exploiting the Second Order Statistics (SOS) of the received signal. This ambiguity, which is due to properties of the OSTBC, is traduced in the fact...

    Provided By Universidad de Cantabria

  • White Papers // Apr 2011

    Capacity Region of the Two-Way Multi-Antenna Relay Channel With Analog Tx-Rx Beamforming

    In this paper, the authors study the Multiple-Input Multiple-Output Two-Way Relay Channel (MIMO-TWRC) when the nodes use analog beam-forming. Following the Amplify-and-Forward (AF) strategy, the problem consists of finding the transmit and receive beam-formers of the nodes and the relay, and the power allocated to each one, that achieve the...

    Provided By Universidad de Cantabria

  • White Papers // Jul 2010

    Native Co-Simulation of TCP/IP-Based Embedded Systems in SystemC

    Fast, early estimation techniques are crucial to achieve optimal designs of large embedded systems while reducing the development time. However, modeling solutions at these early design steps still suffer of important lacks. Most of these embedded systems contains networks or are conceived to be connected to networks such as networks...

    Provided By Universidad de Cantabria

  • White Papers // Jun 2010

    Equal-Phase Beamforming Architecture for RF-MIMO Antenna Systems

    This paper considers a novel Multiple-Input Multiple-Output (MIMO) architecture, which combines the signals in the Radio-Frequency (RF) domain. Unlike previous approaches, the proposed architecture is exclusively based on the application of different gain factors to the transmitted/received signals, and therefore it avoids the need of including a controllable phase-shifter (or...

    Provided By Universidad de Cantabria

  • White Papers // Apr 2009

    Performance Analysis of Transmit Antenna Selection in Broadcast MISO Channels

    Time-Division Multiple Access (TDMA) with Transmit Antenna Selection (TAS) is a simple and feasible transmission scheme for broadcast multiple-input single-output (BC-MISO) channels. Compared to other more complex strategies, TAS exhibits two important advantages: The required channel knowledge at the transmitter is relatively low and it only needs a single radio-frequency...

    Provided By Universidad de Cantabria

  • White Papers // Mar 2008

    Formal Verification of the Secure Sockets Layer Protocol

    Secure Sockets Layer (SSL) has become one of the most popular security protocols in the Internet. In this paper the authors present a formal verification of this protocol using the Casper/FDR2 toolbox. In the analysis of SSL v3.0 Handshake they have used a methodology that considers incremental versions of the...

    Provided By Universidad de Cantabria

  • White Papers // Jul 2010

    Native Co-Simulation of TCP/IP-Based Embedded Systems in SystemC

    Fast, early estimation techniques are crucial to achieve optimal designs of large embedded systems while reducing the development time. However, modeling solutions at these early design steps still suffer of important lacks. Most of these embedded systems contains networks or are conceived to be connected to networks such as networks...

    Provided By Universidad de Cantabria

  • White Papers // Apr 2011

    Capacity Region of the Two-Way Multi-Antenna Relay Channel With Analog Tx-Rx Beamforming

    In this paper, the authors study the Multiple-Input Multiple-Output Two-Way Relay Channel (MIMO-TWRC) when the nodes use analog beam-forming. Following the Amplify-and-Forward (AF) strategy, the problem consists of finding the transmit and receive beam-formers of the nodes and the relay, and the power allocated to each one, that achieve the...

    Provided By Universidad de Cantabria

  • White Papers // Jun 2010

    Equal-Phase Beamforming Architecture for RF-MIMO Antenna Systems

    This paper considers a novel Multiple-Input Multiple-Output (MIMO) architecture, which combines the signals in the Radio-Frequency (RF) domain. Unlike previous approaches, the proposed architecture is exclusively based on the application of different gain factors to the transmitted/received signals, and therefore it avoids the need of including a controllable phase-shifter (or...

    Provided By Universidad de Cantabria

  • White Papers // Jan 2012

    Blind Identification of MIMO-OSTBC Channels Combining Second and Higher Order Statistics

    It has been recently shown that some Multiple-Input Multiple-Output (MIMO) channels under Orthogonal Space-Time Block Coding (OSTBC) transmissions can not be unambiguously identified by only exploiting the Second Order Statistics (SOS) of the received signal. This ambiguity, which is due to properties of the OSTBC, is traduced in the fact...

    Provided By Universidad de Cantabria

  • White Papers // Apr 2009

    Performance Analysis of Transmit Antenna Selection in Broadcast MISO Channels

    Time-Division Multiple Access (TDMA) with Transmit Antenna Selection (TAS) is a simple and feasible transmission scheme for broadcast multiple-input single-output (BC-MISO) channels. Compared to other more complex strategies, TAS exhibits two important advantages: The required channel knowledge at the transmitter is relatively low and it only needs a single radio-frequency...

    Provided By Universidad de Cantabria

  • White Papers // Mar 2008

    Formal Verification of the Secure Sockets Layer Protocol

    Secure Sockets Layer (SSL) has become one of the most popular security protocols in the Internet. In this paper the authors present a formal verification of this protocol using the Casper/FDR2 toolbox. In the analysis of SSL v3.0 Handshake they have used a methodology that considers incremental versions of the...

    Provided By Universidad de Cantabria