Skip to content

Sociedade Brasileira de Telecomunicações


Verificação Acústica de Emoções Baseada no Modelo Estocástico a-GMM-UBM

Este trabalho apresenta uma nova solução para a verificação acústica de emoções baseada no modelo a-GMMUBM. Esta proposta permite a definição dos valores d...

SBrT 2016


Verificação Através de Simulação no CST da Regra de Mudança de Escala para Nanoantenas Cilíndricas

Este artigo apresenta uma verificação da regra de mudança de escala do comprimento de onda efetivo de nanoantenas cilíndricas, através de simulações utilizan...

SBrT 2011


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


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


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