Recent Submissions

  • Self-synchronized duty-cycling for sensor networks with energy harvesting capabilities: Implementation in Wiselib 

    Hernández, H.; Baumgartner, Tobias; Blum, Christian; Blesa Aguilera, Maria Josep; Fekete, Sandor P.; Kröller, Alexander (2010)
    External research report
    Open Access
    In this work we present a protocol for a self- synchronized duty-cycling mechanism in wireless sensor net- works with energy harvesting capabilities. The protocol is im- plemented in Wiselib, a library of generic algorithms ...
  • Process mining meets abstract interpretation 

    Carmona Vargas, Josep; Cortadella Fortuny, Jordi (2010-07)
    External research report
    Open Access
    The discovery of process models out of system traces is an interesting problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is ...
  • Process mining from a basis of state regions 

    Solé, Marc; Carmona Vargas, Josep (2010-01)
    External research report
    Open Access
    A central problem in the area of Process Mining is to obtain a formal model that represents selected behavior of a system. The theory of regions has been applied to address this problem, enabling the derivation of a Petri ...
  • Multikey Quickselect 

    Frias Moya, Leonor; Roura Ferret, Salvador (2009-07)
    External research report
    Open Access
    In this paper we introduce Multikey Quickselect: an efficient, in-place, and easy to implement algorithm for the selection problem for strings. We present several variants of our basic algorithm, which apply to two different ...
  • The HOM problem is decidable 

    Godoy, Guillem; Giménez, Omer; Ramos Garrido, Lander; Álvarez Faura, M. del Carme (2009-06)
    External research report
    Open Access
    We close affirmatively a question which has been open for 35 years: decidability of the HOM problem. The HOM problem consists in deciding, given a tree homomorphism $H$ and a regular tree languagle $L$ represented by a ...
  • Speculation in elastic systems 

    Galcerán Oms, Marc; Cortadella Fortuny, Jordi; Kishinevsky, Mike (2009-05)
    External research report
    Open Access
    Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design practice is error-prone and mostly ad-hoc, this ...
  • Retiming and recycling for elastic systems with early evaluation 

    Bufistov, Dmitry; Cortadella Fortuny, Jordi; Galcerán Oms, Marc; Julvez Bueno, Jorge Emilio; Kishinevsky, Mike (2009-04)
    External research report
    Open Access
    Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that combines these two transformations for ...
  • Divide-and-conquer strategies for process mining 

    Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Kishinevsky, Mike (2009-03)
    External research report
    Open Access
    The main goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphical representation, clear semantics ...
  • Analysis of the strategy "Hiring above the alpha-quantile" 

    Helmiy, Ahmed; Martínez Parra, Conrado; Panholzer, Alois (2012-11)
    External research report
    Open Access
    We study here the strategy hiring above the α-quantile of the hired staff. This strategy was introduced first by Archibald and Martınez in 2009. We show here more results like lower and upper bounds for many interesting ...
  • A review on DISC 2005, the 19th International Symposium on Distributed Computing 

    Blesa Aguilera, Maria Josep; Georgiou, Chryssis (2006-01)
    External research report
    Open Access
    DISC is an international symposium on the theory, design, analysis, implementation and application of distributed systems and networks. The well-known International Symposium on Distributed Computing is organized annually ...

View more