2013 - XXXI Simpósio Brasileiro de Telecomunicações
Wireless Communications in the Undergrad Curriculum
The field of wireless communications even in its restriction to cellular systems continues to expand rapidly. As such, its introduction in the undergraduat...
- Elvino S. Sousa
- --
SBrT 2013
WiFi Multifloor Indoor DCM Positioning
Database correlation methods (DCM) are used to locate mobile stations (MS’s) in wireless networks. A target radiofrequency (RF) fingerprint - measured by th...
- Rafael Saraiva Campos
- Lisandro Lovisolo
- Marcello L. R. de Campos
- Mobile Stations
- WiFi Networks
- Indoor Positioning
- Radio-frequency Fingerprint
- Kohonen Layer
- Backpropagation.
SBrT 2013
Virtual Cell Zooming and Sleep Mode for 3GPP-LTE Green Cellular Networks
This paper presents a study on green cellular networks for 3GPP-LTE networks, comparing the performance of the sleep mode and cell zooming algorithms not o...
- Bruno Saldanha Carminati
- Marcelo Faleiros Costa
- André Noll Barreto
- Cell Zooming
- Energy Efficiency
- G reen Cellular Networks
- Power Management.
SBrT 2013
Verifying Fixed-Point Digital Filters using SMT- Based Bounded Model Checking
The implementation of digital filters in processors based on fixed-point arithmetic can lead to problems related to the finite word-length. In particular, ...
- Renato B. Abreu
- Lucas Cordeiro
- Eddie B. L. Filho
- fixed-point filters
- formal methods
- bounded model checking.
SBrT 2013
Verificação de Propriedades de Filtros Digitais Implementados com Aritmética de Ponto Fixo
In the digital signal processing area, one of the most important tasks is the digital filter design. Currently, this procedure is performed with the aid of c...
- Mauro L. de Freitas
- Mikhail Y. R. Gadelha
- Lucas Cordeiro
- Waldir S. S. Júnior
- Eddie B. L. Filho
- ESBMC
- Model checking
- Digital Filters
- Frequency Response
- overflow
SBrT 2013