Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 214
Tipus
Grup de recerca
Tipus de grup
Grup de recerca UPC
Acrònim
ALBCOM
Adreça
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Obrir en finestra nova
Localitat
Barcelona
URL
http://albcom.cs.upc.edu Obrir en finestra nova
Objectius
L'objectiu del grup és la producció de contribucions rellevants en les àrees d'expertesa dels components del grup i la seva disseminació en revistes i conferències internacionals de prestigi reconegut. És voluntat del grup que les contribucions tinguin un impacte significatiu a llarg termini. La transferència de tecnologia és considerada com una conseqüència de l'excel·lència en la recerca i s'ha de portar a terme com un mitjà per incrementar l'impacte dels resultats, obtenir recursos per al grup i explorar nous temes per a la recerca en el futur.
Paraules clau
Algorismes, Combinatòria, Complexitat, Especificació, Estructures de dades, Genòmica, Grafs, Sistemes VLSI, Verificació.
Completa aquestes dades (només responsables)
  • Cases Muñoz, Rafel
    (fins 2011-05-31)
  • Clariso Viladrosa, Robert
    (fins 2003-01-31)
  • Clerici Martinez, Silvia Ines
    (fins 2014-12-31)
  • Costa Gorgônio, Kyller
    (fins 2006-09-30)
  • De San Pedro Martín, Javier
    (fins 2016-09-30)
  • Frances Medina, Guillem
    (fins 2009-06-14)
  • Frias Moya, Leonor
    (fins 2010-06-13)
  • Galceran Oms, Marc
    (fins 2010-06-30)
  • Garcia Chacon, Alina
    (fins 2007-04-30)
  • Gascon Caro, Adrian
    (fins 2013-07-31)
  • Gel Moreno, Bernat
    (fins 2010-12-31)
  • Gimenez Llach, Omer
    (fins 2010-10-31)
  • Hernandez Pibernat, Hugo
    (fins 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (fins 2008-09-28)
  • Maneva, Elitza Nikolaeva
    (fins 2009-11-05)
  • Meng, Jiangtao
    (fins 2005-10-15)
  • Muñoz Gama, Jorge
    (fins 2015-02-28)
  • Ochremiak, Joanna Regina
    (fins 2016-08-15)
  • Oliva Valls, Sergi
    (fins 2012-08-31)
  • Perez Gimenez, Xavier
    (fins 2003-08-31)
  • Roca Perez, Antoni
    (fins 2016-11-30)

Producció científica

1 a 50 de 214 resultats
 
  • Worker ranking determination in crowdsourcing platforms using aggregation functions  Accés obert

     Sanchez, D.; Nin, J.; Solé, M.; Muntés, V.
    IEEE International Conference on Fuzzy Systems
    p. 1801-1808
    DOI: 10.1109/FUZZ-IEEE.2014.6891807
    Data de presentació: 2014-07
    Presentació treball a congrés
    Accés al text complet
  • Detecció de frau a plataformes de/'CrowdSourcing/'

     Nin, J.; Larriba, J.; Carmona, J.
    Projecte R+D+I competitiu
  • Gestió i Anàlisi de Dades Complexes

     Gavaldà, R.; Balcazar, J. L.; Morrill, G.; Castro, J.; Delgado, J.; Sierra-Santibáñez, J.; Arias, M.; Arratia, A.; Baixeries, J.; Ferrer-i-Cancho, R.; Valentin Fernandez, J.; Hernandez Fernandez, A.; Larriba, J.; Perez-Casany, M.; Prat, A.; Guisado, J.; Martinez, X.; Duarte-López, A.
    Projecte R+D+I competitiu
  • Secure communication setup for a P2P-based JXTA-overlay platform

     Arnedo, J.; Matsuo, K.; Barolli, L.; Xhafa, F.
    IEEE transactions on industrial electronics
    Vol. 58, num. 6, p. 2086-2096
    DOI: 10.1109/TIE.2010.2047831
    Data de publicació: 2011-06
    Article en revista
  • Programació pràctica en C++

     Gatius, M.; Lopez, J.; Martin, A.; Romero, O.; Valverde, A.; Xhafa, F.; Esquerra, I.; Amirian, G.
    Data de publicació: 2010-02
    Llibre
    Imatge
  • Diagnóstico de la Igualdad de Oportunidades en la Universitat Politènica de Catalunya

     Martinez, C.; Lusa, A.; Calvet, M.; Gallego, M.I.; Pons, O.; Tura, M.
    VI Congreso Iberoamericano de Ciencia, Tecnología y Género
    p. 1
    Presentació treball a congrés
  • Pure Nash equilibria in games with a large number of actions

     Alvarez, C.; Gabarro, J.; Serna, M.
    Electronic colloquium on computational complexity
    Vol. 12, num. 31, p. 1-13
    Data de publicació: 2005-03
    Article en revista
  • Resource-Constrained Software Pipelining for High-level Synthesis of DSP Systems

     Sanchez, F.; Cortadella, J.
    International Workshop on Algorithms and Parallel VLSI Architectures
    p. 377-388
    Data de presentació: 2004-08
    Presentació treball a congrés
  • Exploring Interaction Behaviour and Performance of Online Collaborative Learning Teams

     Daradoumis, T.; Xhafa, F.; Marques, J.
    Lecture notes in computer science
    Vol. 2806, p. 126-134
    Data de publicació: 2003-09
    Article en revista
  • Relative Timing Based Verification of Concurrent Systems  Accés obert

     Peña, M.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Synthesis of Reactive Systems: Application to Asynchronous Circuit Design

     Carmona, J.; Cortadella, J.; Pastor, E.
    Data de publicació: 2002-11-30
    Capítol de llibre
    Imatge
  • A structural encoding technique for the synthesis of asynchronous circuits

     Carmona, J.; Cortadella, J.; Pastor, E.
    Fundamenta informaticae
    Vol. 50, num. 2, p. 135-154
    Data de publicació: 2002-03
    Article en revista
  • A Case Study for the Verification of Complex Timed Circuits: IPCMOS

     Peña, M.; Cortadella, J.; Pastor, E.; Alexander, S.; Smirnov, A.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 44-51
    Presentació treball a congrés
  • Symbolic Analysis of Bounded Petri Nets

     Pastor, E.; Cortadella, J.; Roig, O.
    IEEE transactions on computers
    Vol. 50, num. 5, p. 432-448
    Data de publicació: 2001-05
    Article en revista
  • A Structural Encoding Technique for the synthesis of Asynchronous Circuits

     Carmona, J.; Cortadella, J.; Pastor, E.
    International Conference on Application of Concurrency in System Design
    p. 157-166
    Presentació treball a congrés
  • A structural encoding technique for the synthesis of asynchronous circuits  Accés obert

     Carmona, J.; Cortadella, J.; Pastor, E.
    Data: 2000-12
    Document cientificotècnic
    Accés al text complet
  • Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pastor, E.; Yakovlev, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 18, num. 9, p. 1221-1236
    Data de publicació: 2000-09
    Article en revista
  • Formal Verification of Safety Properties in Timed Circuits

     Peña, M.; Cortadella, J.; Pastor, E.
    International Symposium on Advanced Research in Asynchronous Circuits and Systems
    p. 2-11
    Presentació treball a congrés
  • Formal Verification of Safety Properties in Timed Transition Systems

     Peña, M.; Cortadella, J.; Pastor, E.
    ACID-WG/EXACT WORKSHOP
    p. 160-188
    Presentació treball a congrés
  • Formal Verification of Safety Properties in Timed Circuits

     Peña, M.; Cortadella, J.; Pastor, E.
    Data: 1999-10
    Document cientificotècnic
  • Optimal Exploration of the Unrolling Degree in Software Pipelining

     Sanchez, F.; Cortadella, J.; Badia, R.M.
    Journal of systems architecture
    Vol. 45, num. 6-7, p. 505-517
    Data de publicació: 1999-01
    Article en revista
  • A Symbolic Technique for the Efficient ATPG of Speed-Independent Circuits

     Peña, M.; Pastor, E.; Cortadella, J.
    DCIS'99 - XIV Design of Circuits and Integrated Systems Conference
    p. 295-300
    Presentació treball a congrés
  • Structural Methods to Improve the Symbolic Analysis of Petri Nets

     Pastor, E.; Cortadella, J.; Peña, M.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 26-45
    Presentació treball a congrés
  • Structural Methods for the Synthesis of Speed-Independent Circuits

     Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 17, num. 11, p. 1108-1129
    Data de publicació: 1998-11
    Article en revista
  • Reducing Register Pressure in Software Pipelining

     Sanchez, F.; Cortadella, J.
    Journal of information science and engineering
    Vol. 14, num. 1, p. 265-279
    Data de publicació: 1998-03
    Article en revista
  • Efficient Encoding Schemes for Symbolic Analysis of Petri Nets

     Pastor, E.; Cortadella, J.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 790-795
    Presentació treball a congrés
  • Structural Methods Applied to the Symbolic Analysis of Petri Nets

     Pastor, E.; Cortadella, J.
    International Workshop on Logic Synthesis
    p. 276-283
    Presentació treball a congrés
  • Reducing Register Pressure in Software Pipelining

     Sanchez, F.; Cortadella, J.
    Data: 1997-11
    Document cientificotècnic
  • Individual Flip-Flops with Gated Clocks for Low-Power Datapaths

     Lang, T.; Cortadella, J.
    IEEE transactions on circuits and systems II: express briefs
    Vol. 44, num. 6, p. 507-516
    Data de publicació: 1997-06
    Article en revista
  • Formal verification and testing of asynchronous circuits.

     Roig, O.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Quiescent Current Sensing

     Cornetta, G.; Cortadella, J.
    Data: 1997-05
    Document cientificotècnic
  • Transistor-Level Fault Detection Based on Power Consumption

     Cornetta, G.; Cortadella, J.
    Data: 1997-05
    Document cientificotècnic
  • Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pastor, E.; Alexandre, T.; Yakovlev, A.
    Data: 1997-05
    Document cientificotècnic
  • Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
    IEICE transactions on information and systems
    Vol. E80-D, num. 3, p. 315-325
    Data de publicació: 1997-03
    Article en revista
  • Logic synthesis techniques for embedded control code optimization

     Cortadella, J.; Sentovich, E.; Lavagno, L.
    Data: 1997-03
    Document cientificotècnic
  • Symbolic Petri Net Analysis Using Boolean Manipulation

     Pastor, E.; Roig, O.; Cortadella, J.
    Data: 1997-02
    Document cientificotècnic
  • Partial Order Based Approach to Synthesis of Speed-Independent Circuits

     Semenov, A.; Yakovlev, A.; Pastor, E.; Peña, M.; Cortadella, J.; Lavagno, L.
    International Symposium on Advanced Research in Asynchronous Circuits and Systems
    p. 254-265
    Presentació treball a congrés
  • Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis

     Kondratyev, A.; Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A.
    International Symposium on Advanced Research in Asynchronous Circuits and Systems
    p. 240-253
    Presentació treball a congrés
  • Technology mapping of Speed-Independent circuits based on combinational decomposition and resynthesis

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
    European Design and Test Conference (EDTC)
    p. 98-105
    Presentació treball a congrés
  • Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits

     Roig, O.; Cortadella, J.; Peña, M.; Pastor, E.
    Design Automation Conference
    p. 620-625
    Presentació treball a congrés
  • Synthesis of Speed-Independent Circuits from STG-unfolding Segment

     Semenov, A.; Yakovlev, A.; Pastor, E.; Peña, M.; Cortadella, J.
    Design Automation Conference
    p. 16-21
    Presentació treball a congrés
  • Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations

     Cortadella, J.; Pastor, E.; Yakovlev, A.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 220-227
    Presentació treball a congrés
  • Exploiting the locality of memory references to reduce the address bus energy

     MUSOLL, E.; Lang, T.; Cortadella, J.
    ACM/IEEE International Symposium on Low Power Electronics and Design
    p. 202-207
    Presentació treball a congrés