Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Técnicas e Algoritmos para emulação eficiente de saltos em máquinas virtuais
Paralelização de Laços usando Map-Reduce na Nuvem para Cargas de Trabalho Científicas
Ambiente didatico grafico para a compreensao da dinamica de execucao de programas ...
Combinando transformações de computação e de dados para arquiteturas reconfiguráve...