|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
04/07/1996 |
Data da última atualização: |
16/08/2007 |
Autoria: |
DRUMMOND, L. M. A.; BARBOSA, V. C. |
Título: |
Algoritmos distribuidos para deteccao de predicados globais. |
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.335-352. |
Idioma: |
Português |
Conteúdo: |
Um dos aspectos mais importantes de depuradores de programas paralelos distribuidos consiste na facilidade de se estabelecerem breakpoints que possam ser descritos por predicados envolvendo estados globais e, entao, denominados predicados globais. Neste artigo consideramos o projeto de algoritmos distribuidos para a deteccao de tais breakpoints em programas paralelos distribuidos e fornecemos quatro algoritmos, um para cada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrencia de breakpoints incondicionais, enquanto os outros tres detectam a ocorrencia de breakpoints sobre predicados conjuntivos estaveis e predicados conjuntivos genericos. Todos os algoritmos apresentados detectam os breakpoints nos estados globais mais adiantados em relacao as propriedades envolvidas. No caso de breakpoint incondicional, tal estado global mais adiantado deve coincidir exatamente com os breakpoints incondicionais locais requisitados para os processos que realmente participam do breakpoint. No caso dos outros breakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicado disjuntivo ou o conjuntivo considerado e verdadeiro. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01746naa a2200145 a 4500 001 1002855 005 2007-08-16 008 1995 bl uuuu u00u1 u #d 100 1 $aDRUMMOND, L. M. A. 245 $aAlgoritmos distribuidos para deteccao de predicados globais. 260 $c1995 300 $ap.335-352. 520 $aUm dos aspectos mais importantes de depuradores de programas paralelos distribuidos consiste na facilidade de se estabelecerem breakpoints que possam ser descritos por predicados envolvendo estados globais e, entao, denominados predicados globais. Neste artigo consideramos o projeto de algoritmos distribuidos para a deteccao de tais breakpoints em programas paralelos distribuidos e fornecemos quatro algoritmos, um para cada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrencia de breakpoints incondicionais, enquanto os outros tres detectam a ocorrencia de breakpoints sobre predicados conjuntivos estaveis e predicados conjuntivos genericos. Todos os algoritmos apresentados detectam os breakpoints nos estados globais mais adiantados em relacao as propriedades envolvidas. No caso de breakpoint incondicional, tal estado global mais adiantado deve coincidir exatamente com os breakpoints incondicionais locais requisitados para os processos que realmente participam do breakpoint. No caso dos outros breakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicado disjuntivo ou o conjuntivo considerado e verdadeiro. 700 1 $aBARBOSA, V. C. 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
|
|
Registros recuperados : 108 | |
2. | | KLUTHCOUSKI, J.; BARBOSA, V.; OLIVEIRA, P. de. Integração lavoura-pecuária: principais benefícios da pecuária para a lavoura. In: WORKSHOP EM INTEGRAÇÃO LAVOURA-PECUÁRIA: CONCEITOS E SUSTENTABILIDADE, 1., 2007, Jataí. Anais... Jataí: Universidade Federal de Goiás, 2007. p. 13-49. Editores: Vera Lúcia Banys, Ana Luisa Aguiar de Castro, Edgar Alain Collao Saenz, Hildeu Ferreira de Assunção, Marco Aurélio Carbone Carneiro.Tipo: Artigo em Anais de Congresso / Nota Técnica |
Biblioteca(s): Embrapa Arroz e Feijão. |
| |
8. | | MAGNABOSCO, C. de U.; MANICARDI, F.; BARBOSA, V.; ARAUJO, F. C. R.; SAINZ, R. D. Analise de caracteristicas de carcaca e crescimento em bovinos da raca Brahman criados na regiao do Mato Grosso- resultados preliminares. In: REUNIAO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 40., 2003, Santa Maria, RS. Otimizando a producao animal: anais. Santa Maria: SBZ: UFSM, 2003. 1 CD-ROM.Biblioteca(s): Embrapa Cerrados. |
| |
14. | | SILVA, R. F. da; GOMES, M. da S.; BARBOSA, V. S.; CRUZ, E. R. da; MANOEL, E.; MERCANTE, F. M. Alterações na biomassa microbiana do solo adubado com vinhaça e cultivado com adubos verdes. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 35., 2015, Natal. O solo e suas múltiplas funções: anais. Natal: Sociedade Brasileira de Ciência do Solo, 2015.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
15. | | FOGACA, F. H. dos S.; ALVES, R.; BARBOSA, V.; MAULVAULT, A. L.; ANACLETO, P.; CAMACHO, C.; BANDARRA, N.; MARQUES, A. Bioaccessibility of metals in seafood: risk to human health. In: INTERNATIONAL CONFERENCE ON FOOD DIGESTION, 6., 2019, Granada. Proceedings... Granada: INFOGEST, 2019. p. 179. Poster 378/110. 2 a 4 de abril de 2019.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agroindústria de Alimentos. |
| |
16. | | FOGACA, F. H. dos S.; MARQUES, A.; ALVES, R. N.; BARBOSA, V. L.; ANACLETO, P.; CARVALHO, M. L. A bioacessibilidade como ferramenta para avaliação dos riscos associados ao consumo de pescado. In: SILVA-MATOS, R. R. S.; MORAES, L. F.; SILVA, F. L. de (org.). Desenvolvimento da pesquisa científica, tecnologia e inovação na agronomia. Ponta Grossa, PR: Atena, 2022. v. 2, cap. 1, p. 1-14.Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Agroindústria de Alimentos. |
| |
17. | | ARAUJO, T.; FOGACA, F. H. dos S.; ALVES, R.; BARBOSA, V.; ANACLETO, P.; MAULVAULT, A. L.; MARQUES, A. Bioacessibilidade do mercúrio em pescado. In: ENCONTRO PIAUIENSE DE QUÍMICA E INOVAÇÃO, 1., 2018, Parnaíba. UFPI, 2018. 1 p. Pôster. EPEQUIN. 24 a 25 de maio de 2018.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agroindústria de Alimentos. |
| |
19. | | BARBOSA, V. R.; BIZARI, D. R.; AZEVEDO, F. A. de; YALY, M. C.; RODRIGUES, J.; GONÇALVES, A. O. Crescimento inicial de citrandarins para produção de mudas cítricas. Revista Ciência, Tecnologia & Ambiente, v. 13, n. 1, e13235, 2023.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 4 |
Biblioteca(s): Embrapa Meio Ambiente; Embrapa Solos. |
| |
Registros recuperados : 108 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|