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

Guardado en:
Detalles Bibliográficos
Autores principales: Diverio, Tiarajú A., Alves, Rodrigo S., Ferreira, Simone
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
concurrency
parallelism
formalism
graphs
case studies
Parallel
Concurrent Programming
concorrência
paralelismo
formalismo
grafos
estudo casos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23304
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares