Serão foco de inversitgação no próximo quadriênio os problemas relativos à cooperação robótica de forma geral, e em particular a cooperação entre robôs (que se movem em diversos meios, como a terra e o ar), e entre robôs e seres humanos. Os problemas clássicos de localização, mapeamento e planejamento também

A fusão de registradores é uma otimização que remove instruções de cópia tais como “a = b” do código fonte. Esta otimização é possível sempre que as variáveis “a” e “b” são associadas ao mesmo registrador físico. Os algoritmos de fusão descritos na literatura normalmente assumem arquiteturas com bancos de

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

O presente projeto de cooperação NSF-CNPq tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para a coordenação e controle de enxames de robôs. O projeto estabeleceu uma cooperação formal entre pesquisadores Laboratório de Visão Computacional e Robótica (VeRLab) da Universidade Federal de Minas Gerais e do

O objetivo principal desse projeto é investigar, desenvolver e avaliar algoritmos para o controle e a coordenação de grandes grupos de robôs. Especificamente, pretende-se desenvolver algoritmos de coordenação que explorem as ca-ra-cterísticas dos enxames (grande número de indivíduos, comunicação e sensoriamento locais, tolerância a falhas, etc.), possibilitando a implementação de

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

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

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

O uso de imagens de sensoriamento remoto (ISRs) como fonte de informação em aplicações voltadas para o agronegócio é bastante comum. Nessas aplicações, saber como é a ocupação espacial é fundamental. Entretanto, reconhecer e diferenciar regiões de culturas agrícolas em ISRs ainda não é uma tarefa trivial. Embora existam métodos