Search

Now showing items 1-9 of 9

<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

Type: Journal Paper

Author : JaeSeung Song; Cadar, Cristian; Pietzuch, Peter

Publisher: IEEE

Year: 2014

A simple modeling technique of harmonic analysis for transformer

Type: Conference Paper

Author : Soh, T.L.G.; Said, D.M.; Ahmad, N.; Nor, K.M.; Salim, F.

Publisher: IEEE

Year: 2014

Physical layer secrecy for MISO channel with quantized feedback

Type: Conference Paper

Author : Krikidis, Ioannis; Psomas, Constantinos

Publisher: IEEE

Year: 2014

DNS-based load balancing with Cache for geographically distributed Web server systems

Type: Conference Paper

Author : Semchedine, Fouzi; Bouallouche-Medjkoune, Louiza; Sayeh, Omar; Ayoub, Sofiane; Aissani, Djamil

Publisher: IEEE

Year: 2014

Simulation-based Analysis of Inductance at Loose Connector Contact Boundaries

Type: Conference Paper

Publisher: IEEE

Year: 2014

Rapid design space exploration of two-level unified caches

Type: Conference Paper

Author : Jingyu Deng , Yun Liang , Guojie Luo , Guangyu Sun

Publisher: IEEE

Year: 2014

Analysis to the effects of NH code for Beidou MEO/IGSO satellite signal acquisition

Type: Conference Paper

Author : Mingxing Shi; Ao Peng; Gang Ou

Publisher: IEEE

Year: 2014

Analysis of Partial K-Space reconstruction algorithms for Magnetic Resonance Imaging

Type: Conference Paper

Author : Bashir, S. , Joshi, S.D. , Shabir, S.

Publisher: IEEE

Year: 2014

A hybrid model for wind power prediction composed of ANN and imperialist competitive algorithm (ICA)

Type: Conference Paper

Author : Gazafroudi, Amin Shokri; Bigdeli, Nooshin; Ramandi, Mostafa Yousefi; Afshar, Karim

Publisher: IEEE

Year: 2014

Search

<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

A simple modeling technique of harmonic analysis for transformer

Physical layer secrecy for MISO channel with quantized feedback

DNS-based load balancing with Cache for geographically distributed Web server systems

Simulation-based Analysis of Inductance at Loose Connector Contact Boundaries

Rapid design space exploration of two-level unified caches

Analysis to the effects of NH code for Beidou MEO/IGSO satellite signal acquisition

Analysis of Partial K-Space reconstruction algorithms for Magnetic Resonance Imaging

A hybrid model for wind power prediction composed of ANN and imperialist competitive algorithm (ICA)

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

A simple modeling technique of harmonic analysis for transformer

Physical layer secrecy for MISO channel with quantized feedback

DNS-based load balancing with Cache for geographically distributed Web server systems

Simulation-based Analysis of Inductance at Loose Connector Contact Boundaries

Rapid design space exploration of two-level unified caches

Analysis to the effects of NH code for Beidou MEO/IGSO satellite signal acquisition

Analysis of Partial K-Space reconstruction algorithms for Magnetic Resonance Imaging

A hybrid model for wind power prediction composed of ANN and imperialist competitive algorithm (ICA)