Recent Submissions

  • ECHOFS: a scheduler-guided temporary filesystem to leverage node-local NVMS 

    Miranda, Alberto; Nou, Ramon; Cortés, Toni
    Conference report
    Open Access
    The growth in data-intensive scientific applications poses strong demands on the HPC storage subsystem, as data needs to be copied from compute nodes to I/O nodes and vice versa for jobs to run. The emerging trend of adding ...
  • Verification of asynchronous circuits by BDD-based model checking of Petri nets 

    Roig Mansilla, Oriol; Cortadella, Jordi; Pastor Llorens, Enric (Springer, 1995)
    Conference report
    Open Access
    This paper presents a methodology for the verification of speed-independent asynchronous circuits against a Petri net specification. The technique is based on symbolic reachability analysis, modeling both the specification ...
  • An out-of-the-box full-network embedding for convolutional neural networks 

    Garcia-Gasulla, Dario; Vilalta, Armand; Parés, Ferran; Ayguadé Parra, Eduard; Labarta Mancho, Jesús José; Cortés García, Claudio Ulises; Suzumura, Toyotaro (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    Conference report
    Open Access
    Features extracted through transfer learning can be used to exploit deep learning representations in contexts where there are very few training samples, where there are limited computational resources, or when the tuning ...
  • Time-constrained loop pipelining 

    Sánchez Carracedo, Fermín; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2005)
    Conference report
    Open Access
    This paper addresses the problem of Time-Constrained Loop Pipelining, i.e. given a fixed throughput, finding a schedule of a loop which minimizes resource requirements. We propose a methodology, called TCLP, based on ...
  • A structural encoding technique for the synthesis of asynchronous circuits 

    Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric (Institute of Electrical and Electronics Engineers (IEEE), 2001)
    Conference report
    Open Access
    This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ...
  • Training deep neural networks with low precision input data: a hurricane prediction case study 

    Kahira, Albert; Bautista-Gómez, Leonardo; Badia Sala, Rosa Maria (Springer, 2018)
    Conference report
    Open Access
    Training deep neural networks requires huge amounts of data. The next generation of intelligent systems will generate and utilise massive amounts of data which will be transferred along machine learning workflows. We study ...
  • Evaluating SLURM simulator with real-machine SLURM and vice versa 

    Jokanovic, Ana; D'Amico, Marco; Corbalán González, Julita (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    Conference report
    Open Access
    Having a precise and a fast job scheduler model that resembles the real-machine job scheduling software behavior is extremely important in the field of job scheduling. The idea behind SLURM simulator is preserving the ...
  • Freezing Time: a new approach for emulating fast storage devices using VM 

    Bona, Luis C.E.; Elias, Alessandro; Ziviani, Andre P.; Cortés, Toni; Nou, Ramon; Alves, Marco A.Z. (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    Conference report
    Open Access
    Recently we are seeing a considerable effort from both academy and industry in proposing new technologies for storage devices. Often these devices are not readily available for evaluation and methods to allow performing ...
  • Teaching HPC systems and parallel programming with small-scale clusters 

    Álvarez Martí, Lluc; Ayguadé Parra, Eduard; Mantovani, Filippo
    Conference report
    Restricted access - publisher's policy
    In the last decades, the continuous proliferation of High-Performance Computing (HPC) systems and data centers has augmented the demand for expert HPC system designers, administrators, and programmers. For this reason, ...
  • 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 ...
  • 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 ...
  • Structural methods to improve the symbolic analysis of Petri nets 

    Pastor Llorens, Enric; Cortadella, Jordi; Peña Basurto, Marco Antonio (Springer, 1999)
    Conference report
    Open Access
    Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an efficient strategy for the analysis of Petri nets. The existing techniques for the symbolic encoding of each marking use a fixed set of variables ...

View more