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

Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos

Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação

Saiba mais »

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  

Saiba mais »

Projeto Tamanduá

O Projeto Tamanduá tem por objetivo projetar e implementar uma plataforma escalável e eficiente de serviços de mineração de dados. Essas propriedades são atingidas pela utilização de novos algoritmos paralelos construídos sobre a plataforma Formigueiro (Anthill), onde é possível explorar três dimensões de paralelismo: dados, tarefas e assincronia. A plataforma

Saiba mais »

Suporte de Sistemas a Aplicações Escaláveis

Este projeto pretende abordar o problema de oferecer a aplicações distribuídas um ambiente de execução que não se transforme em um impecilho na busca do melhor desempenho possível. Para atingir esse objetivo pretendemos focar os problemas de desenvolvimento de frameworks que simplifiquem o trabalho de desenvolvimento de aplicações paralelas não

Saiba mais »

Acesso por PERFIL

Ir para o conteúdo