Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Suporte de Sistemas a Aplicações Escaláveis
No contexto de aplicações distribuídas de grande porte, desenvolver soluções a nível de sistemas operacionais e redes de computadores que propiciem a criação de um ambiente de desenvolvimento e execução de aplicações distribuídas em larga escala e com alto desempenho é hoje um desa?o para a comunidade de sistemas distribuídos.
Otimização a priori: O prblema da árvore geradora mínima probabilística
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
Profiling And Specialization For Locality
O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês
Ciência, Tecnologia e Arte para a Conservação de Bens Culturais
O projeto tem como objetivo possibilitar a produção e o acesso a imagens provenientes da digitalização de fotografias em suporte físico (slides, cromos e fotografias em diferentes suportes), além de imagens capturadas diretamente por dispositivos digitais, através da instalação de uma estação de digitalização de alta resolução e com gerenciamento
Ferramenta para Estimar Erros de Projeto em Circuitos Integrados
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
Sistemas de Medição
Cooperação Técnica para o Desenvolvimento do Projeto de Pesquisa e Desenvolvimento Tecnológico D217 – Sistema de Proteção da Receita baseado em Redes Neurais Artificiais – Interface com WGOI. Integrantes: Renato Antonio Celso Ferreira – Coordenador / Gisele Lobo Pappa – Integrante.
Escalabilidade e Eficiência em Sistemas de Computação – Mineração de Dados de Aplicações Internet
Propõe-se abordar o problema da eficiência da escalabilidade em sistemas responsáveis por serviços de mineração de dados baseados em sistemas paralelos e distribuídos, como aqueles construídos utilizando a internet.
Projeto Tropical Bio Miner – Construção de Base de Dados de Extratos, Moléculas e Proteínas Tropicais para Bioinformática a partir de Informações Estruturadas e Não-Estruturadas na Web.
Este trabalho objetiva a pesquisa de novas ferramentas para criar bases de dados de extratos, moléculas e protéinas apropriados para a indústria farmacêutica. Estas bases de dados demandam um enorme esforço de manutenção. A fim de montarmos as bases de dados descritas neste projetos, pretendemos pesquisar de forma automática bases
Projeto de sistema embutido de tempo real tolerante a falhas para aplicações em processamento de alto desempenho
Desenvolvimento de um sistema embutido utilizando FPGA para aplicação de alto desempenho, atendendo as restrições de sistemas de tempo real, limitações de hardware e que contenha recursos de tolerância a falhas.
