Otimizando o teste estrutural de programas concorrentes: uma abordagem determinís...
Modelos escaláveis aproximados para o cálculo do kNNG distribuído
Algoritmo Marching Hypercubes Paralelo com Aplicações a Provas Rigorosas
Paralelização de Laços usando Map-Reduce na Nuvem para Cargas de Trabalho Científicas
Uso da lógica Markoviana para o aprendizado de relações no aprendizado sem fim
Paralelização de laços usando map-reduce na nuvem para cargas de trabalho científicas
Um modelo eficiente para antialiasing de curvas concatenadas e regiões fechadas vi...