Enrico Macii Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthik Duraisami, Enrico Macii, Massimo Poncino: Using soft-edge flip-flops to compensate NBTI-induced delay degradation. ACM Great Lakes Symposium on VLSI 2009: 169-172
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calimera, Enrico Macii, Massimo Poncino: NBTI-aware sleep transistor design for reliable power-gating. ACM Great Lakes Symposium on VLSI 2009: 333-338
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Antonio Pullini, Luca Benini, Giovanni De Micheli, Enrico Macii: Physically clustered forward body biasing for variability compensation in nanometer CMOS design. DATE 2009: 154-159
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeticia Maria Veiras Bolzani, Andrea Calimera, Alberto Macii, Enrico Macii, Massimo Poncino: Enabling concurrent clock and power gating in an industrial design flow. DATE 2009: 334-339
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calimera, Enrico Macii, Massimo Poncino: NBTI-aware power gating for concurrent leakage and aging optimization. ISLPED 2009: 127-132
2008
176no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay Narayanan, Zhiyuan Yan, Enrico Macii, Sanjukta Bhanja: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008 ACM 2008
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Antonio Pullini, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Optimal sleep transistor synthesis under timing and area constraints. ACM Great Lakes Symposium on VLSI 2008: 177-182
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthik Duraisami, Enrico Macii, Massimo Poncino: Energy efficiency bounds of pulse-encoded buses. ACM Great Lakes Symposium on VLSI 2008: 183-188
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calimera, Enrico Macii, Massimo Poncino, R. Iris Bahar: Temperature-insensitive synthesis using multi-vt libraries. ACM Great Lakes Symposium on VLSI 2008: 5-10
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanta Di Cataldo, Elisa Ficarra, Andrea Acquaviva, Enrico Macii: Segmentation of nuclei in cancer tissue images: Contrasting active contours with morphology-based approach. BIBE 2008: 1-6
171no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanta Di Cataldo, Elisa Ficarra, Enrico Macii: Fully-Automated Segmentation of Tumor Areas in Tissue Confocal Images - Comparison between a Custom Unsupervised and a Supervised SVM Approach. BIOSIGNALS (1) 2008: 116-123
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanta Di Cataldo, Elisa Ficarra, Enrico Macii: Automated Discrimination of Pathological Regions in Tissue Images: Unsupervised Clustering vs. Supervised SVM Classification. BIOSTEC (Selected Papers) 2008: 344-356
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Antonio Pullini, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: A Scalable Algorithmic Framework for Row-Based Power-Gating. DATE 2008: 379-384
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBonesi Stefano, Davide Bertozzi, Luca Benini, Enrico Macii: Process Variation Tolerant Pipeline Design Through a Placement-Aware Multiple Voltage Island Design Style. DATE 2008: 967-972
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calimera, Luca Benini, Enrico Macii: Optimal MTCMOS Reactivation Under Power Supply Noise and Performance Constraints. DATE 2008: 973-978
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Leticia Maria Veiras Bolzani, Andrea Calimera, Alberto Macii, Massimo Poncino: Integrating Clock Gating and Power Gating for Combined Dynamic and Leakage Power Optimization in Digital CMOS Circuits. DSD 2008: 298-303
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Andrea Calimera, Antonio Pullini, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: On quantifying the figures of merit of power-gating for leakage power minimization in nanometer CMOS circuits. ISCAS 2008: 2761-2764
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calimera, R. Iris Bahar, Enrico Macii, Massimo Poncino: Reducing leakage power by accounting for temperature inversion dependence in dual-Vt synthesized circuits. ISLPED 2008: 217-220
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Multiple power-gating domain (multi-VGND) architecture for improved leakage power reduction. ISLPED 2008: 51-56
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Temporal Discharge Current Driven Clustering for Improved Leakage Power Reduction in Row-Based Power-Gating. PATMOS 2008: 42-51
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Karthik Duraisami, Ashoka Visweswara Sathanur, Prassanna Sithambaram, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Dynamic Thermal Clock Skew Compensation Using Tunable Delay Buffers. IEEE Trans. VLSI Syst. 16(6): 639-649 (2008)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii: Editorial. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 1-2 (2008)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Karthik Duraisami, Ashoka Visweswara Sathanur, Prassanna Sithambaram, Alberto Macii, Enrico Macii, Massimo Poncino: Implementation of a thermal management unit for canceling temperature-dependent clock skew variations. Integration 41(1): 2-8 (2008)
2007
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007 ACM 2007
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calimera, Antonio Pullini, Ashoka Visweswara Sathanur, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Design of a family of sleep transistor cells for a clustered power-gating flow in 65nm technology. ACM Great Lakes Symposium on VLSI 2007: 501-504
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena Baralis, Elisa Ficarra, Alessandro Fiori, Enrico Macii: Gene-Markers Representation for Microarray Data Integration. BIBE 2007: 1056-1060
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanta Di Cataldo, Elisa Ficarra, Enrico Macii: Selection of Tumor Areas and Segmentation of Nuclear Membranes in Tissue Confocal Images: A Fully Automated Approach. BIBM 2007: 390-398
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis: Early Power-Aware Design & Validation: Myth or Reality? DAC 2007: 210-211
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Andrea Calimera, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Interactive presentation: Efficient computation of discharge current upper bounds for clustered sleep transistor sizing. DATE 2007: 1544-1549
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Golubeva, Mirko Loghi, Massimo Poncino, Enrico Macii: Architectural leakage-aware management of partitioned scratchpad memories. DATE 2007: 1665-1670
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthik Duraisami, Prassanna Sithambaram, Ashoka Visweswara Sathanur, Alberto Macii, Enrico Macii, Massimo Poncino: Design Exploration of a Thermal Management Unit for Dynamic Control of Temperature-Induced Clock Skew. ISCAS 2007: 1061-1064
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshoka Visweswara Sathanur, Antonio Pullini, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Timing-driven row-based power gating. ISLPED 2007: 104-109
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimone Medardoni, Davide Bertozzi, Enrico Macii: Power-optimal RTL arithmetic unit soft-macro selection strategy for leakage-sensitive technologies. ISLPED 2007: 159-164
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Golubeva, Mirko Loghi, Enrico Macii, Massimo Poncino: Locality-driven architectural cache sub-banking for leakage energy reduction. ISLPED 2007: 274-279
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrassanna Sithambaram, Alberto Macii, Enrico Macii: New Adaptive Encoding Schemes for Switching Activity Balancing in On-Chip Buses. PATMOS 2007: 232-241
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii: Editorial. IEEE Trans. on CAD of Integrated Circuits and Systems 26(1): 1 (2007)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo de Veciana, Marcello Lajolo, Chen He, Enrico Macii, Sachin S. Sapatnekar: In Memoriam: Margarida F. Jacome. IEEE Trans. on CAD of Integrated Circuits and Systems 26(9): 1549-1550 (2007)
2006
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Luca Benini, Enrico Macii, Massimo Poncino: STV-Cache: a leakage energy-efficient architecture for data caches. ACM Great Lakes Symposium on VLSI 2006: 404-409
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Ficarra, Enrico Macii, Giovanni De Micheli, Luca Benini: Computer-Aided Evaluation of Protein Expression in Pathological Tissue Images. CBMS 2006: 413-418
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massoud Pedram, Dirk Friebel, Robert C. Aitken, Antun Domic, Roberto Zafalon: Low-power design tools: are EDA vendors taking this matter seriously? DATE 2006: 1227
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Prassanna Sithambaram, Karthik Duraisami, Alberto Macii, Enrico Macii, Massimo Poncino: Thermal resilient bounded-skew clock tree optimization methodology. DATE 2006: 832-837
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Luca Benini, Alberto Macii, Enrico Macii: Enabling fine-grain leakage management by voltage anchor insertion. DATE 2006: 868-873
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Karthik Duraisami, Ashoka Visweswara Sathanur, Prassanna Sithambaram, Alberto Macii, Enrico Macii, Massimo Poncino: Implications of ultra low-voltage devices on design techniques for controlling leakage in NanoCMOS circuits. ISCAS 2006
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Nurrachmat, Enrico Macii, Massimo Poncino: Low-energy pixel approximation for DVI-based LCD interfaces. ISCAS 2006
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Nardini, Daniele Masotti, Sungroh Yoon, Enrico Macii, Michael D. Kuo, Giovanni De Micheli, Luca Benini: Mining Gene Sets for Measuring Similarities. ISCC 2006: 227-232
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Karthik Duraisami, Ashoka Visweswara Sathanur, Prassanna Sithambaram, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Dynamic thermal clock skew compensation using tunable delay buffers. ISLPED 2006: 162-167
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Karthik Duraisami, Ashoka Visweswara Sathanur, Prassanna Sithambaram, Alberto Macii, Enrico Macii, Massimo Poncino: Dynamic Management of Thermally-Induced Clock Skew: An Implementation Perspective. PATMOS 2006: 214-224
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Luca Benini, Enrico Macii, Massimo Poncino: Reducing Conflict Misses by Application-Specific Reconfigurable Indexing. IEEE Trans. on CAD of Integrated Circuits and Systems 25(12): 2626-2637 (2006)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Masotti, Elisa Ficarra, Enrico Macii, Luca Benini: Optimized Technique for Dna Structural Properties Discovering. International Journal on Artificial Intelligence Tools 15(5): 695-710 (2006)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLabros Bisdounis, Spyros Blionas, Enrico Macii, Spiridon Nikolaidis, Roberto Zafalon: Implementation Strategy and Results of an Energy-Aware System-on-Chip for 5 GHz WLAN Applications. J. Low Power Electronics 2(1): 18-26 (2006)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Enrico Macii, Massimo Poncino, Luca Benini: Energy-Efficient Value Based Selective Refresh for Embedded DRAMS. J. Low Power Electronics 2(1): 70-79 (2006)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Rossi, Daniele Masotti, Christine Nardini, Elena Bonora, Giovanni Romeo, Enrico Macii, Luca Benini, Stefano Volinia: TOM: a web-based integrated approach for identification of candidate disease genes. Nucleic Acids Research 34(Web-Server-Issue): 285-292 (2006)
2005
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Luca Benini, Alberto Macii, Enrico Macii: Low-overhead state-retaining elements for low-leakage MTCMOS design. ACM Great Lakes Symposium on VLSI 2005: 367-370
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrassanna Sithambaram, Alberto Macii, Enrico Macii: Exploring the impact of architectural parameters on energy efficiency of application-specific block-enabled SRAMs. ACM Great Lakes Symposium on VLSI 2005: 377-380
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Enrico Macii, Massimo Poncino: Zero clustering: an approach to extend zero compression to instruction caches. ACM Great Lakes Symposium on VLSI 2005: 56-59
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndi Nourrachmat, Sabino Salerno, Enrico Macii, Massimo Poncino: Energy-Efficient Color Approximation for Digital LCD Interfaces. ICCD 2005: 81-86
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Enrico Macii, Massimo Poncino: Frame Buffer Energy Optimization by Pixel Prediction. ICCD 2005: 98-101
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLabros Bisdounis, Spyros Blionas, Enrico Macii, Spiridon Nikolaidis, Roberto Zafalon: Energy-Aware System-on-Chip for 5 GHz Wireless LANs. PATMOS 2005: 166-176
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Chakraborty, Enrico Macii, Massimo Poncino: Exploiting Cross-Channel Correlation for Energy-Efficient LCD Bus Encoding. PATMOS 2005: 297-307
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Luca Benini, Enrico Macii, Massimo Poncino: Energy-Efficient Value-Based Selective Refresh for Embedded DRAMs. PATMOS 2005: 466-476
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrassanna Sithambaram, Alberto Macii, Enrico Macii: Design and Implementation of a Memory Generator for Low-Energy Application-Specific Block-Enabled SRAMs. PATMOS 2005: 477-487
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Luca Benini, Enrico Macii: A scalable algorithm for RTL insertion of gated clocks based on ODCs computation. IEEE Trans. on CAD of Integrated Circuits and Systems 24(1): 29-42 (2005)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Ficarra, Luca Benini, Enrico Macii, Giampaolo Zuccheri: Automated DNA fragments recognition and sizing through AFM image processing. IEEE Transactions on Information Technology in Biomedicine 9(4): 508-517 (2005)
2004
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Odysseas G. Koufopavlou, Vassilis Paliouras: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings Springer 2004
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bocca, Sabino Salerno, Enrico Macii, Massimo Poncino: Energy-efficient bus encoding for LCD displays. ACM Great Lakes Symposium on VLSI 2004: 240-243
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Masotti, Elisa Ficarra, Enrico Macii, Luca Benini: Techniques for Enhancing Computation of DNA Curvature Molecules. BIBE 2004: 22-29
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Luca Benini, Enrico Macii: A Scalable ODC-Based Algorithm for RTL Insertion of Gated Clocks. DATE 2004: 500-505
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alessandro Ivaldi, Alberto Macii, Enrico Macii: Block-Enabled Memory Macros: Design Space Exploration and Application-Specific Tuning. DATE 2004: 698-699
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Enrico Macii, Massimo Poncino: Synthesis of Partitioned Shared Memory Architectures for Energy-Efficient Multi-Processor SoC. DATE 2004: 700-701
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Luca Benini, Enrico Macii: Sizing and Characterization of Leakage-Control Cells for Layout-Aware Distributed Power-Gating. DATE 2004: 720-723
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Enrico Macii, Luca Benini, Massimo Poncino: Reducing cache misses by application-specific re-configurable indexing. ICCAD 2004: 125-130
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKimish Patel, Enrico Macii, Massimo Poncino: Energy-performance tradeoffs for the shared memory in multi-processor systems-on-chip. ISCAS (2) 2004: 361-364
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabino Salerno, Enrico Macii, Massimo Poncino: Crosstalk energy reduction by temporal shielding. ISCAS (2) 2004: 749-752
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Luca Benini, Alberto Macii, Enrico Macii: Post-layout leakage power minimization based on distributed sleep transistor insertion. ISLPED 2004: 138-143
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabino Salerno, Alberto Bocca, Enrico Macii, Massimo Poncino: Limited intra-word transition codes: an energy-efficient bus encoding for LCD display interfaces. ISLPED 2004: 206-211
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Donno, Enrico Macii, Luca Mazzoni: Power-aware clock tree planning. ISPD 2004: 138-147
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabino Salerno, Enrico Macii, Massimo Poncino: A Low-Power Encoding Scheme for GigaByte Video Interfaces. PATMOS 2004: 58-68
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii: RTL power estimation and optimization. SBCCI 2004: 1
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii: Leakage power optimization in standard-cell designs. SBCCI 2004: 7
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Davide Bruni, Alberto Macii, Enrico Macii: Memory energy minimization by data compression: algorithms, architectures and implementation. IEEE Trans. VLSI Syst. 12(3): 255-268 (2004)
2003
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Juan-Chico, Enrico Macii: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings Springer 2003
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Elvira Omerbegovic, Massimo Poncino, Fabrizio Pro: A novel architecture for power maskable arithmetic units. ACM Great Lakes Symposium on VLSI 2003: 136-140
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massimo Poncino, Sabino Salerno: Combining wire swapping and spacing for low-power deep-submicron buses. ACM Great Lakes Symposium on VLSI 2003: 198-202
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Elvira Omerbegovic, Fabrizio Pro, Massimo Poncino: Energy-aware design techniques for differential power analysis protection. DAC 2003: 36-41
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Donno, Alessandro Ivaldi, Luca Benini, Enrico Macii: Clock-tree power optimization based on RTL clock-gating. DAC 2003: 622-627
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Macii, Enrico Macii, Massimo Poncino: Improving the Efficiency of Memory Partitioning by Address Clustering. DATE 2003: 10018-10023
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Macii, Enrico Macii, Fabrizio Crudo, Roberto Zafalon: A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors. DATE 2003: 10024-10029
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Macii, Enrico Macii, Massimo Poncino: Increasing the locality of memory access patterns by low-overhead hardware address relocation. ISCAS (5) 2003: 385-388
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Angelo Galati, Alberto Macii, Enrico Macii, Massimo Poncino: Energy-efficient data scrambling on memory-processor interfaces. ISLPED 2003: 26-29
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Davide Bruni, Alberto Macii, Enrico Macii: Hardw are Implementation of Data Compression Algorithms for Memory Energy Optimization. ISVLSI 2003: 250-251
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Arts, N. van der Eng, Marc J. M. Heijligers, H. Munk, Frans Theeuwen, Luca Benini, Enrico Macii, A. Milia, Roberto Maro, A. Bellu: Statistical Power Estimation of Behavioral Descriptions. PATMOS 2003: 197-207
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Davide Bruni, Alberto Macii, Enrico Macii, Massimo Poncino: Discharge Current Steering for Battery Lifetime Optimization. IEEE Trans. Computers 52(8): 985-995 (2003)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Scheduling battery usage in mobile systems. IEEE Trans. VLSI Syst. 11(6): 1136-1143 (2003)
2002
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Donno, Luca Macchiarulo, Alberto Macii, Enrico Macii, Massimo Poncino: Enhanced clustered voltage scaling for low power. ACM Great Lakes Symposium on VLSI 2002: 18-23
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Macchiarulo, Enrico Macii, Massimo Poncino: Wire Placement for Crosstalk Energy Minimization in Address Buses. DATE 2002: 158-162
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Davide Bruni, Alberto Macii, Enrico Macii: Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors. DATE 2002: 449-450
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Davide Bruni, Bruno Riccò, Alberto Macii, Enrico Macii: An adaptive data compression scheme for memory traffic minimization in processor-based systems. ISCAS (4) 2002: 866-869
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Discharge current steering for battery lifetime optimization. ISLPED 2002: 118-123
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii: Offline Data Profiling Techniques to Enhance Memory Compression in Embedded Systems. PATMOS 2002: 314-322
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Ingrid Verbauwhede: Guest editorial: low-power electronics and design. IEEE Trans. VLSI Syst. 10(2): 69-70 (2002)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Minimizing memory access energy in embedded systems by selective instruction compression. IEEE Trans. VLSI Syst. 10(5): 521-531 (2002)
2001
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Vivek De, Mary Jane Irwin: Proceedings of the 2001 International Symposium on Low Power Electronics and Design, 2001, Huntington Beach, California, USA, 2001 ACM 2001
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Luca Macchiarulo, Alberto Macii, Enrico Macii, Massimo Poncino: From Architecture to Layout: Partitioned Memory Synthesis for Embedded Systems-on-Chip. DAC 2001: 784-789
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giuliano Castelli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Extending lifetime of portable systems by battery scheduling. DATE 2001: 197-203
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Macchiarulo, Luca Benini, Enrico Macii: On-the-fly layout generation for PTL macrocells. DATE 2001: 546-551
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Macchiarulo, Enrico Macii, Massimo Poncino: Low-energy for deep-submicron address buses. ISLPED 2001: 176-181
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii: Guest Editor's Introduction: Dynamic Power Management of Electronic Systems. IEEE Design & Test of Computers 18(2): 6-9 (2001)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Kruse, Eike Schmidt, Gerd Jochens, Ansgar Stammermann, Arne Schulz, Enrico Macii, Wolfgang Nebel: Estimation of lower and upper bounds on the power consumption from scheduled data flow graphs. IEEE Trans. VLSI Syst. 9(1): 3-14 (2001)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Stream synthesis for efficient power simulation based on spectral transforms. IEEE Trans. VLSI Syst. 9(3): 417-426 (2001)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giuliano Castelli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Discrete-time battery models for system-level low-power design. IEEE Trans. VLSI Syst. 9(5): 630-640 (2001)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino: Parameterized RTL power models for soft macros. IEEE Trans. VLSI Syst. 9(6): 880-887 (2001)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino: Synthesis of power-managed sequential components based oncomputational kernel extraction. IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1118-1131 (2001)
2000
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Blaauw, Christian C. Enz, Thaddeus Gabara, Enrico Macii: Proceedings of the 2000 International Symposium on Low Power Electronics and Design, 2000, Rapallo, Italy, July 25-27, 2000 ACM 2000
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alessandro Bogliolo, Enrico Macii, Massimo Poncino, Mihai Surmei: Regression-based RTL power models for controllers. ACM Great Lakes Symposium on VLSI 2000: 147-152
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Marco Ferrero, Alberto Macii, Enrico Macii, Massimo Poncino: Supporting system-level power exploration for DSP applications. ACM Great Lakes Symposium on VLSI 2000: 17-22
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Synthesis of application-specific memories for power optimization in embedded systems. DAC 2000: 300-303
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giuliano Castelli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: A Discrete-Time Battery Model for High-Level Power Estimation. DATE 2000: 35-
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Zafalon, Massimo Rossello, Enrico Macii, Massimo Poncino: Power Macromodeling for a High Quality RT-Level Power Estimation. ISQED 2000: 59-
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giuliano Castelli, Alberto Macii, Enrico Macii, Riccardo Scarsi: Battery-Driven Dynamic Power Management of Portable Systems. ISSS 2000: 25-33
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Bogliolo, Enrico Macii, Virgil Mihailovici, Massimo Poncino: Power Models for Semi-autonomous RTL Macros. PATMOS 2000: 14-23
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCrina Anton, Pierluigi Civera, Ionel Colonescu, Enrico Macii, Massimo Poncino, Alessandro Bogliolo: RTL Estimation of Steering Logic Power. PATMOS 2000: 36-46
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, Ernest T. Lampe, Enrico Macii: Power optimization of technology-dependent circuits based on symbolic computation of logic implications. ACM Trans. Design Autom. Electr. Syst. 5(3): 267-293 (2000)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Increasing Energy Efficiency of Embedded Systems by Application-Specific Memory Hierarchy Generation. IEEE Design & Test of Computers 17(2): 74-85 (2000)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Glitch power minimization by selective gate freezing. IEEE Trans. VLSI Syst. 8(3): 287-298 (2000)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi: A multilevel engine for fast power simulation of realistic inputstreams. IEEE Trans. on CAD of Integrated Circuits and Systems 19(4): 459-472 (2000)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto: Symbolic optimization of interacting controllers based onredundancy identification and removal. IEEE Trans. on CAD of Integrated Circuits and Systems 19(7): 760-772 (2000)
1999
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses. DAC 1999: 128-133
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Giuseppe Odasso, Massimo Poncino: Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms. DAC 1999: 247-252
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Glitch Power Minimization by Gate Freezing. DATE 1999: 163-167
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Region Compression: A New Scheme for Memory Energy Minimization in Embedded Systems. EUROMICRO 1999: 1311-1317
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Macii, Enrico Macii, Giuseppe Odasso, Massimo Poncino, Riccardo Scarsi: Regression-Based Macromodeling for Delay Estimation of Behavioral Components. Great Lakes Symposium on VLSI 1999: 188-191
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Corgnati, Enrico Macii, Massimo Poncino: Clustered Table-Based Macromodels for RTL Power Estimation. Great Lakes Symposium on VLSI 1999: 354-357
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino: Parameterized RTL power models for combinational soft macros. ICCAD 1999: 284-288
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Alberto Macii, Enrico Macii, Massimo Poncino: Selective instruction compression for memory energy reduction in embedded systems. ISLPED 1999: 206-211
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Symbolic synthesis of clock-gating logic for power optimization of synchronous controllers. ACM Trans. Design Autom. Electr. Syst. 4(4): 351-375 (1999)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino: Automatic Synthesis of Large Telescopic Units Based on Near-Minimum Timed Supersetting. IEEE Trans. Computers 48(8): 769-779 (1999)
1998
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalakrishna Kumthekar, Luca Benini, Enrico Macii, Fabio Somenzi: In-Place Power Optimization for LUT-Based FPGAs. DAC 1998: 718-721
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino: Computational Kernels and their Application to Sequential Power Optimization. DAC 1998: 764-769
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino: Power Estimation of Behavioral Descriptions. DATE 1998: 762-766
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Donatella Sciuto, Enrico Macii, Cristina Silvano: Address Bus Encoding Techniques for System-Level Power Optimization. DATE 1998: 861-
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino: Timed Supersetting and the Synthesis of Telescopic Units. Great Lakes Symposium on VLSI 1998: 331-337
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino: Reducing Power Consumption of Dedicated Processors Through Instruction Set Encoding. Great Lakes Symposium on VLSI 1998: 8-12
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Ferrandi, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi, Fabio Somenzi: Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits. ICCAD 1998: 235-241
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Stream synthesis for efficient power simulation based on spectral transforms. ISLPED 1998: 30-35
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer: Power optimization of core-based systems by address bus encoding. IEEE Trans. VLSI Syst. 6(4): 554-562 (1998)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massoud Pedram, Fabio Somenzi: High-level power modeling, estimation, and optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1061-1079 (1998)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Enrico Macii, Massimo Poncino, Giovanni De Micheli: Telescopic units: a new paradigm for performance optimization of VLSI designs. IEEE Trans. on CAD of Integrated Circuits and Systems 17(3): 220-232 (1998)
1997
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Enrico Macii, Massimo Poncino: Telescopic Units: Increasing the Average Throughput of Pipelined Designs by Adaptive Latency Control. DAC 1997: 22-27
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massoud Pedram, Fabio Somenzi: High-Level Power Modeling, Estimation, and Optimization. DAC 1997: 504-511
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks. ED&TC 1997: 514-520
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Lioy, Enrico Macii, Massimo Poncino, Massimo Rossello: Accurate Entropy Calculation for Large Logic Circuits Based on Output Clustering. Great Lakes Symposium on VLSI 1997: 70-
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Donatella Sciuto, Cristina Silvano: Asymptotic Zero-Transition Activity Encoding for Address Busses in Low-Power Microprocessor-Based Systems. Great Lakes Symposium on VLSI 1997: 77-82
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi: Fast power estimation for deterministic input streams. ICCAD 1997: 494-501
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer: System-level power optimization of special purpose applications: the beach solution. ISLPED 1997: 24-29
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic Decision Diagrams and Their Applications. Formal Methods in System Design 10(2/3): 171-206 (1997)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Ferrandi, Franco Fummi, Donatella Sciuto, Enrico Macii, Massimo Poncino: Testing Core-Based Systems: A Symbolic Methodology. IEEE Design & Test of Computers 14(4): 69-77 (1997)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1101-1115 (1997)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Bernard Plessier, Fabio Somenzi: Formal verification of digital systems by automatic reduction of data paths. IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1136-1156 (1997)
1996
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto: Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. DAC 1996: 467-470
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massimo Poncino: Exact Computation of the Entropy of a Logic Circuit. Great Lakes Symposium on VLSI 1996: 162-167
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto: Test Generation for Networks of Interacting FSMs Using Symbolic Techniques. Great Lakes Symposium on VLSI 1996: 208-213
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich: Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi: Symbolic computation of logic implications for technology-dependent low-power synthesis. ISLPED 1996: 163-168
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: Automatic state space decomposition for approximate FSM traversal based on circuit analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1451-1464 (1996)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi: Algorithms for approximate FSM traversal based on state space decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1465-1478 (1996)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Markovian analysis of large finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1479-1493 (1996)
1995
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino: Computing the Maximum Power Cycles of a Sequential Circuit. DAC 1995: 23-28
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massimo Poncino: Predicting the functional complexity of combinational circuits by symbolic spectral analysis of Boolean functions. EURO-DAC 1995: 294-299
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massimo Poncino: Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions. Great Lakes Symposium on VLSI 1995: 112-
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massimo Poncino: Estimating worst-case power consumption of CMOS circuits modeled as symbolic neural networks. Great Lakes Symposium on VLSI 1995: 60-65
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Massimo Poncino: Using connectivity and spectral methods to characterize the structure of sequential logic circuits. Microprocessing and Microprogramming 41(7): 487-500 (1995)
1994
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Probabilistic Analysis of Large Finite State Machines. DAC 1994: 270-275
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: A State Space Decomposition Algorithm for Approximate FSM Traversal. EDAC-ETC-EUROASIC 1994: 137-141
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC-ETC-EUROASIC 1994: 214-218
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: Timing Analysis of Combinational Circuits using ADD's. EDAC-ETC-EUROASIC 1994: 625-629
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: A symbolic method to reduce power consumption of circuits containing false paths. ICCAD 1994: 368-371
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. ICCD 1994: 236-239
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Angelo R. Meo: A test generation program for sequential circuits. J. Electronic Testing 5(1): 115-119 (1994)
1993
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi: Algorithms for Approximate FSM Traversal. DAC 1993: 25-30
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic decision diagrams and their applications. ICCAD 1993: 188-191
1992
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Macii, Bernard Plessier, Fabio Somenzi: Verification of systems containing counters. ICCAD 1992: 179-182

