Search

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

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

نوع: Conference Paper

نویسنده : Ishigooka, Tasuku; Saissi, Habib; Piper, Thorsten; Winter, Stefan; Suri, Neeraj

ناشر: IEEE

سال: 2014

Joint design of density of access points and partially overlapped channel assignment for capacity optimization in wireless networks

نوع: Conference Paper

نویسنده : Zhao, Wei; Fadlullah, Zubair; Nishiyama, Hiroki; Kato, Nei; Hamaguchi, Kiyoshi

ناشر: IEEE

سال: 2014

Pattern reconfigurable antenna for mobile handsets

نوع: Conference Paper

نویسنده : Shoaib, Sultan; Shoaib, Imran; Shoaib, Nosherwan; Xiaodong Chen; Parini, C.G.

ناشر: IEEE

سال: 2014

Learning Local Semantic Distances with Limited Supervision

نوع: Conference Paper

نویسنده : Chang, Shiyu; Aggarwal, Charu C.; Huang, Thomas S.

ناشر: IEEE

سال: 2014

Session 3: Internet application and technology

نوع: Conference Paper

ناشر: IEEE

سال: 2014

MATLAB-based module for encryption and decryption using bifid ciphers applied in cryptosystems

نوع: Conference Paper

نویسنده : Borodzhieva, A.N.; Manoilov, P.K.

ناشر: IEEE

سال: 2014

Versatility of power gyrator structures for energy processing in photovoltaic solar systems

نوع: Conference Paper

نویسنده : Martinez-Garcia, Herminio; Grau-Saldes, Antoni

ناشر: IEEE

سال: 2014

Organizing Committee

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Characterization of ink-jet printed CPW on Kapton substrates at 60 GHz

نوع: Conference Paper

نویسنده : Swaisaenyakorn, S.; Young, P.R.; Shkunov, M.

ناشر: IEEE

سال: 2014

Search

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Joint design of density of access points and partially overlapped channel assignment for capacity optimization in wireless networks

Pattern reconfigurable antenna for mobile handsets

Learning Local Semantic Distances with Limited Supervision

Session 3: Internet application and technology

MATLAB-based module for encryption and decryption using bifid ciphers applied in cryptosystems

Versatility of power gyrator structures for energy processing in photovoltaic solar systems

Organizing Committee

Characterization of ink-jet printed CPW on Kapton substrates at 60 GHz

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Joint design of density of access points and partially overlapped channel assignment for capacity optimization in wireless networks

Pattern reconfigurable antenna for mobile handsets

Learning Local Semantic Distances with Limited Supervision

Session 3: Internet application and technology

MATLAB-based module for encryption and decryption using bifid ciphers applied in cryptosystems

Versatility of power gyrator structures for energy processing in photovoltaic solar systems

Organizing Committee

Characterization of ink-jet printed CPW on Kapton substrates at 60 GHz