Dentro deste contexto, o objetivo principal deste projeto é investigar, desenvolver e avaliar algoritmos para a Nanotecnologia Computacional, visando a otimização de  dispositivos, o desenvolvimento de sistemas de gerenciamento de dados da síntese de nanoestruturas e a posterior descoberta de conhecimento através destes dados. Além  disso, também é objetivo deste trabalho a

Este projeto visa contribuir para o desenvolvimento de serviços e aplicações da Web 2.0 mais eficientes, eficazes e robustos, provendo um conhecimento sólido sobre diferentes padrões de comportamento de seus usuários. Ele aborda duas frentes de trabalho complementares. Por um lado, ele visa identificar e caracterizar diferentes redes sociais que

Este projeto de pesquisa se propõe a estudar e implementar uma nova heurística para alocação de registradores usando uma técnica denominada Crescimento de Domínio Ativo (Live Range Growth). Esta técnica foi proposta para se resolver o problema de alocação de referências a vetores em registradores de endereçamento, dentro de laços

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.  

Este projeto foi proposto com o objetivo de desenvolver novos métodos e ferramentas para tratamento de informação existente em grandes repositórios de dados e coleções de documentos disponíveis na Web. A Web é hoje o maior repositório de informação digital produzida pelo ser humano, estando distribuído por milhões servidores conectados ao

Neste projeto, desenvolvemos algoritmos baseados em Relaxação Lagrangeana e Planos de Corte para variantes do Problema do Caixeiro Viajante: a versão com Recolha de Prêmios e a versão distância seletiva. Nesta última, caso um vértice não pertença a rota do caixeiro, deve haver algum vértice na rota que dista não

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

Historically, content distribution in the Internet has relied on a client-server model. This model has shaped all Internet legacy applications such as the web, electronic mail messaging, and FTP. For the past ten years, we have seen content distribution solutions that have evolved from classical client-server models, through distributed caching,

A pesquisa aqui proposta neste projeto aplica a tecnologia de agentes para realizar a alocação de recursos por negociação em ambientes grid. Agentes têm a vantagem de agirem em nome de usuários e recursos e serem capazes de gerenciar tarefas em ambientes complexos e distribuídos, como é o caso dos