Coauthor Index

1Andrea Acquaviva [172]
2Robert C. Aitken (Rob Aitken) [142]
3Crina Anton [61]
4B. Arts [91]
5Pietro Babighian [108] [112] [115] [120] [129] [140]
6R. Iris Bahar [2] [6] [7] [15] [19] [25] [27] [60] [164] [173]
7Elena Baralis [156]
8A. Bellu [91]
9Luca Benini [28] [29] [30] [32] [34] [35] [37] [40] [41] [42] [44] [45] [46] [47] [48] [52] [53] [54] [55] [57] [58] [59] [63] [65] [66] [67] [68] [70] [72] [77] [78] [79] [81] [83] [84] [85] [86] [89] [90] [91] [92] [93] [97] [98] [100] [102] [108] [111] [112] [114] [115] [116] [119] [120] [122] [129] [130] [131] [133] [134] [136] [137] [140] [143] [144] [150] [153] [157] [161] [162] [163] [165] [167] [168] [169] [175] [179]
10Davide Bertozzi [149] [168]
11Sanjukta Bhanja [176]
12Labros Bisdounis [124] [132]
13David Blaauw (David T. Blaauw) [69]
14Spyros Blionas [124] [132]
15Alberto Bocca [107] [117]
16Alessandro Bogliolo [49] [61] [62] [68] [71]
17Leticia Maria Veiras Bolzani [166] [178]
18Elena Bonora [130]
19Davide Bruni [85] [86] [90] [92] [102]
20M. Burns [19]
21Gianpiero Cabodi [20]
22Andrea Calimera [153] [157] [164] [165] [166] [167] [173] [177] [178] [180]
23Paolo Camurati [20]
24Giuliano Castelli [63] [65] [72] [78]
25Santa Di Cataldo [155] [170] [171] [172]
26Ashutosh Chakraborty [123] [135] [136] [139] [141] [159] [161]
27Hyunwoo Cho [3] [5] [7] [9] [17] [18] [25]
28Pierluigi Civera [61]
29Gerd von Cölln (Gerd Jochens) [74]
30Ionel Colonescu [61]
31Roberto Corgnati [49] [50] [71]
32Fabrizio Crudo [95]
33Steve Curtis [154]
34Vivek De [80]
35Antun Domic [142]
36Monica Donno [88] [97] [106]
37Karthik Duraisami [135] [136] [139] [141] [151] [159] [161] [174] [181]
38N. van der Eng [91]
39Christian C. Enz [69]
40Fabrizio Ferrandi [21] [23] [26] [39] [43] [56]
41Marco Ferrero [67]
42Elisa Ficarra [116] [119] [133] [143] [155] [156] [170] [171] [172]
43Alessandro Fiori [156]
44Dirk Friebel [142]
45Erica A. Frohm [2] [27]
46Franco Fummi [21] [23] [26] [43] [56]
47Thaddeus Gabara [69]
48Angelo Galati [93]
49Charles M. Gaona [2] [27]
50Olga Golubeva [148] [152]
51Gary D. Hachtel [2] [3] [5] [6] [7] [8] [9] [10] [15] [16] [17] [18] [19] [25] [27]
52Chen He [145]
53Marc J. M. Heijligers [91]
54Mary Jane Irwin [80]
55Alessandro Ivaldi [97] [114]
56Jorge Juan-Chico [101]
57Gila Kamhi [154]
58Juergen Karmann [154]
59Stephen V. Kosonocky [154]
60Odysseas G. Koufopavlou [118]
61Lars Kruse [74]
62Balakrishna Kumthekar [45]
63Michael D. Kuo [137]
64Marcello Lajolo [145]
65Ernest T. Lampe [60]
66Luciano Lavagno [20]
67Antonio Lioy [31] [41] [44] [46] [70]
68Mirko Loghi [148] [152]
69Luca Macchiarulo [76] [77] [79] [87] [88]
70Alberto Macii [38] [39] [40] [48] [51] [52] [53] [55] [58] [59] [63] [65] [66] [67] [72] [73] [78] [79] [81] [83] [84] [85] [86] [88] [89] [90] [92] [93] [94] [95] [96] [98] [100] [102] [108] [114] [121] [128] [129] [135] [136] [139] [140] [141] [147] [150] [151] [153] [157] [159] [161] [162] [163] [165] [166] [169] [175] [178]
71Srilatha Manne [15]
72Roberto Maro [91]
73Daniele Masotti [116] [130] [133] [137]
74Yehia Massoud [158]
75Luca Mazzoni [106]
76Simone Medardoni [149]
77Stephen Bailey Mentor [154]
78Angelo R. Meo [4]
79Giovanni De Micheli [28] [29] [30] [32] [35] [37] [40] [41] [42] [44] [46] [47] [53] [54] [57] [58] [70] [137] [143] [179]
80Virgil Mihailovici [62]
81A. Milia [91]
82Sarah Miller [154]
83H. Munk [91]
84Vijay Narayanan [176]
85Christine Nardini [130] [137]
86Wolfgang Nebel [74] [154]
87Spiridon Nikolaidis [124] [132]
88Andi Nourrachmat [126]
89A. Nurrachmat [138]
90Giuseppe Odasso [41] [44] [46] [51] [54] [70]
91Elvira Omerbegovic [98] [100]
92Vassilis Paliouras [118]
93Abelardo Pardo [2] [8] [10] [15] [16] [27]
94Kimish Patel [110] [111] [113] [122] [125] [127] [131] [134] [144]
95Massoud Pedram [33] [36] [142]
96Bernard Plessier [1] [3] [17] [24]
97Massimo Poncino [5] [9] [11] [12] [13] [14] [15] [18] [20] [21] [22] [23] [26] [28] [29] [31] [32] [34] [35] [37] [38] [39] [40] [41] [43] [44] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [61] [62] [64] [65] [66] [67] [68] [70] [71] [72] [73] [76] [78] [79] [81] [84] [87] [88] [89] [90] [93] [94] [96] [98] [99] [100] [105] [107] [109] [110] [111] [113] [117] [122] [123] [125] [126] [127] [131] [134] [135] [136] [138] [139] [141] [144] [148] [150] [151] [152] [153] [157] [159] [161] [162] [163] [164] [165] [166] [169] [173] [174] [175] [177] [178] [180] [181]
98Fabrizio Pro [98] [100]
99Antonio Pullini [150] [157] [165] [169] [175] [179]
100Stefano Quer [20] [28] [37]
101Bruno Riccò [85]
102Giovanni Romeo [130]
103Massimo Rossello [31] [64]
104Simona Rossi [130]
105Sabino Salerno [99] [105] [107] [109] [117] [126]
106Sachin S. Sapatnekar [145]
107Ashoka Visweswara Sathanur [135] [136] [139] [150] [151] [153] [157] [159] [161] [162] [163] [165] [169] [175] [179]
108Riccardo Scarsi [29] [32] [38] [39] [47] [51] [53] [55] [57] [58] [63] [65] [72] [73] [78] [89]
109Eike Schmidt [74]
110Arne Schulz [74]
111Donatella Sciuto [21] [23] [26] [30] [42] [56]
112Ellen Sentovich (Ellen M. Sentovich) [20]
113H. Shin [19]
114Cristina Silvano [30] [42]
115Prassanna Sithambaram [121] [128] [135] [136] [139] [141] [147] [151] [159] [161]
116Fabio Somenzi [1] [2] [3] [5] [6] [7] [8] [9] [10] [15] [16] [17] [18] [19] [24] [25] [27] [33] [36] [39] [45]
117Ansgar Stammermann [74]
118Bonesi Stefano [168]
119Mihai Surmei [68]
120Frans Theeuwen [91]
121Gustavo de Veciana [145]
122Ingrid Verbauwhede [82]
123Stefano Volinia [130]
124Y. C. Wong [154]
125Zhiyuan Yan [158] [176]
126Sungroh Yoon [137]
127Roberto Zafalon [64] [95] [124] [132] [142]
128Hai Zhou [158]
129Giampaolo Zuccheri [119]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)