Algoritmos e suporte em hardware para projeto de máquinas virtuais eficientes
Paralelização de Laços usando Map-Reduce na Nuvem para Cargas de Trabalho Científicas
Técnicas e Algoritmos para emulação eficiente de saltos em máquinas virtuais
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...