O objetivo do projeto é ter entre seus membros dois alunos de doutorado e três ou quatro alunos de mestrado a serem definidos posteriormente. Este projeto foi aprovado no edital MCT/CNPq 15/2007, universal em 2007. Enquanto que o projeto anterior prevê viagens e equipamentos para o desenvolvimento da pesquisa, este

O projeto visa propor técnicas eficientes para consulta sobre objetos com atributos funcionais. Alunos envolvidos: Doutorado: (2) . Integrantes: Mirella Moura Moro – Integrante / Vassilis J. Tsotras – Coordenador / Petko Dimitrov Bakalov – Integrante / Dimitrios Gunopulos – Integrante.

 A crescente geração de dados nos Projetos Genoma e em outras iniciativas que estão gerando dados em escalas nunca antes experimentadas, juntamente com a necessidade de se produzir informação a partir dessa enorme massa de dados, vêm demandando o desenvolvimento de novos modelos e algoritmos. Essa perspectiva de aquisição de

This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized. Integrantes: Fernando Magno Quintão Pereira – Coordenador / Daniel Berlin – Integrante. Número de produções C, T A: 1  

O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores

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

This project consists in the design and implementation of a non-iterative algorithm for register allocation based on graph coloring. We present a simple, linear-time algorithm which is competitive with the iterated register coalescing strategy of George and Appel. We base the new algorithm on the observation that more than 95%

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

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