Sistema paralelo

11012 palavras 45 páginas
Lógica para Concorrência e Sincronização (LOCUS)
Projeto ProTeM-CC/CNPq (Fase III)
Processo Institucional No. 680067/95-7
Áreas: Teoria da Computação e Sistemas Distribuídos
Relatório Parcial.
Índice
1. Identificação
2. Conteúdo
2.1 Resumo do Projeto
2.2 Linhas de Pesquisa
3. Principais Resultados
3.1 Resultados Obtidos em Função dos Pretendidos
3.2 Conhecimentos Adquiridos
3.3 Dificuldades Operacionais
3.4 Aplicabilidade
3.5 Efeito Multiplicador
3.6 Incorporação de Técnicas
3.7 Geração de Produtos e Processos
3.8 Formação de Recursos Humanos
3.9 Interação Inter e Intra-Institucional
4. Equipe Técnica
4.1 Melhoria e Nível de Qualificação
4.2 Teses e Dissertações Concluídas e em Andamento
4.3 Participação em Eventos Técnicos-Científicos
4.4 Geração de Publicações e Patentes
4.5 Situação dos Bolsistas
4.6 Consumo e Aplicação dos Recursos
5. Conclusões
1. Identificação
Título do Projeto: Lógica para Concorrência e Sincronização
Sigla: LOCUS
Processo Institucional No. 680067/95-7 (CNPq)
Início do Projeto: Dezembro de 1996
Término do Projeto: Dezembro de 1998
Relatório das Atividades no Período: Dezembro/1996 a Abril/1998.
Instituições Participantes:
• Departamento de Informática, Universidade Federal de Pernambuco (DI-UFPE)
• Departamento de Ciência da Computação, Univ. Federal de Alagoas (DCC-UFAL)
• Lab. de Sistemas Distribuídos, Universidade Federal da Bahia (LaSiD-UFBA)
• COPPE/Sistemas, Universidade Federal do Rio de Janeiro (COPPE-UFRJ)
Coordenador Geral:
Ruy José Guerra Barretto de Queiroz, DI-UFPE.
Coordenadores Locais:
• DCC-UFAL: Adolfo Gustavo Serra Sêca Neto
• LaSiD-UFBA: Raimundo José de Araújo Macêdo
• COPPE-UFRJ: Mario Roberto Folhadela Benevides
2. Conteúdo
2.1 Resumo do Projeto
A necessidade da utilização de técnicas de especificação formal para sistemas distribuídos deve-se principalmente à complexidade inerente a esse tipo de sistema. A utilização de descrições informais podem levar a

Relacionados

  • sistemas distribuidos e paralelos
    1751 palavras | 8 páginas
  • Fluídos 2 sistema de condutas em paralelo
    1784 palavras | 8 páginas
  • Sistemas Paralelos, Sistemas Operacionais, Banco de Dados, Teleprocessamento e Redes
    10254 palavras | 42 páginas
  • radiologia
    3298 palavras | 14 páginas
  • trabalho fisica
    1818 palavras | 8 páginas
  • Arquitetura de computadores
    2356 palavras | 10 páginas
  • Relat Rio De M Quinas De Fluxo Associa O S Rie Paralelo
    2349 palavras | 10 páginas
  • Circuito em paralelo
    727 palavras | 3 páginas
  • Mecânica dos fluidos
    1699 palavras | 7 páginas
  • Conversor CC-CA com Alta Frequência Fundamental
    2312 palavras | 10 páginas