Terminal de consulta web

Detecção de propriedades estaveis em sistemas distribuidos

Detecção de propriedades estaveis em sistemas distribuidos

Gisele da Silva Craveiro

DISSERTAÇÃO

Português

T/UNICAMP C855d

Campinas, SP : [s.n.], 1998.

115f. : il.

Orientador: Ricardo de Oliveira Anido

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: Elaborar uma solução para um problema distribuído que atenda aos critérios de segurança e progresso está muito longe de ser uma tarefa trivial. Nem mesmo algoritmos publicados escaparam de contestação posterior, mostrando que são incorretos. Com o objetivo de encontrar uma modelagem mais... Ver mais
Abstract: Devising a solution to a distributed problem, satisfying the requirements of progress and safety is clearly not an easy task. Several published algorithms have been shown incorrect, despite having been "proven" correct at time of publication. An interesting approach to devise a new... Ver mais

Detecção de propriedades estaveis em sistemas distribuidos

Gisele da Silva Craveiro

										

Detecção de propriedades estaveis em sistemas distribuidos

Gisele da Silva Craveiro

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra