The interest in Java within the High Performance Computing (HPC) community has been rising during the last years thanks to its noticeable performance improvements and its productivity features. In a context where the trend to increase the number of cores…

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e.…

La educación a distancia es la modalidad educativa en la cual los estudiantes y el profesor no necesitan compartir el mismo espacio físico durante el proceso de enseñanza-aprendizaje. A partir de la década de los 90 con el desarrollo de…

En esta tesis se presenta el desarrollo de una herramienta gráfica avanzada de resolución de problemas de radiación y dispersión. El núcleo electromagnético que incluye la aplicación se basa en el Método de los Momentos y es capaz de analizar…