Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas
Desenvolvimento de Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas, utilizando Redes Metabólicas, Cadeias de Markov, Problema Inverso e Computação Paralela. Integrantes: Ana Paula Couto da Silva – Integrante / Itamar Leite de Oliveira – Integrante / Rodrigo Weber dos Santos – Coordenador / Carlos Cristiano Hasenclever
Um Jogo de Apoio ao Ensino de Engenharia de Software
Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma
Web 2.0: Performance e Energia
Projeto de Colaboração Espanha – Seminários, que visa a realização de dois seminários, um na Espanha e um no Brasil. Os objetivos são: identificar problemas de interesse dos dois grupos para projetos de colaboração, e treinar alunos de pós-graduação nos dois países nos temas que os grupos são mais fortes:
Pesquisa em redes móveis ad hoc, sem fio, tolerantes a interrupções, de sensores, de resgate, mesh e sistemas distribuídos
O objetivo geral do projeto é a execução de pesquisa e desenvolvimento tecnológico em redes de computadores e sistemas distribuídos, especialmente em: redes móveis ad hoc, redes mesh, redes de sensores sem fio e sistemas distribuídos; gerenciamento de redes de computadores; aplicações e segurança em redes de sensores sem fio
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
A Research Oriented P2P Live Streaming System
Um projeto de desenvolvimento e pesquisa na transmissão de vídeo ao vivo utilizando tecnologias P2P. Alunos envolvidos: Graduação: (1) / Doutorado: (2) . Integrantes: Sergio Vale Aguiar Campos – Coordenador / Alex Borges – Integrante / Marcus Vinicius Rocha – Integrante / italo cunha – Integrante. Número de produções C,
Robustez, desempenho e segurança em redes ubíquas de coisas
O projeto visa o desenvolvimento da tecnologia de redes de computadores no âmbito da Internet de coisas. Ele é composto por sete sub-projetos relacionados à robustez e segurança das comunicações em um ambiente de redes heterogêneo, típico do encontrado pelos sistemas vislumbrados para a Internet de coisas. O Sub-projeto 1
Wave Propagation for Pointer Analysis
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
Sistemas de Middleware Orientados por Aspectos para Implementação de Requisitos Não-Funcionais
Neste projeto de pesquisa, pretende-se especificar, projetar, implementar e analisar sistemas de middleware que viabilizem a implementação de forma modular de requisitos não-funcionais que são típicos de aplicações distribuídas. A idéia é que um desenvolvedor de aplicações distribuídas possa dispor de sistemas de middleware que confinem em módulos bem definidos
