Skip to content

Sociedade Brasileira de Telecomunicações


Vertical Handoff Algorithms for Heterogeneous 3G Networks

One of main challenges of fourth generation wireless networks (4G) will be the integration of various mobile technologies such as CDMA 1xEV-DO RA, UMTS/HSDP...

SBrT 2010


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, ...

SBrT 2013


Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters

In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid ...

SBrT 2017


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...

SBrT 2013


Verificação de Códigos Lua Utilizando BMCLua

O presente artigo descreve uma abordagem de verificação de possíveis defeitos em códigos Lua, através da ferramenta Bounded Model Checker. Tal abordagem tr...

SBrT 2013