Data/hora: 20/06/2024 13:41:12

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 03/07/1996
Data da última atualização: | 16/08/2007
Autoria: | IORIO, V. O. di; CARVALHO, O. S. F.
Título: | Derivacao formal de algoritmos distribuidos utilizando propriedades de progresso.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995.
Páginas: | p.183-197.
Idioma: | Português
Conteúdo: | Uma estrutura de dados distribuida possui n componentes, uma em cada sitio de um sistema distribuido (nos de uma rede de compuadores). A correcao de uma estrutura de dados distribuida e frequentemente expressa atraves de um predicado que deve ser mantido invariante. Uma tecnica formal para derivacao de estruturas de dados distribuidas especificada por um invariante e descrita, cuja correcao e definida por um predicado global. Utilizando uma rede com dois nos, mostramos que qualquefr predicado e equivalente a uma desigualdade sobre um dominio parcialmente ordenado adequadamente escolhido. O modelo e aplicado a um meio de comunicacao onde as mensagens podem ser perdidas ou duplicadas, mas a ordem de envio e preservada. Sao derivados algoritmos para solucionar   problemas entre dois nos em um meio como esse, utilizando um formato minimo para as mensagens trocadas entre os nos.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3423-1) - ADD - PL - -- - 004.36 - SIM - 1995.00007 - DIS