Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 49
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 49 de 49 resultats
 
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets

     Roig, O.; Cortadella, J.; Pastor, E.
    Data de publicació: 1995-06-01
    Capítol de llibre
    Imatge
  • STRUCTURAL ALGORITHMS FOR THE SYNTHESIS OF SPEED-INDEPENDENT CIRCUITS FROM...

     Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.
    Data: 1995-05
    Document cientificotècnic
  • Cover Approximations for the Synthesis of Speed-Independent Circuits

     Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.
    International Workshop on Logic and Architecture Synthesis
    p. 150-159
    Presentació treball a congrés
  • Checking signal transition graph implementability by symbolic bdd traversal

     Kondratyev, A.; Cortadella, J.; Kishinevsky, M.; Pastor, E.; Roig, O.; Yakovlev, A.
    European Design and Automation Conference
    p. 325-332
    Presentació treball a congrés
  • Hierarchical Gate-Level Verification of Speed-Independent Circuits

     Roig, O.; Cortadella, J.; Pastor, E.
    Second Working Conference on Asynchronous Design Methodologies
    p. 128-137
    Presentació treball a congrés
  • HIERARCHICAL GATE-LEVEL VERIFICATION OF SPEED-INDEPENDENT CIRCUITS

     Roig, O.; Cortadella, J.; Pastor, E.
    Data: 1995-01
    Document cientificotècnic
  • A New Look at the Conditions for the Synthesis of Speed-independent Circuits

     Pastor, E.; Cortadella, J.; Roig, O.
    ACM Great Lakes Symposium on VLSI
    p. 230-235
    Presentació treball a congrés
  • Verification of asynchronous circuits by bdd-based model checking of petri nets

     Roig, O.; Cortadella, J.; Pastor, E.
    International Conference on Application and Theory of Petri Nets
    p. 374-391
    Presentació treball a congrés
  • ANALYSIS OF PETRI NETS WITH BOOLEAN MANIPULATION

     Pastor, E.; Roig, O.; Cortadella, J.; Badia, R.M.
    Data de publicació: 1994-06-01
    Capítol de llibre
    Imatge
  • The exc model: scheduler-activations on mach 3.0

     Roig, O.; Pastor, E.; Cortadella, J.
    SEVENTH IAESTED INTERNATIONAL CONFERENCE.
    p. 307-312
    Presentació treball a congrés
  • Polynomial algorithms for the synthesis of hazard-free circuits from Signal Transition Graphs

     Pastor, E.; Cortadella, J.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 250-254
    Presentació treball a congrés
  • An Efficient Unique State Coding Algorithm for Signal Transition Graphs

     Pastor, E.; Cortadella, J.
    IEEE International Conference on Computer Design
    p. 174-177
    Presentació treball a congrés
  • TRISC. DISEÑO DE UN PROCESADOR RISC DE 32 BITS

     Pastor, E.; Roig, O.; Cortadella, J.
    Data: 1992-10
    Document cientificotècnic