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
id I19-R120-10915-23304
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
concurrency
parallelism
formalism
graphs
case studies
Parallel
Concurrent Programming
concorrência
paralelismo
formalismo
grafos
estudo casos
spellingShingle Ciencias Informáticas
concurrency
parallelism
formalism
graphs
case studies
Parallel
Concurrent Programming
concorrência
paralelismo
formalismo
grafos
estudo casos
Diverio, Tiarajú A.
Alves, Rodrigo S.
Ferreira, Simone
Formalizando algoritmos concorrentes
topic_facet Ciencias Informáticas
concurrency
parallelism
formalism
graphs
case studies
Parallel
Concurrent Programming
concorrência
paralelismo
formalismo
grafos
estudo casos
description 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.
format Objeto de conferencia
Objeto de conferencia
author Diverio, Tiarajú A.
Alves, Rodrigo S.
Ferreira, Simone
author_facet Diverio, Tiarajú A.
Alves, Rodrigo S.
Ferreira, Simone
author_sort Diverio, Tiarajú A.
title Formalizando algoritmos concorrentes
title_short Formalizando algoritmos concorrentes
title_full Formalizando algoritmos concorrentes
title_fullStr Formalizando algoritmos concorrentes
title_full_unstemmed Formalizando algoritmos concorrentes
title_sort formalizando algoritmos concorrentes
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23304
work_keys_str_mv AT diveriotiarajua formalizandoalgoritmosconcorrentes
AT alvesrodrigos formalizandoalgoritmosconcorrentes
AT ferreirasimone formalizandoalgoritmosconcorrentes
bdutipo_str Repositorios
_version_ 1764820466119213059

Ejemplares similares