Recent Submissions

  • 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 ...
  • An algebraic view of the relation between largest common subtrees and smallest common supertrees 

    Rosselló, Francesc; Valiente Feruglio, Gabriel Alejandro (2004-12)
    External research report
    Open Access
    The relationship between two important problems in tree pattern matching, the largest common subtree and the smallest common supertree of two trees, is established by means of simple constructions, which allow one to obtain ...

View more