Ferramentas de neuroinformática para modelagem declarativa multiescala via geração...
Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Desenvolvimento de um modelo comportamental para a arquitetura AVR32 usando a ling...
Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Utilizacao de multiplos processadores em substituicao de modulos de hardware no pr...