PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Rivista  ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 16 di 16
Citazione Data di pubblicazione Autori File
A cosimulation methodology for HW/SW validation and performance estimation / Fummi, F; Loghi, Mirko; Poncino, Massimo; Pravadelli, G.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 14:2(2009), pp. 23-1-23-32. [10.1145/1497561.1497566] 1-gen-2009 LOGHI, MIRKOPONCINO, MASSIMO + -
Approximate energy-efficient encoding for serial interfaces / JAHIER PAGLIARI, Daniele; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 22:4(2017), pp. 1-25. [10.1145/3041220] 1-gen-2017 JAHIER PAGLIARI, DANIELEMACII, EnricoPONCINO, MASSIMO main.pdf; 3041220.pdf
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3:(1998), pp. 309-340. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 13:1(2008). [10.1145/1297666.1297669] 1-gen-2008 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano -
A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors / Vinco, Sara; Bombieri, Nicola; JAHIER PAGLIARI, Daniele; Fummi, Franco; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - STAMPA. - 24:3(2019), pp. 1-23. [10.1145/3308565] 1-gen-2019 SARA VINCOBOMBIERI, NICOLADANIELE JAHIER PAGLIARIFRANCO FUMMIENRICO MACIIMASSIMO PONCINO main.pdf; 3308565(1).pdf
EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards / Benso, Alfredo; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - STAMPA. - 5:4(1998), pp. 626-634. [10.1145/296333.296351] 1-gen-1998 BENSO, AlfredoPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo 1998-TODAES-EXFI-AuthorVersion.pdf
Initializability Analysis of Synchronous Sequential Circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 7:2(2002), pp. 249-264. [10.1145/544536.544538] 1-gen-2002 CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni -
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications / Bombieri, Nicola; Fummi, Franco; Vinco, Sara. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 20:3(2015), pp. 1-26. [10.1145/2720019] 1-gen-2015 VINCO, SARA + main.pdf; a36-bombieri.pdf
Modeling reactive systems in java / Passerone, C.; Lavagno, Luciano; Sansoe', Claudio; Martin, J; Passerone, R.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3(4):(1998), pp. 515-523. 1-gen-1998 PASSERONE C.LAVAGNO, LucianoSANSOE', Claudio + -
NBTI-Aware Clustered Power Gating / Calimera, Andrea; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - (2010), pp. 3-1-3-25. [10.1145/1870109.1870112] 1-gen-2010 CALIMERA, ANDREAMACII, EnricoPONCINO, MASSIMO -
Power Optimization of Technology-Dependent Circuits Based on Symbolic Computation of Logic Implications / Bahar, I.; Lampe, E.; Macii, Enrico. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 5:(2000), pp. 267-293. [10.1145/348019.348028] 1-gen-2000 MACII, Enrico + -
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques / Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 15:2(2010), pp. 12:1-12:34. [10.1145/1698759.1698762] 1-gen-2010 CABODI, GianpieroLAVAGNO, LucianoMURCIANO, MARCO + -
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchronous Controllers / Benini, L.; DE MICHELI, G.; Macii, Enrico; Poncino, M.; Scarsi, R.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 4:(1999), pp. 351-375. [10.1145/323480.323482] 1-gen-1999 MACII, EnricoPONCINO M. + -
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchrounous Controllers / Benini, L.; DE MICHELI, G.; Macii, E.; Poncino, Massimo; Scarsi, R.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 4:(1999). 1-gen-1999 MACII E.PONCINO, MASSIMO + -
SystemC-AMS thermal modeling for the co-simulation of functional and extra-functional properties / Chen, Yukai; Vinco, Sara; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 24:4(2019), pp. 1-26. [10.1145/3267125] 1-gen-2019 YUKAI CHENSARA VINCOENRICO MACIIMASSIMO PONCINO main.pdf; 3267125.pdf
Thread-based multi-engine model checking for multicore platforms / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 18:3(2013), pp. 1-28. [10.1145/2491477.2491480] 1-gen-2013 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Mostrati risultati da 1 a 16 di 16
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile