publicações Análise de Convergência e de Implementação de um Algoritmo Proximal para o Problema de Complementaridade Não-Linear Documento Avaliação de Processos de Software Baseada em Medições Documento Reexecução determinística de programas distribuídos em MPI Documento