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…

In the manufacturing industry out-sourcing/integration is becoming an important business pattern (not a clear statement-integration still done in house-component design and manufacturing outsourced). An engineering system often consists of many subsystems supplied by different companies. Bridge between thoughts is weak.…

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…

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…

This paper presents a free Java software platform which enables users to easily create advanced robotic applications together with image processing. This novel tool is composed of two layers: 1) Easy Java
Simulations (EJS), an open-source tool which provides support…

Sumario:
1- Introducción
2- Sistemas móviles y sensibles al contexto
3- E-commerce y M-commerce
4- Hipermedia e hipermedia física
5- Descripción del sistema basado en hipermedia física
6- Diseño
7- Implementación
8-…

Side-effect analysis gives information about the set of locations that a statement may read or modify. This analysis can provide information useful in a compiler for performing aggressive optimizations. The impact of the use of side-effect analysis in compiler optimizations…

A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation,…

With the development of multi-processors, multi-threaded programs and programming languages have become more and more popular. This requires extending the scope of program analysis and compiler optimization from traditional, sequential programs to concurrent programs., Naumovich et al. proposed May Happen…

El Proyecto de Titulación se centra en el desarrollo de una biblioteca de clases que permita el manejo de las interfaces gráficas de usuario de aplicaciones basadas en la plataforma Java Micro Edition. Esta biblioteca permitirá a los desarrolladores crear…