Departament de Ciències de la Computació

Envíos recientes

  • A multi-radix approach to asynchronous division 

    Cornetta, Gianluca; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2001)
    Texto en actas de congreso
    Acceso abierto
    The speed of high-radix digit-recurrence dividers is mainly determined by the hardware complexity of the quotient-digit selection function. In this paper we present a scheme that combines the area efficiency of bundled ...

  • Narrowing the margins with elastic clocks 

    Cortadella, Jordi; Lavagno, Luciano; Amiri, Djavad; Casanova Bachs, Jonàs; Macián, Carlos; Martorell, Ferran; Moya, Juan A.; Necchi, Luca; Sokolov, Danil; Tuncer, Emre (Institute of Electrical and Electronics Engineers (IEEE), 2010)
    Texto en actas de congreso
    Acceso abierto
    The continuous shrinking of process geometries increases variability and demands for conservative margins that have a negative impact on performance. With conventional clocks, the cycle period has to be defined to accommodate ...

  • Hardware synthesis for asynchronous communications mechanisms 

    Costa Gorgônio, Kyller; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2008)
    Texto en actas de congreso
    Acceso abierto
    Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic method for synthesis of re-reading ACMs is ...

  • Visual semantic re-ranker for text spotting 

    Sabir, Ahmed; Moreno-Noguer, Francesc; Padró, Lluís (2018)
    Texto en actas de congreso
    Acceso abierto
    Many current state-of-the-art methods for text recognition are based on purely local information and ignore the semantic corre- lation between text and its surrounding visual context. In this paper, we propose a post-processing ...

  • Using contextual information in music playlist recommendations 

    Gkatzioura, Anna; Sànchez-Marrè, Miquel (IOSPress, 2017)
    Capítulo de libro
    Acceso abierto
    Recommender Systems have become a fundamental part of various applications supporting users when searching for items they could be interested in,at a given moment. However, the majority of Recommender ...

  • Bridging modularity and optimality: delay-insensitive interfacing in asynchronous circuits synthesis 

    Saito, Hiroshi; Kondratyev, Alex; Cortadella, Jordi; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1999)
    Texto en actas de congreso
    Acceso abierto
    Two trends are of major concern for digital circuit designers: the relative increase of interconnect delays with respect to gate delays and the demand for design reuse. Both pose difficult problems to synchronous design ...

  • Verification of timed circuits with symbolic delays 

    Clarisó Viladrosa, Robert; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2004)
    Texto en actas de congreso
    Acceso abierto
    Verifying timed circuits is a complex problem even when the delays of the system are fixed. This paper deals with a more challenging problem, the formal verification of timed circuits with unspecified delays represented ...

  • A general model for performance optimization of sequential systems 

    Bufistov, Dmitry; Cortadella, Jordi; Kishinevsky, Michael; Sapatnekar, Sachin S. (Institute of Electrical and Electronics Engineers (IEEE), 2007)
    Texto en actas de congreso
    Acceso abierto
    Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, different models that provide exact solutions have already ...

  • Automatic microarchitectural pipelining 

    Galcerán Oms, Marc; Cortadella, Jordi; Bufistov, Dmitry; Kishinevsky, Michael (Institute of Electrical and Electronics Engineers (IEEE), 2010)
    Texto en actas de congreso
    Acceso abierto
    This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct transformations including conversion to a synchronous ...

  • Performance optimization of elastic systems using buffer resizing and buffer insertion 

    Bufistov, Dmitry; Julvez Bueno, Jorge Emilio; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2008)
    Texto en actas de congreso
    Acceso abierto
    Buffer resizing and buffer insertion are two transformation techniques for the performance optimization of elastic systems. Different approaches for each technique have already been proposed in the literature. Both techniques ...

  • Depth map repairing for building reconstruction 

    Andújar Gran, Carlos Antonio; Argudo Medrano, Óscar; Besora Vilardaga, Isaac; Brunet Crossa, Pere; Chica Calaf, Antonio; Comino Trinidad, Marc (European Association for Computer Graphics (Eurographics), 2018)
    Texto en actas de congreso
    Acceso abierto
    Structure-from-motion along with multi-view stereo techniques jointly allow for the inexpensive scanning of 3D objects (e.g. buildings) using just a collection of images taken from commodity cameras. Despite major advances ...

  • OpenReq-DD: A requirements dependency detection tool 

    Motger de la Encarnación, Joaquim; Borrull Baraut, Ricard; Palomares Bonache, Cristina; Marco Gómez, Jordi (CEUR-WS.org, 2019)
    Comunicación de congreso
    Acceso abierto
    Requirements Engineering (RE) is one of the most critical phases insoftware development. Analyzing requirements data is a laborious taskperformed by expert stakeholders using manual processes, as there areno ...

Muestra más