| Sumario: | Este trabalho mostra uma forma de pensar concorrente. São utilizados algoritmos de grafos, algoritmo do menor caminho, para mostrar desde a especificação até a implementação de algoritmos concorrentes. Objetiva-se mostrar uma outra forma de ensinar a concorrência, sua teoria, propriedades e a implementação de algoritmos concorrentes. Existem muitas áreas do conhecimento que necessitam e outras que podem se beneficiar do Processamento de Alto Desempenho (PAD), incluindo aí a concorrência. E ao mesmo tempo, são poucos os profissionais que possuem conhecimento para usar o PAD como um meio para solucionar problemas. Neste trabalho se apresenta a relação entre a especificação formal de programas concorrentes e a aplicação prática através das propriedades básicas dos programas paralelos.
|
|---|