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