Buscar
Mostrando ítems 31-40 de 2293
Symbolic range analysis of pointers
(Universidade Federal de Minas GeraisUFMG, 2016-08-11)
Alias analysis is one of the most fundamental techniques that compilers use to optimize languages with pointers. However, in spite of all the attention that this topic has received, the current state-of-the-art approaches ...
Geração de casos de teste para linguagens com aritimética de ponteiro
(Universidade Federal de Minas GeraisUFMG, 2016-01-29)
Software testing and debugging are hard tasks. In general, it is necessary that the execution flow reaches a function in order to test it. Much effort was employed in the development of techniques to automatically generate ...
Sandbox as a service: automatizando a configuração do Cuckoo Sandbox e a geração de dados para análise de malware
(Universidade Federal de UberlândiaBrasilCiência da Computação, 2022)
Análise de vigas submetidas a solicitações térmicas pelo Método dos Elementos Finitos
(Universidade Federal do Rio Grande do NorteBrasilUFRNEngenharia Civil, 2019)
This work deals with the static analysis of the structural behavior of beams subjected to mechanical and thermal loads through the Finite Element Method (FEM). The analysis was performed numerically using this method and ...
Divergência em GPU: análises e alocação de registradores
(Universidade Federal de Minas GeraisUFMG, 2013-03-08)
The use of graphics processing units (GPUs) for accelerating Data Parallel workloads is the new trend on the computing market. This growing interest brought renewed attention to the Single Instruction Multiple Data (SIMD) ...
Aplicabilidade de Algoritmos de Aprendizado de Máquina para Detecção de Intrusão e Análise de Anomalias de Rede
(Universidade Federal de Minas GeraisUFMG, 2019-03-14)
This work proposed an analysis of the applicability of machine learning algorithms for the improvement of intrusion detection techniques in a cybersecurity system. This theme has attained wide relevance in the current ...
Aiding exploratory testing with pruned GUI models
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2018)