Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

Escalabilidade, Desempenho e Custo-Benefício de Sistemas Distribuídos em Larga Escala

Os usuários de diferentes serviços e aplicações distribuídos da Internet, tipicamente formam sistemas sociais bastante complexos, interagindo com a aplicação de forma muitas vezes imprevisível. Reconhecendo o papel central destas interações, este projeto trata da avaliação e otimização da escalabilidade, desempenho e custo-benefício de sistemas distribuídos em larga escala, partindo

Saiba mais »

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

Saiba mais »

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é

Saiba mais »

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.

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo