This thesis presents Dava, a Java bytecode to Java source code decompiler built on top of the Soot framework., The Java Virtual Machine Specification of valid bytecode is much less restrictive than the Java Language Specification of valid Java source…

Linguagem de programação Java. Java native interface (JNI). Ferramenta ServCLIPS:um exemplo de uso da JNI., 2001, Acesso em: 29 maio 2008.

El desarrollo de este proyecto tiene como objetivo implementar un modulador
en amplitud de señales analógicas usando el procesador digital
de señales de Texas Instruments TMS320C50.

Se eligió un procesador digital de señales por su arquitectura
especializada…

El modelo de usuario es un conjunto de creencias acerca de un usuario en
particular, las cuales podemos inferir por:



Datos proporcionados por el usuario.


Inferidas por…

Este documento tem por objetivo apresentar a tecnologia de reflexão existente na linguagem JAVA. Esta exposição será realizada a partir de uma implementação real de uma classe Java que fornece a funcionalidade de mapeamento entre objetos de um programa computacional…

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…

Encryption Key Search is a compute-intensive operation that consists of a brute-force search of a particular key in a given key space. Sequential execution time for a 56-bit encryption key search is approximately 200,000 years and therefore it is ideal…

Many compiler analyses and optimizations require precise information about the behaviour of pointers in order to be effective. Points-to analysis is a technique for computing this information that has been studied extensively over the last decade. Most of this research…

El presente proyecto de tesis forma parte de una colaboración entre
el Instituto Latinoamericano para la Comunicación Educativa (ILCE)
y la Universidad de las Américas Puebla por medio del Laboratorio
de Tecnologías del Habla TLATOA. El objetivo de la…

A computational grid is a hardware and software infrastructure that provides dependable, consistent, pervasive, and inexpensive access to high-end computational capabilities. This talk is divided into three parts. Firstly, we give an overview of the main issues in grid computing.…