Recent Submissions

  • University teaching culture 

    Pérez Poch, Antoni; Domingo Peña, Joan; Sanz Gómez, M. Carmen; López Álvarez, David (Octaedro, 2018-06)
    Part of book or chapter of book
    Open Access
    The CIDUI experience has been an unforgettable learning process for us all. At the time of writing these introductory pages, we had doubts about the topics that should be included. Maybe the ideas and great debates about ...
  • Resource identification in fog-to-cloud systems: toward an identity management strategy 

    Gómez Cárdenas, Alejandro; Masip Bruin, Xavier; Marín Tordera, Eva; Kahvazadeh, Sarang (2019-04-12)
    Article
    Open Access
    og-to-Cloud (F2C) is a novel paradigm aiming at extending the cloud computing capabilities to the edge of the network through the hierarchical and coordinated management of both, centralized cloud datacenters and distributed ...
  • El proyecto EDINSOST. Formación en las Universidades españolas de profesionales como agentes de cambio para afrontar los retos de la sociedad 

    Segalàs Coral, Jorge; Sánchez Carracedo, Fermín (2019-04)
    Article
    Open Access
    EDINSOST1, proyecto I+D+i Retos investigación financiado por el Ministerio de Economía, Industria y Competitividad, ubicado como reto de investigación en el ámbito de cambios e innovaciones sociales, pretende contribuir ...
  • Reprogrammable graphene-based metasurface mirror with adaptive focal point for THz imaging 

    Hosseininejad, Seyed Ehsan; Rouhi, Kasra; Neshat, Mohammad; Faraji-Dana, Reza; Cabellos Aparicio, Alberto; Abadal Cavallé, Sergi; Alarcón Cot, Eduardo José (Nature, 2019-02-27)
    Article
    Open Access
    Recent emergence of metasurfaces has enabled the development of ultra-thin flat optical components through different wavefront shaping techniques at various wavelengths. However, due to the non-adaptive nature of conventional ...
  • Building a safe and socially acceptable concept of operation for drones flying at the very low level 

    Barrado Muxí, Cristina; Pastor Llorens, Enric (2018)
    Conference lecture
    Open Access
    As part of the Single European Sky ATM Research (SESAR) a number of projects related to the drones flying at the very low level (VLL) have been funded. At its core, the CORUS project is developing the concept of operations ...
  • On-the-fly olive tree counting using a UAS and cloud services 

    Salamí San Juan, Esther; Gallardo Gómez, Antonia; Skorobogatov, G.; Barrado Muxí, Cristina (Multidisciplinary Digital Publishing Institute (MDPI), 2019-02-01)
    Article
    Open Access
    Unmanned aerial systems (UAS) are becoming a common tool for aerial sensing applications. Nevertheless, sensed data need further processing before becoming useful information. This processing requires large computing power ...
  • The ARCHADE: ubiquitous supercomputing for robotics. Part I: philosophy 

    Camargo Forero, Leonardo; Royo Chic, Pablo; Prats Menéndez, Xavier (2019-04-01)
    Article
    Restricted access - publisher's policy
    In this work, we introduce Ubiquitous Supercomputing for robotics with the objective of opening our imagination to the development of new powerful heterogeneous multi-robot systems able to perform all kind of missions. ...
  • 2018 International Symposium on Computer Architecture influential paper award 

    González Colás, Antonio María (2018-07-01)
    Article
    Open Access
    The International Symposium on Computer Architecture (ISCA) recognizes every year the most influential paper published in this conference 15 years earlier, based on its impact on research, development, products or ideas. ...
  • A case study for the verification of complex timed circuits: IPCMOS 

    Peña Basurto, Marco Antonio; Cortadella, Jordi; Pastor Llorens, Enric; Smirnov, Alexandre (Institute of Electrical and Electronics Engineers (IEEE), 2002)
    Conference report
    Open Access
    The verification of a n-stage pulse-driven IPCMOS pipeline, for any n>0, is presented. The complexity of the system is 32n transistors and delay information is provided at the level of transistor The correctness of the ...
  • Exploring potential implementations of PCE in IoT world 

    Ramirez Almonte, Wilson; Souza, Vitor Barbosa Carlos de; Marín Tordera, Eva; Sánchez López, Sergio (2017-11-01)
    Article
    Open Access
    The recently coined Internet of Things (IoT) paradigm leverages a large volume of heterogeneous Network Elements (NEs) demanding broad connectivity anywhere, anytime and anyhow, fueling the deployment of innovative Internet ...
  • Sampled simulation of task-based programs 

    Grass, Thomas; Carlson, Trevor E.; Rico Carro, Alejandro; Ceballos, Germán; Ayguadé Parra, Eduard; Casas Guix, Marc; Moreto Planas, Miquel (Institute of Electrical and Electronics Engineers (IEEE), 2019-02-01)
    Article
    Open Access
    Sampled simulation is a mature technique for reducing simulation time of single-threaded programs. Nevertheless, current sampling techniques do not take advantage of other execution models, like task-based execution, to ...
  • Formal verification of safety properties in timed circuits 

    Peña Basurto, Marco Antonio; Cortadella, Jordi; Kondratyev, Alex; Pastor Llorens, Enric (Institute of Electrical and Electronics Engineers (IEEE), 2000)
    Conference report
    Open Access
    The incorporation of timing makes circuit verification computationally expensive. This paper proposes a new approach for the verification of timed circuits. Rather than calculating the exact timed stare space, a conservative ...

View more