This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…

In this work a statics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of statics. The applets have the advantage…

This paper proposes a novel approach on embedding automatic parallelization in compilers. Due to an increasing popularity of multi-processor and multi-core architectures, software must take advantage of the processing power they offer and increase the level of parallelism as much…

This thesis describes a framework for collecting, analyzing, and visualizing dynamic data, particularly data gathered through Web questionnaires. The framework addresses challenges such as promoting user participation, handling missing or invalid data, and streamlining the data interpretation process. Tools in…

This paper describes the new features included in the Robolab 2 System, which permits the students to
work with a simulation of and industrial robot and carry out operations with the real robot through teleoperation.
Among these features, the flexibility…

In this paper a methodology for accesing scientific data repositories on data grids is proposed. This methodology is based on ontology specification and knowledge representation. The concept of Knowledge Perspective is introduced, as the action of applying particular scientific conjectures…