Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
FreeMon:
Projeto FreeMon: Free-Monitor – Sistema de Software Livre para Monitoração de Desempenho de Ambiente Unix . Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Jussara Marques de Almeida – Integrante / Virgilio Augusto Fernandes Almeida – Coordenador / Smartprice
Serviços de Disseminação de Conteúdo com Independência de Esquema
Este é o projeto da Bolsa de Produtividade em Pesquisa (PQ). Seus objetivos estão definidos na descrição de outros projetos, como por exemplo ReDisseR, Chasque e TriCOt. Alunos envolvidos: Graduação: (5) / Especialização: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Mirella Moura Moro – Coordenador. Número de
Eficiência em Mercados Eletrônicos: Caracterização, Suporte à Participação e Novos Modelos de Negócio.
O objetivo central deste projeto se resume a aperfeiçoar a eficiência dos mercados eletrônicos, que diz respeito a torná-lo interessante (atrativo) e mais popular para os atores envolvidos na negociação eletrônica (compradores, vendedores, provedores de serviços e soluções tecnológicas). Para alcançar esse objetivo, a estratégia básica é pesquisar e desenvolver
Técnicas, Ferramentas e Métricas para Remodularização de Sistemas – Programa Pesquisador Mineiro (PPM V)
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
Análise e Otimização de Aplicações CUDA
O objetivo deste projeto é desenvolver técnicas de otimização de código que modifiquem programas CUDA automaticamente, para mitigar o custo de divergências na execução de aplicações paralelas. Alunos envolvidos: Graduação: (1) . Integrantes: Fernando Magno Quintão Pereira – Coordenador / Fernando Carvalho Coelho – Integrante.
Verificação Híbrida de Modelos: Ferramentas e Aplicações
Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até
Sistemas Computacionais para Redes Aquáticas
O objetivo deste projeto é desenvolver a pesquisa multidisciplinar em Sistemas Computacionais para Redes Aquáticas, causando impacto social, impacto na formação de alunos, interagindo com a comunidade, formando um núcleo de excelência de pesquisa. O projeto de Sistemas Computacionais para Redes Aquáticas ocorre em duas frente principais: através do desenvolvimento
Autonomic Internet
Networks require greater degree of service-awareness. This implies that not only are all digital items pertaining to a service delivered, but also all relevant business goals are fulfilled, and network resources are used optimally. As a consequence the network s complexity grows with service abundance placing new requirements on network
Vigilância e Computação Forense em Larga Escala
Ao longo dos últimos anos, tem-se utilizado cada vez mais câmeras no monitoramento de grandes cidades. Se, por um lado, as câmeras de vigilância proporcionam uma grande quantidade de dados visuais, por outro, a análise desses dados torna-se um grande desafio quando feita manualmente. Desta maneira, o processamento automático desses
