Recent Submissions

  • RTL synthesis: From logic synthesis to automatic pipelining 

    Cortadella Fortuny, Jordi; Galceran Oms, Marc; Kishinevsky, Mike; Sapatnekar, Sachin S. (2015-11-01)
    Article
    Open Access
    Design automation has been one of the main propellers of the semiconductor industry with logic synthesis being one of the core technologies in this field. This article reviews the evolution of logic synthesis until the ...
  • A MOOC on approaches to machine translation 

    Ruiz Costa-Jussà, Marta; Formiga, Lluís; Torrillas Tostado, Oriol; Petit Silvestre, Jordi; Rodríguez Fonollosa, José Adrián (2015-12-10)
    Article
    Open Access
    This paper describes the design, development, and analysis of a MOOC entitled “Approaches to Machine Translation: Rule-based, statistical and hybrid”, and provides lessons learned and conclusions to be taken into account ...
  • SafeRazor: Metastability-robust adaptive clocking in resilient circuits 

    Cannizzaro, Marco; Beer, Salomon; Cortadella Fortuny, Jordi; Ginosar, Ran; Lavagno, Luciano (2015-09-01)
    Article
    Open Access
    Razor-based circuits can run faster or at a lower voltage than those designed to work at the worst case corner. However, all known implementations are prone to failures due to the non-deterministic timing behavior introduced ...
  • High evolutionary turnover of satellite families in Caenorhabditis 

    Subirana Torrent, Juan A.; Albà, M. Mar; Messeguer Peypoch, Xavier (2015-10-05)
    Article
    Open Access
    Background: The high density of tandem repeat sequences (satellites) in nematode genomes and the availability of genome sequences from several species in the group offer a unique opportunity to better understand the ...
  • FrogCOL and FrogMIS: new decentralized algorithms for finding large independent sets in graphs 

    Blum, Christian; Calvo, Borja; Blesa Aguilera, Maria Josep (2015-09-01)
    Article
    Restricted access - publisher's policy
    Finding large (and generally maximal) independent sets of vertices in a given graph is a fundamental problem in distributed computing. Applications include, for example, facility location and backbone formation in wireless ...
  • BioMaS: a modular pipeline for Bioinformatic analysis of Metagenomic AmpliconS 

    Fosso, Bruno; Santamaria, Monica; Marzano, Marinella; Alonso-Alemany, Daniel; Valiente Feruglio, Gabriel Alejandro; Donvito, Giacinto; Monaco, Alfonso; Notarangelo, Pasquale; Pesole, Graziano (2015-07-01)
    Article
    Open Access
    Background: Substantial advances in microbiology, molecular evolution and biodiversity have been carried out in recent years thanks to Metagenomics, which allows to unveil the composition and functions of mixed microbial ...
  • Forms of representation for simple games: Sizes, conversions and equivalences 

    Molinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José (North Holland Mathematical Library, 2015-07-01)
    Article
    Restricted access - publisher's policy
    Simple games are cooperative games in which the benefit that a coalition may have is always binary, i.e., a coalition may either win or loose. This paper surveys different forms of representation of simple games, and those ...
  • Analysing web-orchestrations under stress using uncertainty profiles 

    Gabarró Vallès, Joaquim; Serna Iglesias, María José; Stewart, Alan (Wiley Heyden, 2014-11-01)
    Article
    Open Access
    An orchestration is a multi-threaded computation that invokes a number of remote services. In practice, the responsiveness of a web-service fluctuates with demand; during surges in activity service responsiveness may be ...
  • Abstract constraint data types 

    Fiadeiro, Jose Luis; Orejas Valdés, Fernando (2015)
    Article
    Restricted access - publisher's policy
    Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless ...
  • Model synchronization based on triple graph grammars: correctness, completeness and invertibility 

    Hermann, Frank; Ehrig, Hartmut; Orejas Valdés, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas (2015-02-01)
    Article
    Restricted access - publisher's policy
    Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been missing. This ...

View more