Archivio Istituzionale della RicercaSfoglia per Rivista ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
Power Optimization of Technology-Dependent Circuits Based on Symbolic Computation of Logic Implications
2000 Bahar, I.; Lampe, E.; Macii, Enrico
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques
2010 Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchronous Controllers
1999 Benini, L.; DE MICHELI, G.; Macii, Enrico; Poncino, M.; Scarsi, R.
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchrounous Controllers
1999 Benini, L.; DE MICHELI, G.; Macii, E.; Poncino, Massimo; Scarsi, R.
SystemC-AMS thermal modeling for the co-simulation of functional and extra-functional properties
2019 Chen, Yukai; Vinco, Sara; Macii, Enrico; Poncino, Massimo
Thread-based multi-engine model checking for multicore platforms
2013 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 | - |
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