• Finding Best Compiler Options for Critical Software Using Parallel Algorithms 

      Alba, Enrique; Luque-Polo, Gabriel Jesús (2018-11-21)
      The efficiency of a software piece is a key factor for many systems. Real-time programs, critical software, device drivers, kernel OS functions and many other software pieces which are executed thousands or even millions ...
    • Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant 

      Munoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia (2019-10-09)
      The impact of energy consumption on the environment and the economy is raising awareness of “green” software engineering. HADAS is an eco-assistant that makes developers aware of the influence of their designs and ...
    • Foreground detection enhancement using Pearson correlation filtering 

      Domínguez-Merino, Enrique (2018-06-08)
      Foreground detection algorithms are commonly employed as an initial module in video processing pipelines for automated surveillance. The resulting masks produced by these algorithms are usually postprocessed in order to ...
    • Foreground object detection enhancement by adaptive super resolution for video surveillance 

      Molina-Cabello, Miguel A.; Elizondo, David A.; Luque-Baena, Rafael Marcos; López-Rubio, Ezequiel (2019-09-16)
      Foreground object detection is a fundamental low level task in current video surveillance systems. It is usually accomplished by keeping a model of the background at each frame pixel. Many background learning algorithms ...
    • A Formal Programming Framework for Digital Avatars 

      Pérez-Vereda, Alejandro; Canal, Carlos; Pimentel, Ernesto (2019-09-05)
      In the current IoT era, the number of smart things to interact with is raising everyday. However, each one of them precises a manual and specific configuration. In a more people-friendly scenario, smart things should adapt ...
    • Formalización de una arquitectura de computación móvil basada en Linda 

      Pérez-Vereda, Alejandro; Canal-Velasco, Jose Carlos; Pimentel, Ernesto (2019-06-19)
      Gracias a los avances y el desarrollo que está experimentando el campo de la Internet de las Cosas (Internet of Things, IoT), cada día hay más dispositivos a los que se llama inteligentes. Estos dispositivos disponen de ...
    • Gain-Reconfigurable Hybrid Metal-Graphene Printed Yagi Antenna for Energy Harvesting Applications 

      Alex-Amor, Antonio; Palomares-Caballero, Ángel; de la Fuente, Elena; Muriel-Barrado, Alfonso; Valenzuela-Valdés, Juan Francisco; [et al.] (2019-04-26)
      This paper presents a hybrid metal-graphene printed Yagi antenna with reconfigurable gain that operates in the 5.5-GHz band. The balun and the driven elements are made of copper, while the directors are made of graphene. ...
    • Game Artificial Intelligence: Challenges for the Scientific Community 

      Lara-Cabrera, Raúl; Nogueira-Collazo, Mariela; Cotta, Carlos; Fernández-Leiva, Antonio J. (2015-06-18)
      This paper discusses some of the most interesting challenges to which the games research community members may face in the área of the application of arti cial or computational intelligence techniques to the design and ...
    • Generación automática de contenido para un nuevo juego basado en el problema de los tres cuerpos 

      Gutierrez Alcoba, Alejandro; Lara-Cabrera, Raúl; Fernández-Leiva, Antonio J. (2014-06-24)
      Este trabajo presenta un algoritmo de generaci ón de contenido por procedimientos capaz de crear mapas completos para un videojuego que simula fenómenos fí sicos. El algoritmo evolutivo desarrollado intenta mejorar la ...
    • Generación de secuencias de pruebas funcionales con algoritmos bio-inspirados 

      Ferrer, Javier; Kruse, Peter M.; Chicano, Francisco; Alba, Enrique (2015-02-10)
      La generación de secuencias de pruebas dinámicas desde una especificación formal complementa los métodos tradicionales de pruebas para encontrar errores en el código fuente. En este artículo extendemos un enfoque combinatorio ...
    • Generating Effective Test Suites for Model Transformations Using Classifying Terms 

      Vallecillo, Antonio; Hilken, Frank; Burgueño, Loli; Gogolla, Martin (2016-09-27)
      Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ...
    • Glide-Symmetric Pin Phase Shifter implemented in Gap-Waveguide Technology 

      Palomares Caballero, Ángel; Alex Amor, Antonio; Valenzuela Valdés, Juan F.; Luna Valero, Francisco; Padilla de la Torre, Pablo; [et al.] (2019-09-10)
      This paper presents a compact and low-loss waveguide phase shifter based on a pin lattice in glide- symmetric configuration. There is a significant increase in provided phase shift when using a glide-symmetric pin distribution ...
    • Goal Driven Interaction (GDI) vs. Direct Manipulation (MD), an empirical comparison 

      Carrillo-Leon, Antonio Luis; Falgueras-Cano, Juan (2015-10-19)
      This paper presents a work in process about Goal Driven Interaction (GDI), a style of interaction intended for inexperienced, infrequent and occasional users, whose main priorities are to use a system and achieve their ...
    • Gramáticas difusas de formas 

      Pérez de la Cruz, José Luis; Mandow-Andaluz, Lorenzo; López-Romero, Fernando; Ruiz-Montiel, Manuela (AEPIA, 2015)
      Presentamos una generalización difusa del concepto de computacion o derivacion en una gramática de formas. Primeramente presentamos las ideas en abstracto y posteriormente describimos una implementacion software y algunos ...
    • Green Security Plugin for Pervasive Computing using the HADAS toolkit 

      Munoz, Daniel-Jesus; Montenegro, José Antonio; Pinto, Mónica; Fuentes, Lidia (IEEE, 2017)
      Energy is a critical resource in pervasive computing devices. However, information about energy consumption is not directly accessible through software development environments, making it difficult to reuse the knowledge ...
    • GTS Families for the Flexible Composition of Graph Transformation Systems 

      Durán, Francisco; Zschaler, Steffen (2017)
      Morphisms between graph-transformation systems (GTSs) have been successfully used for the refinement, reuse, and composition of GTSs. All these uses share a fundamental problem: to be able to define a morphism, source and ...
    • Hacia la generación automática de mecánicas de juego: un editor de reglas para Eryna 

      Ruiz-Moyano, Alejandro; Nogueira-Collazo, Mariela; Fernández-Leiva, Antonio J. (2016)
      Este artículo es parte de un trabajo emergente dirigido a la creación automática de juegos de estrategia en tiempo real (RTS), lo cual incluye la generación de contenido, la creación de la inteligencia artificial del ...
    • HADAS: Asistente de eco-eficiencia con repositorio de consumo energético 

      Muñoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia (2017-09-14)
      El interés por la Ingeniería del Software "verde", o sea, sensible al consumo de energía, es relativamente reciente. Su objetivo es concienciar a los desarrolladores de software de la influencia que tienen sus decisiones ...
    • HADAS: tool for analysis and development of sustainable applications 

      Fuentes-Fernández, Lidia; Munoz Guerra, Daniel Jesús (2018-09-13)
      Durante esta Conferencia Internacional, representantes del Gobierno, autoridades locales, instituciones públicas y privadas, vicerrectores de Internacionalización y talento nacional e internacional crearon un ecosistema ...
    • Homography estimation with deep convolutional neural networks by random color transformations 

      Molina-Cabello, Miguel A.; Elizondo, David A.; Luque Baena, Rafael Marcos; López-Rubio, Ezequiel (2019-09-13)
      Most classic approaches to homography estimation are based on the filtering of outliers by means of the RANSAC method. New proposals include deep convolutional neural networks. Here a new method for homography estimation ...