𝔖 Bobbio Scriptorium

✦ LIBER ✦

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving

✍ Scribed by Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar

Book ID: 118435992
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 569 KB
Volume: 242
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.020

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach for the formal verification

An approach for the formal verification of DSP designs using Theorem proving

✍ Akbarpour, B.; Tahar, S. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 536 KB

Damage detection of a rotating cracked s

Damage detection of a rotating cracked shaft using an active magnetic bearing as a force actuator - analysis and experimental verification

✍ Quinn, D.D.; Mani, G.; Kasarda, M.E.F.; Bash, T.; Inman, D.J.; Kirk, R.G. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 287 KB

[IEEE 2010 IEEE 18th Signal Processing a

[IEEE 2010 IEEE 18th Signal Processing and Communications Applications Conference (SIU) - Diyarbakir, Turkey (2010.04.22-2010.04.24)] 2010 IEEE 18th Signal Processing and Communications Applications Conference - On the capacity analysis of compact space-multimode microstrip antenna arrays for IEEE802.11n MIMO-OFDM systems using sub-optimal MIMO detectors

✍ Yavanoglu, Asuman; Ertug, Ozgur 📂 Article 📅 2010 🏛 IEEE ⚖ 511 KB

[IEEE 2011 International Symposium on Co

[IEEE 2011 International Symposium on Computer Networks and Distributed Systems (CNDS) - Tehran, Iran (2011.02.23-2011.02.24)] 2011 International Symposium on Computer Networks and Distributed Systems (CNDS) - Delay analysis and improvement of IEEE 802.11e-based Soft-Real-Time Wireless Industrial Networks: Using an open-loop Spatial Multiplexing scheme

✍ Maadani, Mohsen; Motamedi, Seyed Ahmad; Noshari, Mostafa Mohammadi 📂 Article 📅 2011 🏛 IEEE ⚖ 386 KB

[IEEE 2008 IEEE International Workshop o

[IEEE 2008 IEEE International Workshop on Satellite and Space Communications (IWSSC) - Toulouse (2008.10.1-2008.10.3)] 2008 IEEE International Workshop on Satellite and Space Communications - Open-loop analysis of an error detector for blind symbol timing recovery using baud-rate samples

✍ Flohberger, Markus; Gappmair, Wilfried; Koudelka, Otto 📂 Article 📅 2008 🏛 IEEE ⚖ 354 KB