ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

 

El grup de recerca ALBCOM uneix 19 reconeguts investigadors en mètodes formals; disseny, automatització i verificació de VLSI; algorismes i complexitat; bioinformàtica (vegeu http://albcom.cs.upc.edu/ per a 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, tal 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

El grupo de investigación ALBCOM une 19 reconocidos investigadores en métodos formales; diseño, automatización y verificación de VLSI; algoritmos y complejidad; bioinformática (véase http://albcom.cs.upc.edu/ para más detalles). La investigación que se realiza a ALBCOM tiene un importante prestigio en la comunidad científica internacional, debido a la calidad de su investigación, tal como muestran sus publicaciones, y a la actividad en proyectos de investigación y de transferencia de tecnología con empresas e instituciones 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

  • Individual flip-flops with gated clocks for low power datapaths 

    Lang, Tomás; Cortadella, Jordi; Musoll Cinca, Enric (Institute of Electrical and Electronics Engineers (IEEE), 1997-06)
    Article
    Accés obert
    Energy consumption has become one of the important factors in digital systems, because of the requirement to dissipate this energy in high-density circuits and to extend the battery life in portable systems such as devices ...

  • Synthesizing Petri nets from state-based models 

    Cortadella, Jordi; Kishinevsky, Michael; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1995)
    Text en actes de congrés
    Accés obert
    This paper presents a method to synthesize labeled Petri nets from state-based models. Although state-based models (such as finite state machines) are a powerful formalism to describe the behavior of sequential systems, ...

  • Optimizing CMOS circuits for low power using transistor reordering 

    Musoll Cinca, Enric; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1996)
    Text en actes de congrés
    Accés obert
    This paper addresses the optimization of a circuit for low power using transistor reordering. The optimization algorithm relies on a stochastic model of a static CMOS gate that includes the power internal nodes of the gate. ...

  • Structural methods for the synthesis of speed-independent circuits 

    Pastor Llorens, Enric; Cortadella, Jordi; Kondratyev, Alex; Roig Mansilla, Oriol (Institute of Electrical and Electronics Engineers (IEEE), 1996)
    Text en actes de congrés
    Accés obert
    Most existing tools for the synthesis of asynchronous circuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper presents novel methods exclusively based ...

  • Complete state encoding based on the theory of regions 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1996)
    Text en actes de congrés
    Accés obert
    Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) and/or State Graphs (SGs) involves solving state coding problems. A well-known example of such problems is that of Complete State Coding (CSC), which ...

  • Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits 

    Peña Basurto, Marco Antonio; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1996)
    Text en actes de congrés
    Accés obert
    This paper presents a new methodology to automatically synthesize asynchronous circuits from descriptions based on process algebra. Traditionally, syntax-directed techniques have been used to generate a netlist of basic ...

  • Methodology and tools for state encoding in asynchronous circuit synthesis 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1996)
    Text en actes de congrés
    Accés obert
    This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that “behave uniformly” with respect to a given transition (value ...

  • RESIS: A new methodology for register optimization in software pipelining 

    Sánchez Carracedo, Fermín; Cortadella, Jordi (Springer, 1996)
    Text en actes de congrés
    Accés obert
    This paper presents a new technique to reduce the register pressure in pipelined schedules. A two-step approach is proposed: minimizing the SPAN of the loop and rearranging operations within a basic block. Experimental ...

  • Flujo de diseño asíncrono con la biblioteca DCVSL_LIB para ES2 ECPD10 

    Sintes, L; Escudero Acuña, Javier; Peña Basurto, Marco Antonio; Roig Mansilla, Oriol; Cortadella, Jordi; Carrabina Bordoll, Jordi (Omron, 1996)
    Text en actes de congrés
    Accés obert
    En el presente trabajo se pretende abordar la metodología a seguir durante el flujo de diseño de un circuito asíncrono orientado a prestaciones, utilizando la biblioteca DCVSL_LIB para aplicaciones asíncronas que hemos ...

  • Programación VLSI y síntesis de circuitos asíncronos mediante composición de redes de Petri 

    Peña Basurto, Marco Antonio; Cortadella, Jordi (1995)
    Text en actes de congrés
    Accés obert
    Tangram es un lenguaje de programación VLSI traducible automáticamente a redes de módulos asíncronos llamados componentes de sincronización. En este artículo se usan los Grafos de Transiciones de Señales (STGs) para describir ...

  • Data as a Service (DaaS) for sharing and processing of large data collections in the cloud 

    Terzo, Olivier; Ruiu, Pietro; Bucci, Enrico; Xhafa Xhafa, Fatos (Institute of Electrical and Electronics Engineers (IEEE), 2013)
    Text en actes de congrés
    Accés obert
    Data as a Service (DaaS) is among the latest kind of services being investigated in the Cloud computing community. The main aim of DaaS is to overcome limitations of state-of-the-art approaches in data technologies, according ...

  • Distributed-based massive processing of activity logs for efficient user modeling in a Virtual Campus 

    Caballé Llobet, Santiago; Xhafa Xhafa, Fatos (Kluwer Academic Publishers, 2013-12)
    Article
    Accés obert
    This paper reports on a multi-fold approach for the building of user models based on the identification of navigation patterns in a virtual campus, allowing for adapting the campus’ usability to the actual learners’ needs, ...

Mostra'n més