publicações selecionadas Compilador de programas sequenciais para multiprocessamento: analise e metodologia para sua implementação Condições Exatas para a Paralelização de Laços Sequenciais