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…

Unidad 7: Reflexión.

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…

El Diseño, Creación e Implementación del Sistema de Matriculación Web de la Universidad de Guayaquil, fue desarrollada para automatizar la matriculación de estudiantes de diferentes facultades o escuelas, con el objetivo de mejorar y agilitar el proceso de matriculación en…

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…

Visualización de documentos utilizando SVG

La firma de software Adobe produce un visualizador para SVG, el cual puede
ser adaptado a los navegadores de Internet. Este adaptador se encuentra
actualmente (2005) en su segunda versión, y tiene la…

JavaVis es una librería de visión computacional en Java, la cual usa una interfaz gráfica con el fin de mostrar los resultados de aplicar diferentes métodos y algoritmos de visión artificial. El origen de esta librería surge siguiendo la filosofía…

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…

During a system’s life cycle, new requirements or changes in the existing ones imply modifying the system. Aspect-oriented software development is a new approach to the modularization of systems, yet it does not provide mechanisms to aid the evolution of…

Los objetivos del proyecto han sido fundamentalmente en investigar y desarrollar técnicas innovadoras en el campo de la robótica a través de los perros robots, de modo que después puedan llegar a ser aplicables en el tratamiento de robots. Mejorar…