Programas De Computador Teses
Mostrando 1-12 de 32 artigos, teses e dissertações.
-
1. Programa Um Computador Por Aluno (PROUCA): uma análise bibliométrica
RESUMO O avanço da produção científica trouxe consigo o crescimento de estudos que procuram inventariar as pesquisas publicadas, convertendo-se em importantes termômetros do grau de profundidade e de amplitude dessas. Ademais, essa estratégia de pesquisa aponta tendências, lacunas, espaços de saturação, métodos mais recorrentes, obras de referênc
Educ. rev.. Publicado em: 2017-03
-
2. Monitoração dinâmica de asserções para depuração em silício
The increasing demand for shorter time-to-market, combined with increased complexity and performance requirements put a tremendous pressure on post-silicon debug, which is usually the last step prior to chip release. In contrast to pre-silicon techniques, postsilicon debug have two main limitations, controllability and observability, which cause the failure
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
3. Paralelização do algoritmo de migração sísmica em plataformas heterogêneas
O petróleo é um dos recursos energéticos mais importantes e estratégicos no mundo. A demanda e o preço do barril crescentes viabilizam a produção de óleo e gás em áreas outrora inviáveis. A estratégia mais utilizada para encontrar possíveis reservas é através dos métodos sísmicos, entre os quais a migração sísmica de Kirchho é uma das ma
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/11/2010
-
4. Geração automática de código para a execução em um ambiente de computação em DataFlow
The computers architectures are becoming more distributed and hierarchical,that is, there exist lots of computers in a cluster and there are many processors in these computers and these processors have multiple cores. Many models have been proposed to explore the features of the computers architectures. The Data-flow computing models stand out among the prop
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/10/2010
-
5. Direcionalidade em tradução: uma investigação do processamento cognitivo de tradutores profissionais em tradução direta e inversa no par lingüístico inglês-português
Esta dissertacao, desenvolvida no ambito do projeto EXPERT@ (Conhecimento experto em tradução: modelagem do processo tradutório em altos níveis de desempenho (CNPq 479340/2006-4), vincula-se aos trabalhos de natureza empirico-experimental desenvolvidos no LETRA (Laboratorio Experimental de Traducao), da Faculdade de Letras da Universidade Federal de Mina
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
6. Algoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadas
Ataques do tipo variáveis contaminadas ocorrem quando entradas de programas são manipuladas maliciosamente a afim de explorar falhas de segurança inerentes ao software afetado. Ataques deste tipo são comuns em linguagens de scripts como PHP, originadas no lado do servidor. Em 1997, Orbaek e Palsberg formalizaram o problema de detectar essas explorações
Publicado em: 2010
-
7. O efeito do uso de um sistema de memória de tradução e da pressão de tempo no processo cognitivo de tradutores profissionais
Esta tese apresenta um estudo sobre o efeito do uso de um sistema de memória de tradução e da pressão de tempo no processo de tradução de tradutores profissionais brasileiros a partir de uma abordagem empírica da tradução. Partindo das categorias de tipos de apoio do grupo PACTE (2005) e da hipótese da desmetaforização de Steiner (2001a), o desem
Publicado em: 2010
-
8. Metarrepresentação em tradução: uma análise relevantista dos processos inferenciais de tradutores expertos na tradução de textos sensíveis (sagrados)
Esta tese objetiva discutir o fenômeno da metarrepresentação em tradução a partir de uma análise relevantista dos processos inferenciais de tradutores expertos quando lidam com contextos desconhecidos, ou seja, um texto-fonte situado a uma distância considerável de tempo, espaço e cultura com relação ao público atual. Partindo-se de um questionam
Publicado em: 2010
-
9. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
10. Desenvolvimento e aplicação do Litterae: um sistema para marcação, etiquetação, estatística e busca de unidades textuais e processuais
Esta dissertação, desenvolvida no âmbito do projeto SEGTRAD (Segmentação Cognitiva e Sistemas de Memória de Tradução) e vinculada ao LETRA (Laboratório Experimental de Tradução) da Faculdade de Letras da Universidade Federal de Minas Gerais, propõe um novo método de anotação de registros de teclado (keylog) gravados pelo Translog® com a ferra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/12/2009
-
11. Segmentação Cognitiva e o Uso de Sistemas de Memória de Tradução:uma análise do processo tradutório de tradutores profissionais nos pares lingüísticos alemão-português e inglês-português
Esta dissertação, desenvolvida no âmbito do projeto SEGTRAD (Segmentação Cognitiva e Sistemas de Memória de Tradução) e vinculada ao LETRA (Laboratório Experimental de Tradução) da Faculdade de Letras da Universidade Federal de Minas Gerais, investiga o impacto exercido por um Sistema de Memória de Tradução (SMT) na segmentação cognitiva de 1
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/11/2009
-
12. Leitura nas interfaces gráficas de computador: compreendendo a gramática da interface
A leitura das interfaces gráficas de computador, que utiliza rede interdisciplinar de estudos sobre texto, design, leitura e cognição para conhecer estratégias de construção de sentido e de textualização (COSTA VAL, 2000, 2004) nos ambientes digitais é o objeto desta pesquisa. Concebemos a interface como um texto, ponto de contato entre os autores (
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/11/2009