Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Accés obert

1 a 6 de 6 resultats
 
  • The octahedron abstract domain  Accés obert

     Clarisó, R.; Cortadella, J.
    International Static Analysis Symposium
    p. 312-327
    DOI: 10.1007/978-3-540-27864-1_23
    Data de presentació: 2004-08
    Presentació treball a congrés
    Carregant...
    Accés al text complet
  • Boolean decomposition using two-literal divisors  Accés obert

     Modi, N.; Cortadella, J.
    IEEE International Conference on VLSI Design
    p. 765-768
    DOI: 10.1109/ICVD.2004.1261022
    Data de presentació: 2004
    Presentació treball a congrés
    Carregant...
    Accés al text complet
  • Coping with the variability of combinational logic delays  Accés obert

     Cortadella, J.; Kondratyev, A.; Lavagno, L.; Sotiriou, C. P.
    IEEE International Conference on Computer Design: VLSI in Computers and Processors
    p. 505-508
    DOI: 10.1109/ICCD.2004.1347969
    Presentació treball a congrés
    Carregant...
    Accés al text complet
  • From synchronous to asynchronous: an automatic approach  Accés obert

     Cortadella, J.; Kondratyev, A.; Lavagno, L.; Lwin, K.; Sotiriou, C. P.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 1368-1369
    DOI: 10.1109/DATE.2004.1269092
    Data de presentació: 2004
    Presentació treball a congrés
    Carregant...
    Accés al text complet
  • Verification of timed circuits with symbolic delays  Accés obert

     Clarisó, R.; Cortadella, J.
    Asia and South Pacific Design Automation Conference
    p. 628-633
    DOI: 10.1109/ASPDAC.2004.1337668
    Data de presentació: 2004
    Presentació treball a congrés
    Carregant...
    Accés al text complet
  • Handshake protocols for de-synchronization  Accés obert

     Blunno, I.; Cortadella, J.; Kondratyev, A.; Lavagno, L.; Lwin, K.; Sotiriou, C. P.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 149-158
    DOI: 10.1109/ASYNC.2004.1299296
    Presentació treball a congrés
    Carregant...
    Accés al text complet