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...

Descripción completa

Detalles Bibliográficos
Autores principales: Diverio, Tiarajú A., Alves, Rodrigo S., Ferreira, Simone
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23304
Aporte de:SEDICI (UNLP) de Universidad Nacional de La Plata Ver origen
Descripción
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.