Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Metalinguagem para processamento de alto desempenho em arquiteturas híbridas
Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Paralelizacao automatica e semi-automatica de lacos para arquiteturas multicore.
Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Conte...