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

O objetivo principal desse projeto é desenvolver uma infra-estrutura de hardware e software que permita a experimentação com enxames de robôs. Feito isso, serão implementados e validados experimentalmente algoritmos que envolvam a localização, navegação, coordenação e controle de grandes grupos de robôs, complementando assim os trabalhos de simulação.  Integrantes: Luiz

Os modelos, técnicas e metodologias de Otimização originaram, assim como a Computação, durante a segunda grande guerra, em aplicações básicas de Produção e Logística. São técnicas fundamentadas na Matemática e Física e que tem tido uma grande evolução. Atualmente, problemas de alta complexidade e podendo atingir milhões de variáveis podem

Este projeto de pesquisa versa sobre a credibilidade em serviços da Web. Cabe ressaltar que o que motivou a escolha do tema foi o grau de importância que este tem para a sociedade hoje e a vastidão de desafios e questões de pesquisa que surgem desse tema de investigação. Também

Projeto de pesquisa financiado pela AOL para desenvolvimento de teorias e ferramentas para Bibliotecas Digitais. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (1) . Integrantes: Marcos André Gonçalves – Integrante / Edward A Fox – Coordenador.  

Os objetivos principais do projeto são a pesquisa e o desenvolvimento de soluções integradas para problemas logísticos e de transporte por meio de técnicas e metodologias modernas e eficientes. Este projeto, de uma forma geral, se concentra no planejamento tático e no operacional e em um conjunto de atividades de

O projeto foi proposto para apoiar as pesquisas do solicitante nas seguintes áreas: Erosão Arquitetural. Durante a implementação e evolução de um sistema, sua arquitetura concreta pode se desviar da arquitetura com que ele foi planejado. Mais importante, esses desvios normalmente não são detectados, dando origem ao fenômeno conhecido como

Projeto Fapemig PPP (Programa Primeiros Projetos), de 24 meses. Nas redes sem fio não estruturadas, os dispositivos sem fio repassam os dados entre si, passando de um nó ao outro até que a informação transmitida chegue ao seu destinatário. Estas redes se encontram em ambientes extremamente dinâmicos, assim a rede

O projeto está inserido no grande desafio da Sociedade Brasileira de Computação (SBC) Gestão da informação em grandes volumes de dados multimídia distribuídos . Dentro deste desafio, o projeto trata especificamente da gestão de documentos textuais, como páginas WEB ou documentos eletrônicos, gerados em organizações públicas ou privadas. Integrantes: Mirella