| |
|
|
|
Registro Completo |
|
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: |
-- |
|
Marc: |
LEADER 01493naa a2200145 a 4500
001 1002835
005 2007-08-16
008 1995 bl uuuu u00u1 u #d
100 1 $aIORIO, V. O. di
245 $aDerivacao formal de algoritmos distribuidos utilizando propriedades de progresso.
260 $c1995
300 $ap.183-197.
520 $aUma 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.
700 1 $aCARVALHO, O. S. F.
773 $tIn: 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.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Florestas. |
|
Data corrente: |
03/12/1996 |
|
Data da última atualização: |
08/01/2024 |
|
Tipo da produção científica: |
Autoria/Organização/Edição de Livros |
|
Autoria: |
CARVALHO, P. E. R.; STIVAL, C. L. C. |
|
Afiliação: |
PAULO ERNANI RAMALHO CARVALHO, CNPF; CARMEN LUCIA CASSILHA STIVAL, CNPF. |
|
Título: |
Bibliografia de louro-pardo: Cordia trichotoma (Vellozo) Arrabida ex Steudel. |
|
Ano de publicação: |
1984 |
|
Fonte/Imprenta: |
Curitiba: EMBRAPA-URPFCS, 1984. |
|
Páginas: |
não paginado. |
|
Idioma: |
Português |
|
Palavras-Chave: |
Bibliografia. |
|
Thesagro: |
Cordia Trichotoma; Louro Pardo. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/260383/1/Embrapa-1984-BibliografiaLouroPardo-Carvalho-Cassilha.pdf
|
|
Marc: |
LEADER 00453nam a2200157 a 4500
001 1302603
005 2024-01-08
008 1984 bl uuuu 00u1 u #d
100 1 $aCARVALHO, P. E. R.
245 $aBibliografia de louro-pardo$bCordia trichotoma (Vellozo) Arrabida ex Steudel.
260 $aCuritiba: EMBRAPA-URPFCS$c1984
300 $anão paginado.
650 $aCordia Trichotoma
650 $aLouro Pardo
653 $aBibliografia
700 1 $aSTIVAL, C. L. C.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Florestas (CNPF) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
