I propose a technique that identifies program properties that may indicate errors. The technique generates machine learning models of run-time program properties known to expose faults, and applies these models to program properties of user-written code to classify and rank…

El proyecto se trata acerca del diseño y la
implementación de una aplicación web de administración de red, basado en la utilización del protocolo SNMPv3, con el fin
de mejorar la seguridad de la información. La aplicación puede…

Java programs are deployed in a bytecode format that is executed by a Java virtual machine (JVM). JVM performance is determined by several major components: execution engine, garbage collector, and threading system. The static compilation and optimization approach, such as…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Dentro de los desarrollos de software empresarial, uno de los principales actores continúan siendo las aplicaciones cliente/servidor construidas sobre J2EE. La estabilidad de esta tecnología y la capacidad de usar dichas aplicaciones en el escenario Internet/Intranet, usando tanto clientes java…

Resumo: Esta tese apresenta nova proposta metodológica para reconhecimento de padrões 3D em tomografias industriais. Para testes e validação da metodologia desenvolvida foi abordado o estudo de caso de defeitos em isoladores poliméricos utilizados em redes de distribuição de energia…

Descripción completa.

Descripción completa.

Descripción completa.

In designing compiler analyses and optimisations, the choice of intermediate representation (IR) is a crucial one. Static Single Assignment (SSA) form in particular is an IR with interesting properties, enabling certain analyses and optimisations to be more easily implemented while…