Recent Submissions

  • Exact and heuristic allocation of multi-kernel applications to multi-FPGA platforms 

    Shan, Junnan; Casu, Mario R.; Cortadella, Jordi; Lavagno, Luciano; Lazarescu, Mihai T.
    Conference report
    Open Access
    FPGA-based accelerators demonstrated high energy efficiency compared to GPUs and CPUs. However, single FPGA designs may not achieve sufficient task parallelism. In this work, we optimize the mapping of high-performance ...
  • Semantic integration on spatial databases: SIT-SD prototype 

    Morocho, Villie; Pérez Vidal, Lluís; Saltor Soler, Félix Enrique (2003)
    Conference report
    Open Access
    Progress on data integration has come to the point that we must deal with the need of semantic integration. ln this work we present a prototype of an integration tool of information sources (Semantic lntegration Tool for ...
  • Implementando acceso directo y secuencial a colecciones de datos mediante aspectos 

    Marco Gómez, Jordi; Franch Gutiérrez, Javier; Álvarez Canal, Jordi (2004)
    Conference report
    Open Access
    Las bibliotecas de colecciones de datos juegan un papel importante en el desarrollo de software basado en componentes. Las colecciones conteni­das en las bibliotecas de este tipo (JCF, STL, LEDA etc.) implementan un mo­delo ...
  • Hybrid evolutionary data analysis technique for environmental modeling 

    Acosta, Jesus; Nebot Castells, M. Àngela; Fuertes Armengol, José Mª (International Centre for Numerical Methods in Engineering (CIMNE), 2006)
    Conference report
    Open Access
    In this work an evolutionary fuzzy system (EFS) is presented and applied to an environmental problem, i.e. modeling ozone concentrations. The hybrid system is composed by a FIR methodology and a genetic algorithm (GA) that ...
  • Defining inheritance in i* at the level of SR intentional elements 

    López Cuesta, Lidia; Franch Gutiérrez, Javier; Marco Gómez, Jordi (CEUR-WS.org, 2008)
    Conference lecture
    Open Access
    The is-a relationship among actors has been introduced since the very beginning in the i* framework. However, the effect of this construct at the level of intentional elements and dependencies is not always completely ...
  • Sesquickselect: One and a half pivots for cache-efficient selection 

    Martínez Parra, Conrado; Nebel, Markus; Wild, Sebastian (Curran, 2019)
    Conference report
    Open Access
    Because of unmatched improvements in CPU performance, memory transfers have become a bottleneck of program execution. As discovered in recent years, this also affects sorting in internal memory. Since partitioning around ...
  • Deep learning is blowing in the wind. Deep models applied to wind prediction at turbine level 

    Manero Font, Jaume; Béjar Alonso, Javier; Cortés García, Claudio Ulises (Institute of Physics (IOP), 2019)
    Conference report
    Open Access
    Wind Energy generation depends on the existence of wind, a meteorological phenomena intermittent by nature, with the consequence of generating uncertainty on the availability of wind energy in the future. The grid stability ...
  • Genet: a tool for the synthesis and mining of Petri nets 

    Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael (Institute of Electrical and Electronics Engineers (IEEE), 2009)
    Conference report
    Open Access
    State-based representations of concurrent systems suffer from the well known state explosion problem. In contrast, Petri nets are good models for this type of systems both in terms of complexity of the analysis and in ...
  • Lazy transition systems: application to timing optimization of asynchronous circuits 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1998)
    Conference report
    Open Access
    The paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzTSs can be effectively used to model the ...
  • Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Universitat Politècnica de Catalunya (UPC), 1996)
    Conference report
    Open Access
    Petrifyis a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition ...
  • Task generation and compile-time scheduling for mixed data-control embedded software 

    Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Massot, Marc; Moral Boadas, Sandra; Passerone, Claudio; Watanabe, Yosinori; Sangiovanni-Vincentelli, Alberto (Association for Computing Machinery (ACM), 2000)
    Conference report
    Open Access
    The problem of optimal software synthesis for concurrent processes to be implemented on a single processor is addressed. The approach calls for the representation of the concurrent processes with Petri nets that give a ...
  • 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 ...

View more