Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado

Esse projeto tem por objetivo produzir algoritmos de mineração de textos e grafos mais eficientes e eficazes, por meio da exploração de conhecimento existente e paralelização. Integrantes: Renato Antonio Celso Ferreira – Integrante / Wagner Meira Jr. – Coordenador / Dorgival Guedes – Integrante.  

Nosso objetivo nesse projeto de pesquisa e estudar o desempenho de sistemas de vigilancia espaco-temporal, em particular, aquele proposto por Assuncao e Correa (2009). Nossa preocupacao era estudar as propriedades do metodo, propor uma nova estatistica de teste baseada na correcao Rn – n e considerar formas de incorporar mais

Hoje em dia, com o desenvolvimento a baixo custo de sistemas informatizados, a maior parte da informação é armazenada de forma digital. De fato, o funcionamento de instituições em todas as áreas sociais depende de sistemas de informação eficazes e eficientes. No entanto, o desenvolvimento de sistemas para o tratamento

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

Grande parte do papel integrador que a Computação exerce em relação a outras áreas de pesquisa decorre dos recursos desenvolvidos na área ao longo do tempo para armazenar, acessar, manipular, gerenciar, integrar e analisar grandes volumes de dados, gerando informação e conhecimento. No entanto, não existe na atualidade um equilíbrio

Implementar uma ferramenta computacional, calibrada com os bancos de dados de trânsito de animais que permita avaliar mediante simulações os possíveis cenários de disseminação inicial de doenças animais altamente contagiosas no país a partir do fluxo de movimentos de animais. Esta ferramenta poderá auxiliar na determinação do risco do rebanho

Este projeto de pesquisa, inserido no contexto de Visão Computacional, tem como foco principal o desenvolvimento e aprimoramento de técnicas de visão computacional para efetuar monitoramento de ambientes a partir de dados visuais obtidos por uma rede de câmeras de vigilância. Um dos principais objetivos do monitoramento automático de ambientes

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.