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

Este projeto visa investigar as interacoes entre grandes grupos sociais e sistemas distribuidos em larga escala. E constituido de tres sub-areas principais: desempenho de sistemas par-a-par, no qual participo, caracterização do impacto do tempo de resposta no comportamento do usuários de serviços Internet, e planejamento de capacidade. Alunos envolvidos: Graduação:

Neste projeto propomos a utlilização do método de avaliação de comunicabilidade estendido para ambientes multi-usuário no contexto do Projeto Oré que prevê o desenvolvimento de tecnologias de groupware para organizações de voluntários. O principal objetivo deste projeto é se apreciar o método de avaliação de comunicabilidade estendido, através do seu

Neste projeto pretende-se avançar o estado da arte da área de avaliação de políticas de segurança pública, no sentido de criar ferramentas capazes de prever os efeitos obtidos pela implementação de políticas e ações específicas de combate ao crime. Este projeto tem por objetivo principal a aplicação de tecnologias da área

Desenvolvimento de Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas, utilizando Redes Metabólicas, Cadeias de Markov, Problema Inverso e Computação Paralela. Integrantes: Ana Paula Couto da Silva – Integrante / Itamar Leite de Oliveira – Integrante / Rodrigo Weber dos Santos – Coordenador / Carlos Cristiano Hasenclever

Este projeto apresenta a pesquisa que tem sido desenvolvida na área de IHC no DCC fundamentada na teoria da engenharia semiótica e atua no esforço de consolidação e revisão tanto da teoria, quanto de modelos e métodos fundamentados nesta. Especificamente o projeto investiga a aplicação da engenharia semiótica e seus

Este projeto tem como objetivo propor um framework para fusão de dados em redes de sensores sem fio; projetar, implementar e avaliar técnicas de fusão de dados usando uma plataforma real. A fusão de dados possui pelo menos dois fatores que tornam importante a sua utilização em RSSFs. O primeiro

Este projeto temo como objetivo investigar o uso de Redes de Sensores Sem Fio (RSSFs) e Redes de Vídeo Sensores Sem Fio (RVSSFs) no auxílio e implementação de armadilhas fotográficas (camera traps) para a monitoração e catalogação de espécies animas na floresta amazônica. Armadilhas fotográficas são máquinas com sensores de

Oprincipal objetivo desse projeto é utilizar um algoritmo evolucionário para gerar automaticamente um algoritmo de classificação baseado em Redes Bayesianas. O algoritmo será validado em três contextos: considerando bases de dados específicas, conjuntos de bases com características semelhantes e bases de dados genéricas. Além disso, estudaremos como melhorar a generalização