Envíos recientes

  • Dynamic pipelining of multidimensional range queries 

    Duch Brown, Amalia; Lugosi, Daniel; Pasarella Sánchez, Ana Edelmira; Zoltan Torres, Ana Cristina (2019-06-07)
    Artículo
    Acceso abierto
    The problem of evaluating orthogonal range queries efficiently has been studied widely in the data structures community. It has been common wisdom for several years that for queries containing more than 20% of the ...
  • Generalized satisfiability problems via operator assignments 

    Atserias, Albert; Kolaitis, Phokion; Severini, Simone (2019-05-21)
    Artículo
    Acceso abierto
    Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in ...
  • Quasi-static scheduling of independent tasks for reactive systems 

    Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Passerone, Claudio; Watanabe, Yosinori (Springer, 2002-06)
    Artículo
    Acceso abierto
    The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by ...
  • Hardware and Petri nets: application to asynchronous circuit design 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Springer, 2000-06)
    Artículo
    Acceso abierto
    Asynchronous circuits is a discipline in which the theory of concurrency is applied to hardware design. This paper presents an overview of a design framework in which Petri nets are used as the main behavioral model for ...
  • Robustness to voltage noise with ring oscillator clocks 

    Machado, Lucas; Roca Pérez, Antoni; Cortadella, Jordi (2019-04)
    Artículo
    Acceso abierto
    Voltage noise is the main source of dynamic variability in integrated circuits and a major concern for the design of power delivery networks (PDNs). Lower supply voltages were made possible with technology scaling, but ...
  • Relative entailment among probabilistic implications 

    Atserias, Albert; Balcázar Navarro, José Luis; Piceno Cabrera, Marie Ely (2019-02-06)
    Artículo
    Acceso abierto
    We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort ...
  • Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (1997-03)
    Artículo
    Acceso abierto
    Petrify is 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 System (TS) it ...
  • Measuring satisfaction and power in influence based decision systems 

    Molinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José (2019-06-15)
    Artículo
    Acceso restringido por política de la editorial
    We introduce collective decision-making models associated with influence spread under the linear threshold model in social networks. We define the oblivious and the non-oblivious influence models. We also introduce the ...
  • A Tabu search algorithm for scheduling independent jobs in computational grids 

    Xhafa Xhafa, Fatos; Carretero Casado, Javier Sebastián; Dorronsoro, Bernabé; Alba, Enrique (2009)
    Artículo
    Acceso abierto
    The efficient allocation of jobs to grid resources is indispensable for high performance grid-based applications, and it is a computationally hard problem even when there are no dependencies among jobs. We present in this ...
  • A simulated annealing algorithm for router nodes placement problem in Wireless Mesh Networks 

    Xhafa Xhafa, Fatos; Barolli, Admir; Sánchez Lopez, Christian; Barolli, Leonard (2011-11)
    Artículo
    Acceso abierto
    Mesh router nodes placement is a central problem in Wireless Mesh Networks (WMNs). An efficient placement of mesh router nodes is indispensable for achieving network performance in terms of both network connectivity and ...
  • Enhancing knowledge management in online collaborative learning 

    Caballé Llobet, Santiago; Daradoumis, Thanasis; Xhafa Xhafa, Fatos; Conesa Caralt, Jordi (2010-06)
    Artículo
    Acceso abierto
    This paper aims to explore two crucial aspects of collaborative work and learning: on the one hand, the importance of enabling collaborative learning applications to capture and structure the information generated by group ...
  • A hyper-heuristic for adaptive scheduling in computational grids 

    Xhafa Xhafa, Fatos (2007-01)
    Artículo
    Acceso abierto
    In this paper we present the design and implementation of an hyper-heuristic for efficiently scheduling independent jobs in computational grids. An efficient scheduling of jobs to grid resources depends on many parameters, ...

Muestra más