Search

نمایش تعداد 1-9 از 9

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

نوع: Journal Paper

نویسنده : JaeSeung Song; Cadar, Cristian; Pietzuch, Peter

ناشر: IEEE

سال: 2014

A simple modeling technique of harmonic analysis for transformer

نوع: Conference Paper

نویسنده : Soh, T.L.G.; Said, D.M.; Ahmad, N.; Nor, K.M.; Salim, F.

ناشر: IEEE

سال: 2014

Physical layer secrecy for MISO channel with quantized feedback

نوع: Conference Paper

نویسنده : Krikidis, Ioannis; Psomas, Constantinos

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Semchedine, Fouzi; Bouallouche-Medjkoune, Louiza; Sayeh, Omar; Ayoub, Sofiane; Aissani, Djamil

ناشر: IEEE

سال: 2014

Simulation-based Analysis of Inductance at Loose Connector Contact Boundaries

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Rapid design space exploration of two-level unified caches

نوع: Conference Paper

نویسنده : Jingyu Deng , Yun Liang , Guojie Luo , Guangyu Sun

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Mingxing Shi; Ao Peng; Gang Ou

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Bashir, S. , Joshi, S.D. , Shabir, S.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Gazafroudi, Amin Shokri; Bigdeli, Nooshin; Ramandi, Mostafa Yousefi; Afshar, Karim

ناشر: IEEE

سال: 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)

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

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)