Browsing Computation by Title
Now showing items 297-316 of 1745
-
Bug prediction in procedural software systems
(2017) [Dissertation]Information regarding bug fixes has been explored to build bug predictors, which provide support for the verification of software systems, by identifying fault-prone elements, such as files. A wide range of static and ... -
Building transistor-level networks following the lower bound on the number of stacked switches
(2007) [Dissertation]Em portas lógicas CMOS, tanto o atraso de propagação como a curva de saída estão fortemente ligados ao número de dispositivos PMOS e NMOS conectados em série nas redes de carga e descarga, respectivamente. O estilo lógico ... -
Business Intelligence: comparação de ferramentas
(2003) [Dissertation]Cada vez mais o tempo acaba sendo o diferencial de uma empresa para outra. As empresas, para serem bem sucedidas, precisam da informação certa, no momento certo e para as pessoas certas. Os dados outrora considerados ... -
Calculus semantic with values passing in the denotational approach
(2020) [Dissertation]In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ... -
CAPEST : network capacity and available bandwidth estimation in the data-plane
(2018) [Dissertation]The measurement of available bandwidth and capacity represents an essential requirement for a multitude of network applications spanning from traffic engineering and admission control to network security. Measurement ... -
Captura e visualização de video 3d em tempo real
(2005) [Dissertation]Vídeos são dos principais meios de difusão de conhecimento, informação e entretenimento existentes. Todavia, apesar da boa qualidade e da boa aceitação do público, os vídeos atuais ainda restringem o espectador a um único ... -
Capturando aspectos da auto-eficácia do aluno através de um agente inteligente
(2006) [Thesis]Esta tese está inserida no trabalho desenvolvido pelo Grupo de Pesquisa de Inteligência Artificial (GIA) da UFRGS, sob a orientação da Professora. Dra. Rosa Maria Vicari e situa-se na área da Inteligência Artificial, com ... -
Caracterização de novas interfaces de telecom a partir de interfaces e dispositivos gerenciáveis
(2007) [Dissertation]Com o desenvolvimento das redes de telecomunicações e o crescimento da heterogeneidade dos elementos presentes nessas redes, a tarefa de desenvolver o suporte de novas interfaces nos sistemas de gerência de redes de telecom ... -
Caracterização e comparação das campanhas do outubro rosa e novembro azul no Twitter
(2020) [Dissertation]As campanhas do Outubro Rosa e Novembro Azul buscam educar e conscientizar as pessoas sobre o câncer de mama e próstata. Apesar de sua semelhança, o Outubro Rosa é muito mais eficaz do que o seu homólogo Novembro Azul. ... -
Caracterização e conformação de fluxos de tráfego ATM no ambiente de usuário
(2001) [Thesis]Apresenta-se um framework que permite a caracterização, conformação e escalonamento de todas as categorias de serviços A TM, dentro do ambiente de usuário (CEP). Propõem-se um modelo de tráfego otimizado para este ambiente ... -
Caracterização energética da codificação de vídeo de alta eficiência (HEVC) em processador de propósito geral
(2017) [Thesis]A popularização das aplicações que manipulam vídeos digitais de altas resoluções incorpora diversos desafios no desenvolvimento de novas e eficientes técnicas para manter a eficiência na compressão de vídeo. Para lidar com ... -
Casamento de esquemas XML e esquemas relacionais
(2005) [Dissertation]O casamento entre esquemas XML e esquemas relacionais é necessário em diversas aplicações, tais como integração de informação e intercâmbio de dados. Tipicamente o casamento de esquemas é um processo manual, talvez suportado ... -
A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real
(1997) [Dissertation]Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, ... -
Categoria de grafos parciais com homomorfismos totais teoria e aplicações
(2005) [Dissertation]O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas ... -
CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias
(2002) [Dissertation]Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva ... -
CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias
(2006) [Dissertation]Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria ... -
Cell assemblies para expansão de consultas
(2011) [Dissertation]Uma das principais tarefas de Recuperação de Informações é encontrar documentos que sejam relevantes a uma consulta. Esta tarefa é difícil porque, em muitos casos os termos de busca escolhidos pelo usuário são diferentes ... -
CFT-tool : ferramenta configurável para aplicação de técnicas de detecção de falhas em processadores por software
(2012) [Dissertation]Este trabalho apresenta uma ferramenta configurável, denominada de CFT-tool, capaz de aplicar automaticamente técnicas de detecção de erros em software com o objetivo de proteger processadores com diferentes arquiteturas ... -
CHANGEADVISOR : uma solução para alinhamentos de planos de mudanças em infraestruturas de TI a objetivos/restrições de negócios
(2010) [Dissertation]O planejamento de mudanças é um elemento-chave para a gerência e a operação de infraestruturas de redes e serviços. Ele compreende desde a especificação, em alto nível, de requisições e planos preliminares de mudança (por ... -
ChangeLedge : change design and planning in networked systems based on reuse of knowledge and automation
(2009) [Dissertation]A gerência adequada de recursos e serviços de Tecnologia da Informação (TI) se tornou imperativa para o sucesso de organizações modernas. A Biblioteca de Infraestrutura de Tecnologia da Informação (Information Technology ...