ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
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.
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.
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.
Col·leccions
-
Articles de revista [154]
-
Reports de recerca [93]
Enviaments recents
-
Working-zone encoding for reducing the energy in microprocessor address buses
(1998-12)
Article
Accés obertThe 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
(1998-11)
Article
Accés obertAsynchronous 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
(Institute of Electrical and Electronics Engineers (IEEE), 1998-08)
Article
Accés obertThis 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
(1997-08)
Article
Accés obertState 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
(2014-10-01)
Article
Accés obertWith 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
(2012)
Article
Accés obertOver 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
(Universitat de Barcelona. Edicions i Publicacions, 2006)
Text en actes de congrés
Accés obertDue 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
(2005-03)
Report de recerca
Accés obertThumbnails 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
(2005-03)
Report de recerca
Accés obertIn 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
(2001-06)
Report de recerca
Accés obertWe 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
(Institute of Electrical and Electronics Engineers (IEEE), 1994-08)
Article
Accés obertThe 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
(Institute of Electrical and Electronics Engineers (IEEE), 1992-11)
Article
Accés obertThe 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 ...
RSS 1.0