Buscar
Mostrando ítems 1-10 de 347
Apoio no desenvolvimento do plano de verificação do FloripaSat-2
(Florianópolis, SC, 2022-09-14)
Este trabalho tem como objetivo continuar a pesquisa e aprimoramento do plano de verificação da missão FloripaSat-2. O FloripaSat-2 é um satélite de pequeno porte (nanossatélite) que está sendo desenvolvido pela equipe do ...
The potential of automated rule-based verification for fire safety measures in BIMO potencial da verificação automatizada baseada em regras para as medidas de segurança contra incêndio em BIM
(ANTAC - Associação Nacional de Tecnologia do Ambiente Construído, 2020)
Teste de verificação de código para o cálculo de derivada com singularidades salto
(Universidade Federal de UberlândiaBrasilMatemática, 2021)
Decodificação iterativa de códigos baseados em matrizes de verificação de paridade esparsas
(Universidade Federal de Pernambuco, 2014)
Códigos de verificação de erros de paridade de baixa densidade (LDPC)
(Universidade Tecnológica Federal do ParanáCuritibaDepartamento Acadêmico de Eletrônica, 2012-01-26)
This monograph presents an ensemble of error control codes known as LDPC (Low Density Parity Check Codes). These codes were developed in the 70’s decade and have a great performance in a channel with a big amount of noise. ...
Desenvolvimento de um aplicativo de verificação de autenticidade de objetos físicos utilizando tecnologias de computação ubíqua
(Universidade Federal de Santa MariaBrasilUFSMCentro de Tecnologia, 2008-02-01)
The access to information in our society nowadays has a great importance and differential
in our professional and daily life. Nowaday, the information is available by several
kinds of medias, like: television, magazines, ...
Ferramenta web semiautomática para geração de ambientes de verificação UVM com SystemVerilog
(Universidade Federal do PampaUNIPAMPAMestrado Acadêmico em Engenharia ElétricaBrasilCampus Alegrete, 2018)
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-02-22)
The use of Automatic Code Generators for Formal Methods not only minimizes efforts
on the implementation of Software Systems, but also reduces the chance of existing errors
on the execution of such Systems. These tools, ...