Detecção de propriedades estáveis de sistemas distribuídos

• Processo: 96/10031-3
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 1997
• Data de Término da vigência: 28 de fevereiro de 1998
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Ricardo de Oliveira Anido
• Beneficiário: Gisele da Silva Craveiro
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 96/01532-9 - Arquitetura de software para o desenvolvimento de aplicações distribuídas confiáveis, AP.TEM
• Assunto(s): Algoritmos Detecção
• Palavra(s)-Chave do Pesquisador: Estado Global | Propriedades Estaveis

Resumo

Serão estudados e analisados algoritmos relacionados à detecção de propriedades estáveis. Uma propriedade estável é uma propriedade que não se torna falsa uma vez que é verdadeira. Como exemplos de propriedades estáveis temos: terminação deadlock e lixo (Garbage). Nesse trabalho a ênfase será dada aos algoritmos para detecção de deadlock. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

CRAVEIRO, Gisele da Silva. Detecção de propriedades estaveis em sistemas distribuidos. 1998. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.