Loops De Codigo
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Loops de código: automorfismos e representações / Code loops: automorphisms and representations
Neste trabalho, estudamos Loops de Código. Para este estudo, introduzimos os loops de código a partir de códigos pares e depois, provamos que loops de código de posto $n$ podem ser caracterizados como imagem homomórfica de certos loops de Moufang livres com n geradores. Além disso, introduzimos o conceito de vetores característicos associados a um loo
Publicado em: 2011
-
2. Otimização em loops no Projeto Xingo / Loops optimization for Xingo Project
As otimizações implementadas em compiladores proporcionam uma melhora significativa de desempenho dos programas. Em muitos casos, proporcionam também a redução do tamanho do programa. Quase todos os programas em produção são compilados com diretivas de otimização, para obter máximo desempenho.Para o estudo de novas técnicas de otimização, faz-s
Publicado em: 2005
-
3. TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC / TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outr
Publicado em: 2003