Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 99
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)
  • Sanchez Charles, David
    (fins 2015-12-01)

Producció científica

1 a 50 de 99 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
  • 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
  • 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
    Accés al text complet
  • 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 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.
    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 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
  • 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
  • Symbolic Petri Net Analysis Using Boolean Manipulation

     Pastor, E.; Roig, O.; Cortadella, J.
    Data: 1997-02
    Document cientificotècnic
  • 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
  • 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
  • A mathematical formulation of the loop pipelining problem

     Cortadella, J.; Badia, R.M.; Sanchez, F.
    Conference on Design of Circuits and Integrated Systems
    Data de presentació: 1996-11-20
    Presentació treball a congrés
  • PARTIAL ORDER BASED APPROACH TO SYNTHESIS OF SPEED-INDEPENDENT CIRCUITS

     Semenov, A.; Yakovlev, A.; Pastor, E.; Peña, M.; Cortadella, J.
    Data: 1996-10
    Document cientificotècnic
  • Synthesis of Speed Independent Circuits from STG-unf ding Segment

     Semenov, A.; Yakovlev, A.; Pastor, E.; Peña, M.; Cortadella, J.
    Data: 1996-10
    Document cientificotècnic
  • RESIS: A New Methodology for register Optimization in Software Pipelining

     Sanchez, F.; Cortadella, J.
    International European Conference on Parallel and Distributed Computing
    p. 824-832
    Data de presentació: 1996-08
    Presentació treball a congrés
  • Resis: a new methodology for register optimization in software pipelining

     Sanchez, F.; Cortadella, J.
    Lecture notes in computer science
    Vol. 1124, num. 2, p. 824-832
    Data de publicació: 1996-08
    Article en revista
  • Optimal Exploration of the Unrolling Degree for Software Pipelining

     Sanchez, F.; Cortadella, J.; Badia, R.M.
    Data: 1996-07
    Document cientificotècnic
  • OSP: Optimal Software Pipelining with Minimum Register Pressure

     Badia, R.M.; Sanchez, F.; Cortadella, J.
    Data: 1996-06
    Document cientificotècnic
  • MÈTODES ESTRUCTURALS PER A LA SÍNTESIS DE...  Activitat premiada

     Pastor, E.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • LOOP PIPELINING WITH RESOURCE AND TIMING CONST...

     Sanchez, F.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Maximum-Throughput Software Pipelining

     Sanchez, F.; Cortadella, J.
    Second International Conference Massively Parallel Computing Systems-MPCS'96
    p. 464-471
    Presentació treball a congrés
  • Structural Methods for the Synthesis of Speed-Independent Circuits

     Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.
    European Design & Test Conference ED&TC 96
    p. 340-347
    Presentació treball a congrés
  • A mathematical formulation of the loop pipelining problem

     Cortadella, J.; Badia, R.M.; Sanchez, F.
    Conference on Design of Circuits and Integrated Systems
    p. 335-360
    Presentació treball a congrés
  • Efficient synthesis of speed-independent circuits from the STG structure

     Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.
    Acid-Wg Workshop
    p. 1-29
    Presentació treball a congrés
  • Synthesis of speed-independent circuits from STG-unfolding segment

     Pastor, E.; Peña, M.; Cortadella, J.; Semenov, A.; Yakovlev, A.
    Acid-Wg Workshop
    Presentació treball a congrés
  • Time-Constrained Loop Pipelining

     Sanchez, F.; Cortadella, J.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 592-596
    Data de presentació: 1995-11
    Presentació treball a congrés
  • A mathematical formulation of the loop pipelining problem

     Cortadella, J.; Badia, R.M.; Sanchez, F.
    Data: 1995-10
    Document cientificotècnic