Person:
Cerro Cañizares, Pablo

Loading...
Profile Picture
First Name
Pablo
Last Name
Cerro Cañizares
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Department
Area
Identifiers
UCM identifierORCIDScopus Author IDDialnet IDGoogle Scholar ID

Search Results

Now showing 1 - 10 of 10
  • Publication
    Análisis de rendimiento de aplicaciones MPI en clusters de Raspberries Pi3
    (2020-06-25) Núñez Covarrubias, Alberto; Pickin, Simon James; Lavín Puente, Víctor; Llana Díaz, Luis Fernando; Bartolomé Sandoval, Ana Isabel; Cerro Cañizares, Pablo; Cambronero Piqueras, Emilia; Ricaldi Esquivel, Javier Antonio; Gómez-Zamalloa Gil, Miguel
    La asignatura Programación de Sistemas Distribuidos (PSD) dedica una parte del temario a las aplicaciones de alto rendimiento y, en particular, a las aplicaciones desarrolladas con MPI. En resumen, estas aplicaciones despliegan en las máquinas físicas del sistema distribuido una serie de procesos, los cuales deben explotar -de la forma más eficiente posible- los recursos compartidos del sistema para incrementar su rendimiento. El objetivo principal de este proyecto consiste en analizar el rendimiento de clusters de bajo presupuesto, concretamente, de sistemas formados por placas Raspberry Pi3.
  • Publication
    Emulador software para el cálculo de primos de Mersenne
    (2013) Cerro Cañizares, Pablo; Esteban Luis, Cristina María; Barrio García, Alberto Antonio del
    El objetivo de este proyecto consiste en el desarrollo de un emulador software para el cálculo de primos de Mersenne, en concreto para la resolución de los problemas que conlleva el tratamiento de números de una magnitud tan grande como los mencionados primos. El estudio de los números primos de Mersenne es importante dado que por sus propiedades características son especialmente útiles en distintas aplicaciones, especialmente criptográficas, como el protocolo RSA o la criptografía basada en curvas elípticas. La presente memoria se halla dividida en siete capítulos, cada uno de los cuales describiremos brevemente a continuación. El primer capítulo incluye la introducción, que contiene información general acerca del tema que nos ocupa, datos históricos sobre los descubrimientos de los números primos de Mersenne, así como su definición y algunas de sus propiedades características. Además, se habla acerca de los problemas que se pretenden resolver con el trabajo elaborado y las motivaciones del mismo. En el segundo capítulo se puede encontrar información acerca de los antecedentes que han servido como base a este proyecto. Datos acerca del proyecto GIMPS, y de programas ya desarrollados que guardan relación con nuestro problema, como Prime95 o Mprime. En el tercer capítulo se explica en detalle la arquitectura del emulador desarrollado, el sistema de representación empleado, una descripción detallada de la biblioteca de funciones desarrollada para construir el emulador y las mejoras propuestas al diseño inicial del mismo. El cuarto capítulo versa sobre CUDA y su uso en este proyecto, este capítulo incluye datos tanto de la arquitectura CUDA, su funcionamiento y algunas nociones básicas de su lenguaje de programación. El quinto capítulo muestra y discute los resultados obtenidos con el emulador y sus diversas optimizaciones. El sexto capítulo hace referencia a las conclusiones obtenidas de la investigación y a las vías de investigación de trabajo futuro que proponemos en caso de continuar con este proyecto, como son el uso de una aritmética RNS, el uso del estándar MPI o el uso de arquitecturas más modernas que soporten CUDA. Por último el séptimo capítulo contiene la bibliografía consultada para la elaboración de este proyecto. [ABSTRACT] The objective of this project consists of developing a Software Emulator focused on searching Mersenne Primes, particularly addressing the tremendous problems associated with such huge numbers, namely: precision and performance. The study of Mersenne primes is important due to their peculiar properties, that are specially useful in some cryptographic applications, such as the RSA protocol or the ECC (Elliptic Curve Criptography). This report is divided in seven chapters, which will be described in the following paragraphs. The first chapter includes the introduction, which contains generic information about the subject that will be studied, history about Mersenne primes discoveries, their definition and some of their special properties. Besides, this chapter deals with the problems that we expect to solve and the motivations that caused this work to be done. The second chapter contains information about previous work that support this project. Information concerning project GIMPS, and other programmes belonging to the state of the art and which are related to our work, such as Prime95 or Mprime, is described in this chapter. The third chapter will explain the emulator's architecture, data representation, and a description about the library implemented as well as the improvements proposed over the baseline design. The fourth chapter is about CUDA and its use in this project. Besides, it includes information about CUDA architecture, its way of working and some basic ideas about its programming language. The fifth chapter shows and discusses the results obtained with the baseline version of the emulator, as well as with its different optimizations. The sixth chapter gives some remarks about the project. Moreover, it describes our suggestions for continuing this work in the future, as for example: the utilization of the Residue Number System (RNS), the MPI standard or the use of the most up-to-date CUDA architectures. Finally, the seventh chapter contains the bibliography consulted to develop this project.
  • Publication
    Juez automático para el aprendizaje de bases de datos
    (2021-06) Martín Martín, Enrique; Burgoa Muñoz, Iker; Rubio Cuéllar, Rubén Rafael; Cerro Cañizares, Pablo; Correas Fernández, Jesús; Montenegro Montes, Manuel; Riesco Rodríguez, Adrián
    Proponemos desarrollar un juez automático para el aprendizaje de bases de datos. Este sistema web permitirá a los estudiantes practicar con diferentes ejercicios de bases de datos desde casa y recibir retroalimentación inmediata sobre los fallos.
  • Publication
    Adaptación y ejecución de aplicaciones MPI en entornos de simulación para analizar el rendimiento de arquitecturas distribuidas
    (2019-06-19) Núñez Covarrubias, Alberto; Pickin, Simon James; Lavín Puente, Víctor; Llana Díaz, Luis Fernando; Bartolomé Sandoval, Ana Isabel; Cerro Cañizares, Pablo; Cambronero Piqueras, María Emilia; Núñez García, Manuel; Vaca Vargas, Bryan Rául; Gómez-Zamalloa Gil, Miguel
    Una parte fundamental de la asignatura PSD es el desarrollo de aplicaciones distribuidas. En concreto, la programación de aplicaciones paralelas utilizando MPI tiene un peso considerable, tanto en la parte práctica, como en la parte teórica de la asignatura. Las aplicaciones MPI desarrolladas en las prácticas de PSD pueden, normalmente, ejecutarse en un solo ordenador utilizando los distintos núcleos del procesador, lo cual se conoce como modo “stand-alone”. El objetivo principal del proyecto consiste en mitigar los problemas existentes para ejecutar las aplicaciones MPI, requeridas en las prácticas de PSD, en entornos distribuidos reales. Para ello proponemos el uso del simulador SIMCAN, el cual ya ha sido adaptado en el pasado para su uso docente. Concretamente, se propone utilizar SIMCAN para reproducir las trazas de ejecución de aplicaciones MPI en diferentes arquitecturas distribuidas, de forma que se alivien, en la medida de lo posible, aquellos aspectos de interés que se tratan con dificultad en la ejecución “stand-alone”, en particular, la visualización del funcionamiento distribuido y su rendimiento. De esta forma, se utilizarán distintas arquitecturas distribuidas, modeladas con el simulador SIMCAN, para ejecutar las aplicaciones MPI estudiadas en la asignatura.
  • Publication
    MuTomVo: Mutation Testing framework for omnet-based simulated enVironments
    (2015) Cerro Cañizares, Pablo; Núñez Covarrubias, Alberto
    Actualmente, el testing es una de las técnicas más extendidas para comprobar la validez de sistemas complejos. Su aplicación en software es una parte fundamental del desarrollo de sistemas, sin embargo, existen varias dificultades a la hora de aplicar estas técnicas, tales como el alto coste económico y computacional. Uno de los aspectos más relevantes en testing es la selección de un conjunto de tests adecuado para aplicarlo sobre el sistema que se desea probar. Esto resulta especialmente complicado cuando el sistema sometido a test es de grandes dimensiones, como es el caso de clusters HPC (High Performance Computing) o sistemas cloud. El objetivo principal de este trabajo es proporcionar mecanismos que permitan evaluar la idoneidad de los conjuntos de tests, utilizados para chequear sistemas distribuidos, de forma escalable, económica y eficiente. Para ello se propone MuTomVo, un framework de mutación de código que integra técnicas de mutation testing con técnicas de simulación. Para realizar el modelado y la simulación de sistemas distribuidos se ha utilizado la plataforma SIMCAN. MuTomVo se ha construido utilizando una arquitectura modular, a través de la cual, se pueden introducir nuevas técnicas de mutation testing de manera sencilla. Esto permite realizar una comparación entre dichas técnicas para evaluar la adecuación de cada una de ellas sobre el entorno proporcionado. De esta forma, se pretende reunir en un único framework las funcionalidades de diferentes herramientas, tales como simuladores, frameworks de mutación y herramientas de generación de tests. Además, se ha realizado una fase de experimentación para analizar la idoneidad de distintos conjuntos de tests ejecutados en diferentes aplicaciones distribuidas. Cada una de estas aplicaciones, junto con las arquitecturas donde se han ejecutado, han sido modeladas con SIMCAN. Asimismo, los experimentos se han llevado a cabo aplicando técnicas de mutation testing sobre estos modelos.
  • Publication
    Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing
    (Universidad Complutense de Madrid, 2020-10-28) Cerro Cañizares, Pablo; Núñez Covarrubias, Alberto; Lara Jaramillo, Juan de
    Cloud systems are supported by complex infrastructures, which consist of a wide diversity of subsystems and components like storage, virtualisation and networking. The heterogeneous nature of these systems, their size, the high number of users that concurrently request services, and the virtualisation used to give the illusion of using dedicated machines, among other factors, hamper their validationa. Unfortunately, it is not feasible to use conventional testing methods for cheking the correctness of cloud systems.The main goal of this thesis is to design methodologies and techniques for modelling and testing cloud systems. For this, the thesis combines two orthogonal techniques, Testing and Model Driven Engineering (in short, MDE) to model, validate and optimise cloud systems...
  • Publication
    Diseño y despliegue de un clúster de placas Raspberry Pi3 para la ejecución de las prácticas de la asignatura PSD
    (2018-06-29) Núñez Covarrubias, Alberto; Llana Díaz, Luis; Lavín Puente, Víctor; James Pickin, Simon; Bartolomé Sandoval, Ana; Cerro Cañizares, Pablo; Cambronero Piqueras, Emilia; Romero Martínez, Miguel; Quiñones Sánzhez, Daniel; Mañoso Hierro, Carolina; Pérez de Madrid y Pablo, Ángel; Romero Hortelano, Miguel
    Este proyecto tiene como objetivo principal facilitar el desarrollo de las prácticas de la asignatura Programación de Sistemas Distribuidos (PSD), impartida en el grado en Ingeniería de Computadores de la FDI. Esta propuesta surge como continuación del proyecto de innovación docente concedido en el curso 16/17, en el cual se utilizó la herramienta de simulación SIMCAN para estudiar y analizar distintos tipos de sistemas distribuidos en las prácticas de la asignatura PSD.
  • Publication
    A tool-supported framework for work planning on construction sites based on constraint programming
    (Elsevier, 2018-02-01) Camacho, Azahara; Cerro Cañizares, Pablo; Estévez Martín, Sonia; Núñez García, Manuel; Miroslaw J. Skibniewski
    This paper presents a framework taking advantage of the capabilities of current constraint solvers to plan the work on construction sites. It combines different constraints under a common framework to facilitate the definition of temporal relations between different tasks and provides a user-friendly web interface, which facilitates the planning of construction sites. Even though the framework uses complex mathematical models, the users do not need to know the underlying theoretical framework. Another important feature of the framework is, in contrast to usual static planning, that solutions can be dynamically adapted to take into account delays happening during the actual construction process. In order to show the applicability of the methodology, the paperspaper shows how a real construction project can be planned by using the framework.
  • Publication
    SINPA: SupportINg the automation of construction PlAnning
    (Elsevier, 2022-03-01) Cerro Cañizares, Pablo; Estévez Martín, Sonia; Núñez García, Manuel; Miroslaw J. Skibniewski
    We present SINPA: an integrated framework to support construction site planners. The most basic functionality of our tool provides a user-friendly framework to represent causality relations (precedence and parallelism) between the different tasks conforming a project. SINPA strongly relies on a constraint solver and makes an intensive use of constraints. SINPA automatically studies optimisations of the original planning, recomputes the solutions and provides recommendations in an intuitive way so that the planners can modify their original plan. It is important to emphasise that the users of SINPA do not need to work with or understand Constraint Programming.
  • Publication
    SQLab: Laboratorio virtual lenguaje SQL
    (2017) Garcia Merayo, María de las Mercedes; Núñez García, Manuel; Pareja Flores, Cristóbal; García Ruiz, Yolanda; Estévez Martín, Sonia; Martínez Torres, Rafael; Camacho Magriñán, María Azahara; Cerro Cañizares, Pablo; Marco González, Juán Carlos
    En este proyecto se ha desarrollado un corrector automático de consultas SQL. Aunque estas herramientas suelen ser de propósito general, en este caso tiene un carácter docente, permitiendo a los estudiantes perfeccionar y afianzar los conocimientos adquiridos de forma autónoma, sin la necesaria supervisión de un profesor que valide las soluciones que proponen a los diferentes problemas que se les plantean. Los docentes podrán agilizar el proceso de corrección de los ejercicios así como realizar un seguimiento del avance de los alumnos, lo que le permitirá detectar aquellos aspectos en los que debe incidir más, así como seleccionar ejercicios orientados a reforzar determinados conocimientos.