Fecho Transitivo
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
2. Implementação e análise de algoritmos BSP/CGM em um Beowulf e no InteGrade
As the science and technology advanced in all diverse areas, problems which require more and more computer power to be solved were risen. In the beginning, these problems were solved by high performance parallel computers which were huge and very expensive. After that, though, making clusters with PCs which worked together to offer a higher processing capaci
Publicado em: 2009
-
3. Algoritmos BSP/CGM para o Fecho Transitivo
Apresentamos duas estratégias e dois algoritmos BSP/CGM para computar o fecho transitivo de um digrafo. Nossas idéias foram obtidas através da avaliação dos resultados obtidos pelos algoritmos BSP/CGM de Alves et al. e Castro Jr.. Melhoramos o desempenho destes algoritmos diminuindo o tamanho das mensagens trocadas entre os processadores, a computação
Publicado em: 2006
-
4. Implementação e Avaliação de Algoritmos BSP/CGM para o Fecho Transitivo e Problemas Relacionados.
Neste trabalho, descrevemos e apresentamos os resultados da implementação de um algoritmo BSP/CGM para o fecho transitivo proposto por Cáceres et al. Além disso, apresentamos algumas aplicações deste algoritmo na resolução de problemas relacionados em teoria dos grafos, tais como caminhos mais curtos, busca em profundidade e árvore geradora mínima.
Publicado em: 2003