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

Uma significativa fracao do trafego atual na Internet pode ser categorizado como trafego ilegitimo, isto e, destinado a enderecos que nao existem, servidores que nao estao operantes ou servidores e/ou usuarios finais que nao o solicitaram. O trafego ilegitimo compromete a confiabilidade de varias aplicacoes populares na Internet, afetando a

Problemas de otimização combinatória aparecem na indústria em áreas tão diversas como logística, telecomunicações, planejamento e escalonamento de tarefas. Devido a sua complexidade intrínseca e a seu porte, muitos destes problemas não podem ser resolvidos em forma exata com a tecnologia disponível hoje em um tempo razoável. Em várias aplicações

Esse projeto de pesquisa concentrou-se na investigação e desenvolvimento de técnicas para execução do planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Basicamente, trabalhou-se em duas linhas principais: na primeira foram desenvolvidos e aperfeiçoados algoritmos de controle descentralizados para permitir que grupos de

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

Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma

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

EUBRA-BigSea aims at providing an abstract framework for the development of distributed Big Data applications. Multiple data models will be supported (e.g. data streams, multidimensional data, etc.) and efficient mechanisms will ensure privacy and security, on top of a QoS-aware layer for the smart and rapid provisioning of resources in

O objetivo geral do projeto é a execução de pesquisa e desenvolvimento tecnológico em redes de computadores e sistemas distribuídos, especialmente em: redes móveis ad hoc, redes mesh, redes de sensores sem fio e sistemas distribuídos; gerenciamento de redes de computadores; aplicações e segurança em redes de sensores sem fio