Formalizando algoritmos concorrentes
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 implem...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23304 |
| Aporte de: |
| 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. |
|---|