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 tem como objetivo principal criar um ambiente web para realização de suas compras. Espera-se ao final do projeto que possa ser oferecido a Comunidade um sistema de compras eletrônicas totalmente adequado às organizações e caracterizado por apresentar tecnologia no estado da arte, facilmente expansível, com alta escalabilidade e

This industrial research project will develop the technology that is needed to allow end-users to collaborate in order to identify the origin and cause of Internet service degradation. The main differentiating assumptions we make in this project are that (i) ISPs do not cooperate together, and (ii) we cannot rely

Este projeto propõe a definição e o desenvolvimento de um Sistema de Disseminação de Conteúdo para Bancos de Dados Híbridos XML-Relacional, chamado de Amanajé. Sistemas de disseminação operam sob demanda dos seus consumidores e sob streams de dados provenientes dos produtores, sendo que esses dois requisitos são suficientes para definir

Este projeto se concentra em grandes áreas como Otimização Combinatória e Algoritmos aplicadas em Redes de Telecomunicação. O objetivo é propor modelos e algoritmos aplicáveis em problemas reais, explorando temas específicos como localização de facilidades, topologia, dimensionamento, roteamento, mobilidade. Terão destaque os problemas relacionados ao planejamento e projeto de redes,

Atividades criminais variam em escopo e complexidade, mas existem em todos os setores da sociedade. Com o desenvolvimento tecnológico, os crimes tornaram-se mais sofisticados migrando do mundo físico e atingindo, também, o mundo virtual. Diante das inúmeras formas que as atividades ilegais podem tomar, a saída para a sociedade moderna

Classificação é o processo de extração de informação em imagens para reconhecer padrões ou objetos homogêneos que são utilizados para identificar regiões correspondendo a temas de interesse. O objetivo é obter uma descrição que contém informação suficiente para distinguir diferentes objetos. Normalmente, o processo de reconhecimento é baseado em níveis

SensorNet foi um projeto de 30 meses de duração para pesquisa e desenvolvimento tecnológico em redes de sensores sem fio, executado em parceria entre as universidades federais de Minas Gerais e de Pernambuco, iniciado em janeiro de 2003. Objetiva principalmente o domínio e o desenvolvimento de novas tecnologias em redes

O presenteprojeto tem como objetivo o desenvolvimento de um framework para recuperação de imagens que opera a partir da combinação de descritores de conteúdo (cor, textura e forma) e de múltiplas evidencias textuais. Nossa motivação é contribuir com o desenvolvimento de mecanismos de busca capazes de representar de uma maneira mais ?dedigna as