El grup de recerca ALBCOM uneix 19 reconeguts recercaires en Mètodes Formals; Disseny, Automatització i Verificació de VLSI; Algorismes i Complexitat; Bioinformàtica (veure http://albcom.cs.upc.edu/ per més detalls). La recerca que es realitza a ALBCOM té un important prestigi en la comunitat científica internacional, degut a la qualitat de la seva recerca, com mostren les seves publicacions, i a l'activitat en projectes de recerca i de transferència de tecnologia amb empreses i institucions del sector.

http://futur.upc.edu/ALBCOM

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

http://futur.upc.edu/ALBCOM

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

http://futur.upc.edu/ALBCOM

Enviaments recents

  • Working-zone encoding for reducing the energy in microprocessor address buses 

    Musoll Cinca, Enric; Lang, Tomás; Cortadella, Jordi (1998-12)
    Article
    Accés obert
    The energy consumption due to input-output pins is a substantial part of the overall chip consumption. To reduce this energy, this work presents the working-zone encoding (WZE) method for encoding an external address bus, ...
  • Structural methods for the synthesis of speed-independent circuits 

    Pastor Llorens, Enric; Cortadella, Jordi; Kondratyev, Alex; Roig Mansilla, Oriol (1998-11)
    Article
    Accés obert
    Asynchronous circuits can be modeled as concurrent systems in which events are interpreted as signal transitions. The synthesis of concurrent systems implies the analysis of a vast state space that often requires computationally ...
  • Deriving Petri nets from finite transition systems 

    Cortadella, Jordi; Kishinevsky, Michael; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1998-08)
    Article
    Accés obert
    This paper presents a novel method to derive a Petri net from any specification model that can be mapped into a state-based representation with arcs labeled with symbols from an alphabet of events (a Transition System, ...
  • A region-based theory for state assignment in speed-independent circuits 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (1997-08)
    Article
    Accés obert
    State assignment problems still need satisfactory solutions to make asynchronous circuit synthesis more practical. A well-known example of such a problem is that of complete state coding (CSC), which happens when a pair ...
  • Parallel programming paradigms and frameworks in big data era 

    Dobre, Ciprian M.; Xhafa Xhafa, Fatos (2014-10-01)
    Article
    Accés obert
    With Cloud Computing emerging as a promising new approach for ad-hoc parallel data processing, major companies have started to integrate frameworks for parallel data processing in their product portfolio, making it easy ...
  • Meta-scheduling issues in interoperable HPCs, grids and clouds 

    Bessis, Nik; Sotiriadis, Stelios; Xhafa Xhafa, Fatos; Pop, Florin; Cristea, Valentin (2012)
    Article
    Accés obert
    Over the last years, interoperability among resources has been emerged as one of the most challenging research topics. However, the commonality of the complexity of the architectures (e.g., heterogeneity) and the targets ...
  • Introducing semi-open learning/teaching into fundamental programming subjects 

    Xhafa Xhafa, Fatos; Marco Gómez, Jordi; Vázquez Alcocer, Pere Pau (Universitat de Barcelona. Edicions i Publicacions, 2006)
    Text en actes de congrés
    Accés obert
    Due to the development of Internet applications, semi-open learning is increasingly being introduced into traditional face-to-face learning and teaching. In several engineering degrees many subjects are developed using a ...
  • Refinement by browsing: an alternative to thumbnails 

    Gabarró Vallès, Joaquim; Vallejo, Isabel; Xhafa Xhafa, Fatos; Stewart, Alan; Clint, Maurice (2005-03)
    Report de recerca
    Accés obert
    Thumbnails are widely used in image retrieval and browsing systems. The use of such images compacts information. However, in situations where there are a large number of images on a server site, the use of thumbnails may ...
  • On Berners-Lee computer, hints on navigability semantics and lack of referential integrity 

    Gabarró Vallès, Joaquim; Vallejo, Isabel; Xhafa Xhafa, Fatos (2005-03)
    Report de recerca
    Accés obert
    In this paper we deal with semantics issues related to the stability, navigability and extensibility of web applications. To this end, we define a web application as a deterministic labelled transition system in which ...
  • A skeleton for the Tabu search metaheuristic with applications to problems in software engineering 

    Blesa Aguilera, Maria Josep; Xhafa Xhafa, Fatos (2001-06)
    Report de recerca
    Accés obert
    We present a C++ implementation of a skeleton for Tabu Search method. Tabu Search method is a well-known meta-heuristic that has proved successful for sub-optimally solving hard combinatorial optimization problems. Recently ...
  • High-radix division and square-root with speculation 

    Cortadella, Jordi; Lang Korpel, Thomas (Institute of Electrical and Electronics Engineers (IEEE), 1994-08)
    Article
    Accés obert
    The speed of high-radix digit-recurrence dividers and square-root units is mainly determined by the complexity of the result-digit selection. We present a scheme in which a simpler function speculates the result digit, ...
  • Evaluation of A+B=K conditions without carry propagation 

    Cortadella, Jordi; Llaberia Griñó, José M. (Institute of Electrical and Electronics Engineers (IEEE), 1992-11)
    Article
    Accés obert
    The response time of parallel adders is mainly determined by the carry propagation delay. The evaluation of conditions of the type A+B=K is addressed. Although an addition is involved in the comparison, it is shown that ...

Mostra'n més