default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca P. Carloni
◁ ▶ joint publications with coauthor community group 1
- > Home > Persons > Luca P. Carloni
Publications
- 2024
[c130]Yatin Gilhotra, Henry Overhauser, Heyu Yin, Eric H. Pollmann, Guy Eichler, Andrew Cheng, Taesung Jung, Nanyu Zeng, Luca P. Carloni, Kenneth L. Shepard:
A Wireless Subdural Optical Cortical Interface Device with 768 Co-Packaged Micro-LEDs for Fluorescence Imaging and Optogenetic Stimulation. CICC 2024: 1-2- [c129]Martin Cochet, Karthik Swaminathan, Erik Jens Loscalzo, Joseph Zuckerman, Maico Cassel dos Santos, Davide Giri, Alper Buyuktosunoglu, Tianyu Jia, David Brooks, Gu-Yeon Wei, Kenneth L. Shepard, Luca P. Carloni, Pradip Bose:
BlitzCoin: Fully Decentralized Hardware Power Management for Accelerator-Rich SoCs. ISCA 2024: 801-817 - [c128]Maico Cassel dos Santos, Tianyu Jia, Joseph Zuckerman, Martin Cochet, Davide Giri, Erik Jens Loscalzo, Karthik Swaminathan, Thierry Tambe, Jeff Jun Zhang, Alper Buyuktosunoglu, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca Piccolboni, Gabriele Tombesi, David Trilla, John-David Wellman, En-Yu Yang, Aporva Amarnath, Ying Jing, Bakshree Mishra, Joshua Park, Vignesh Suresh, Sarita V. Adve, Pradip Bose, David Brooks, Luca P. Carloni, Kenneth L. Shepard, Gu-Yeon Wei:
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration. ISSCC 2024: 262-264 - [i14]Joseph Zuckerman, John-David Wellman, Ajay Vanamali, Manish Shankar, Gabriele Tombesi, Karthik Swaminathan, Kevin Lee, Mohit Kapur, Robert Philhower, Pradip Bose, Luca P. Carloni:
Towards Generalized On-Chip Communication for Programmable Accelerators in Heterogeneous Architectures. CoRR abs/2407.04182 (2024) - 2023
- [j43]Gabriele Tombesi
, Joseph Zuckerman, Paolo Mantovani, Davide Giri, Maico Cassel dos Santos, Tianyu Jia, David Brooks, Gu-Yeon Wei, Luca P. Carloni:
SoCProbe: Compositional Post-Silicon Validation of Heterogeneous NoC-Based SoCs. IEEE Des. Test 40(6): 64-75 (2023) - [j42]Judicael Clair, Guy Eichler, Luca P. Carloni:
SpikeHard: Efficiency-Driven Neuromorphic Hardware for Heterogeneous Systems-on-Chip. ACM Trans. Embed. Comput. Syst. 22(5s): 106:1-106:22 (2023) - [c127]Fei Gao, Ting-Jung Chang, Ang Li, Marcelo Orenes-Vera, Davide Giri, Paul J. Jackson, August Ning, Georgios Tziantzioulis, Joseph Zuckerman, Jinzheng Tu, Kaifeng Xu, Grigory Chirkov, Gabriele Tombesi, Jonathan Balkind, Margaret Martonosi, Luca P. Carloni, David Wentzlaff:
DECADES: A 67mm2, 1.46TOPS, 55 Giga Cache-Coherent 64-bit RISC-V Instructions per second, Heterogeneous Manycore SoC with 109 Tiles including Accelerators, Intelligent Storage, and eFPGA in 12nm FinFET. CICC 2023: 1-2 - [c126]Kuan-Lin Chiu, Guy Eichler, Biruk B. Seyoum, Luca P. Carloni:
EigenEdge: Real-Time Software Execution at the Edge with RISC-V and Hardware Accelerators. CPS-IoT Week Workshops 2023: 209-214 - [c125]Biruk B. Seyoum, Davide Giri, Kuan-Lin Chiu, Bryce Natter, Luca P. Carloni:
PR-ESP: An Open-Source Platform for Design and Programming of Partially Reconfigurable SoCs. DATE 2023: 1-6 - [c124]Kuan-Lin Chiu, Davide Giri, Luca Piccolboni, Luca P. Carloni:
An Analysis of Accelerator Data-Transfer Modes in NoC-Based SoC Architectures. HPEC 2023: 1-7 - [c123]Guy Eichler, Biruk B. Seyoum, Kuan-Lin Chiu, Luca P. Carloni:
MindCrypt: The Brain as a Random Number Generator for SoC-Based Brain-Computer Interfaces. ICCD 2023: 70-77 - [c122]Thierry Tambe, Jeff Zhang, Coleman Hooper, Tianyu Jia, Paul N. Whatmough, Joseph Zuckerman, Maico Cassel dos Santos, Erik Jens Loscalzo, Davide Giri, Kenneth L. Shepard, Luca P. Carloni, Alexander M. Rush, David Brooks, Gu-Yeon Wei:
A 12nm 18.1TFLOPs/W Sparse Transformer Processor with Entropy-Based Early Exit, Mixed-Precision Predication and Fine-Grained Power Management. ISSCC 2023: 342-343 - [c121]Nanyu Zeng, Taesung Jung, Mohit Sharma, Guy Eichler, Jason D. Fabbri, R. James Cotton, Eleonora Spinazzi, Brett Youngerman, Luca P. Carloni, Kenneth L. Shepard:
A Wireless, Mechanically Flexible, 25μm-Thick, 65, 536-Channel Subdural Surface Recording and Stimulating Microelectrode Array with Integrated Antennas. VLSI Technology and Circuits 2023: 1-2 - 2022
- [j41]Luca Piccolboni, Davide Giri, Luca P. Carloni:
Accelerators & Security: The Socket Approach. IEEE Comput. Archit. Lett. 21(2): 65-68 (2022) - [c120]Biruk B. Seyoum, Davide Giri, Kuan-Lin Chiu, Luca P. Carloni:
Work-in-Progress: An Open-Source Platform for Design and Programming of Partially Reconfigurable Heterogeneous SoCs. CASES 2022: 25-26 - [c119]Tianyu Jia, Paolo Mantovani, Maico Cassel dos Santos, Davide Giri, Joseph Zuckerman, Erik Jens Loscalzo, Martin Cochet, Karthik Swaminathan, Gabriele Tombesi, Jeff Jun Zhang, Nandhini Chandramoorthy, John-David Wellman, Kevin Tien, Luca P. Carloni, Kenneth L. Shepard, David Brooks, Gu-Yeon Wei, Pradip Bose:
A 12nm Agile-Designed SoC for Swarm-Based Perception with Heterogeneous IP Blocks, a Reconfigurable Memory Hierarchy, and an 800MHz Multi-Plane NoC. ESSCIRC 2022: 269-272 - [c118]Maico Cassel dos Santos, Tianyu Jia, Martin Cochet, Karthik Swaminathan, Joseph Zuckerman, Paolo Mantovani, Davide Giri, Jeff Jun Zhang, Erik Jens Loscalzo, Gabriele Tombesi, Kevin Tien, Nandhini Chandramoorthy, John-David Wellman, David Brooks, Gu-Yeon Wei, Kenneth L. Shepard, Luca P. Carloni, Pradip Bose:
A Scalable Methodology for Agile Chip Development with Open-Source Hardware Components. ICCAD 2022: 20:1-20:9 - [i13]Joseph Zuckerman, Paolo Mantovani, Davide Giri, Luca P. Carloni:
Enabling Heterogeneous, Multicore SoC Research with RISC-V and ESP. CoRR abs/2206.01901 (2022) - [i12]David Xu, A. Baris Özgüler, Giuseppe Di Guglielmo, Nhan Tran, Gabriel N. Perdue, Luca P. Carloni, Farah Fahim:
Neural network accelerator for quantum control. CoRR abs/2208.02645 (2022) - 2021
- [j40]Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi:
DB4HLS: A Database of High-Level Synthesis Design Space Explorations. IEEE Embed. Syst. Lett. 13(4): 194-197 (2021) - [j39]Marco Ricci, Bernardita Stitic, Luca Urbinati, Giuseppe Di Guglielmo, Jorge A. Tobon Vasquez, Luca P. Carloni, Francesca Vipiana, Mario R. Casu:
Machine-Learning-Based Microwave Sensing: A Case Study for the Food Industry. IEEE J. Emerg. Sel. Topics Circuits Syst. 11(3): 503-514 (2021) - [j38]Davide Giri, Kuan-Lin Chiu, Guy Eichler, Paolo Mantovani, Luca P. Carloni:
Accelerator Integration for Open-Source SoC Design. IEEE Micro 41(4): 8-14 (2021) - [c117]Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra:
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. FMCAD 2021: 42-52 - [c116]Luca Piccolboni, Giuseppe Di Guglielmo, Simha Sethumadhavan, Luca P. Carloni:
HARDROID: Transparent Integration of Crypto Accelerators in Android. HPEC 2021: 1-8 - [c115]Matthew M. Ziegler, Jihye Kwon, Hung-Yi Liu, Luca P. Carloni:
Online and Offline Machine Learning for Industrial Design Flow Tuning: (Invited - ICCAD Special Session Paper). ICCAD 2021: 1-9 - [c114]Guy Eichler, Luca Piccolboni, Davide Giri, Luca P. Carloni:
MasterMind: Many-Accelerator SoC Architecture for Real-Time Brain-Computer Interfaces. ICCD 2021: 101-108 - [c113]Joseph Zuckerman, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca P. Carloni:
Cohmeleon: Learning-Based Orchestration of Accelerator Coherence in Heterogeneous SoCs. MICRO 2021: 350-365 - [c112]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan:
CRYLOGGER: Detecting Crypto Misuses Dynamically. SP 2021: 1972-1989 - [i11]Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi:
DB4HLS: A Database of High-Level Synthesis Design Space Explorations. CoRR abs/2101.00587 (2021) - [i10]Farah Fahim, Benjamin Hawks, Christian Herwig, James Hirschauer, Sergo Jindariani, Nhan Tran, Luca P. Carloni, Giuseppe Di Guglielmo, Philip C. Harris, Jeffrey D. Krupa, Dylan S. Rankin, Manuel Blanco Valentin, Josiah D. Hester, Yingyi Luo, John Mamish, Seda Ogrenci Memik, Thea Aarrestad, Hamza Javed, Vladimir Loncar, Maurizio Pierini, Adrian Alan Pol, Sioni Summers, Javier M. Duarte, Scott Hauck, Shih-Chieh Hsu, Jennifer Ngadiuba, Mia Liu, Duc Hoang, Edward Kreinar, Zhenbin Wu:
hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices. CoRR abs/2103.05579 (2021) - [i9]Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra:
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. CoRR abs/2108.06081 (2021) - [i8]Joseph Zuckerman, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca P. Carloni:
Cohmeleon: Learning-Based Orchestration of Accelerator Coherence in Heterogeneous SoCs. CoRR abs/2109.06382 (2021) - 2020
- [j37]Qixiang Cheng, Jihye Kwon, Madeleine Glick, Meisam Bahadori, Luca P. Carloni, Keren Bergman:
Silicon Photonics Codesign for Deep Learning. Proc. IEEE 108(8): 1261-1282 (2020) - [j36]Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi:
Leveraging Prior Knowledge for Effective Design-Space Exploration in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3736-3747 (2020) - [c111]Paolo Mantovani, Robert Margelli, Davide Giri, Luca P. Carloni:
HL5: A 32-bit RISC-V Processor Designed with High-Level Synthesis. CICC 2020: 1-8 - [c110]Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni:
ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. DATE 2020: 1049-1054 - [c109]Maarten Hattink, Giuseppe Di Guglielmo, Luca P. Carloni, Keren Bergman:
A Scalable Architecture for CNN Accelerators Leveraging High-Performance Memories. HPEC 2020: 1-6 - [c108]Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni:
Agile SoC Development with Open ESP : Invited Paper. ICCAD 2020: 96:1-96:9 - [c107]Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi:
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS 2020: 136-148 - [c106]Jihye Kwon, Luca P. Carloni:
Transfer Learning for Design-Space Exploration with High-Level Synthesis. MLCAD 2020: 163-168 - [i7]Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni:
ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. CoRR abs/2004.03640 (2020) - [i6]Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi:
The MosaicSim Simulator (Full Technical Report). CoRR abs/2004.07415 (2020) - [i5]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan:
CRYLOGGER: Detecting Crypto Misuses Dynamically. CoRR abs/2007.01061 (2020) - [i4]Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni:
Agile SoC Development with Open ESP. CoRR abs/2009.01178 (2020) - 2019
- [c104]Davide Giri, Paolo Mantovani, Luca P. Carloni:
Runtime reconfigurable memory hierarchy in embedded scalable platforms. ASP-DAC 2019: 719-726 - [c103]Jihye Kwon, Matthew M. Ziegler, Luca P. Carloni:
A Learning-Based Recommender System for Autotuning Design Flows of Industrial High-Performance Processors. DAC 2019: 218 - [c102]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. FMCAD 2019: 105-109 - [c101]Georgios Zacharopoulos, Lorenzo Ferretti, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi:
Compiler-Assisted Selection of Hardware Acceleration Candidates from Application Source Code. ICCD 2019: 129-137 - [c100]Kshitij Bhardwaj, Paolo Mantovani, Luca P. Carloni, Steven M. Nowick:
Towards a Complete Methodology for Synthesizing Bundled-Data Asynchronous Circuits on FPGAs. ISLPED 2019: 1-6 - [c99]Emilio G. Cota, Luca P. Carloni:
Cross-ISA machine instrumentation using fast and scalable dynamic binary translation. VEE 2019: 74-87 - [c98]Luca P. Carloni, Emilio G. Cota, Giuseppe Di Guglielmo, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca Piccolboni, Michele Petracca:
Teaching Heterogeneous Computing with System-Level Design Methods. WCAE@ISCA 2019: 4:1-4:8 - [i3]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
Securing Accelerators with Dynamic Information Flow Tracking. CoRR abs/1903.06801 (2019) - [i2]Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. CoRR abs/1912.10823 (2019) - [i1]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. CoRR abs/1912.11153 (2019) - 2018
- [j35]Davide Giri, Paolo Mantovani, Luca P. Carloni:
Accelerators and Coherence: An SoC Perspective. IEEE Micro 38(6): 36-45 (2018) - [j34]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2685-2696 (2018) - [c97]Christian Pilato, Luca P. Carloni:
DarkMem: Fine-grained power management of local memories for accelerators in embedded systems. ASP-DAC 2018: 696-701 - [c96]Christian Palmiero, Giuseppe Di Guglielmo, Luciano Lavagno, Luca P. Carloni:
Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications. HPEC 2018: 1-7 - [c95]Davide Giri, Paolo Mantovani, Luca P. Carloni:
NoC-Based Support of Heterogeneous Cache-Coherence Models for Accelerators. NOCS 2018: 1:1-1:8 - 2017
- [j33]Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(3): 435-448 (2017) - [j32]Daniele Jahier Pagliari, Mario R. Casu, Luca P. Carloni:
Accelerators for Breast Cancer Detection. ACM Trans. Embed. Comput. Syst. 16(3): 80:1-80:25 (2017) - [j31]Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. ACM Trans. Embed. Comput. Syst. 16(5s): 150:1-150:22 (2017) - [c94]Emilio G. Cota, Paolo Bonzini, Alex Bennée, Luca P. Carloni:
Cross-ISA machine emulation for multicores. CGO 2017: 210-220 - [c93]Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
Broadening the exploration of the accelerator design space in embedded scalable platforms. HPEC 2017: 1-7 - [c92]Young-Jin Yoon, Paolo Mantovani, Luca P. Carloni:
System-Level Design of Networks-on-Chip for Heterogeneous Systems-on-Chip. NOCS 2017: 9:1-9:6 - 2016
- [c91]Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
High-level synthesis of accelerators in embedded scalable platforms. ASP-DAC 2016: 204-211 - [c90]Paolo Mantovani, Emilio G. Cota, Christian Pilato, Giuseppe Di Guglielmo, Luca P. Carloni:
Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip. CASES 2016: 3:1-3:10 - [c89]Christian Pilato, Qirui Xu, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
On the design of scalable and reusable accelerators for big data applications. Conf. Computing Frontiers 2016: 406-411 - [c87]Paolo Mantovani, Emilio G. Cota, Kevin Tien, Christian Pilato, Giuseppe Di Guglielmo, Kenneth L. Shepard, Luca P. Carloni:
An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems. DAC 2016: 157:1-157:6 - [c86]Matthew M. Ziegler, Hung-Yi Liu, George Gristede, Bruce Owens, Ricardo Nigaglioni, Luca P. Carloni:
A Scalable Black-Box Optimization System for Auto-Tuning VLSI Synthesis Programs. RES4ANT@DATE 2016: 8-12 - [c85]Matthew M. Ziegler, Hung-Yi Liu, George Gristede, Bruce Owens, Ricardo Nigaglioni, Luca P. Carloni:
A synthesis-parameter tuning system for autonomous design-space exploration. DATE 2016: 1148-1151 - [c84]Emilio G. Cota, Paolo Mantovani, Luca P. Carloni:
Exploiting Private Local Memories to Reduce the Opportunity Cost of Accelerator Integration. ICS 2016: 27:1-27:12 - [c83]Matthew M. Ziegler, Hung-Yi Liu, Luca P. Carloni:
Scalable Auto-Tuning of Synthesis Parameters for Optimizing High-Performance Processors. ISLPED 2016: 180-185 - [c82]YoungHoon Jung, Jaehwan Koo, Karl Stratos, Luca P. Carloni:
A Probabilistic Ranking Model for Audio Stream Retrieval. MARMI@ICMR 2016: 33-38 - 2015
- [j30]Robert K. Brayton, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa:
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]. Proc. IEEE 103(11): 1952-1957 (2015) - [j28]Robert Margolies, Maria Gorlatova, John Sarik, Gerald Stanje, Jianxun Zhu, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman:
Energy-Harvesting Active Networked Tags (EnHANTs): Prototyping and Experimentation. ACM Trans. Sens. Networks 11(4): 62:1-62:27 (2015) - [c81]Azzurra Pulimeno, Marco Vacca, Mario R. Casu, Jorge A. Tobon, Francesca Vipiana, Daniele Jahier Pagliari, Raffaele Solimene, Luca P. Carloni:
Microwave Imaging for Breast Cancer Detection: A COTS-Based Prototype. ApplePies 2015: 25-34 - [c80]Daniele Jahier Pagliari, Azzurra Pulimeno, Marco Vacca, Jorge A. Tobon, Francesca Vipiana, Mario R. Casu, Raffaele Solimene, Luca P. Carloni:
A low-cost, fast, and accurate microwave imaging system for breast cancer detection. BioCAS 2015: 1-4 - [c79]YoungHoon Jung, Luca P. Carloni:
ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms. DAC 2015: 106:1-106:6 - [c78]Emilio G. Cota, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
An Analysis of Accelerator Coupling in Heterogeneous Architectures. DAC 2015: 202:1-202:6 - [c77]Daniele Jahier Pagliari, Mario R. Casu, Luca P. Carloni:
Acceleration of microwave imaging algorithms for breast cancer detection via High-Level Synthesis. ICCD 2015: 475-478 - [c76]Kevin Tien, Noah Sturcken, Naigang Wang, Jae-Woong Nah, Bing Dang, Eugene J. O'Sullivan, Paul S. Andry, Michele Petracca, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard:
An 82%-efficient multiphase voltage-regulator 3D interposer with on-chip magnetic inductors. VLSIC 2015: 192- - [c75]YoungHoon Jung, Karl Stratos, Luca P. Carloni:
LN-Annote: An Alternative Approach to Information Extraction from Emails using Locally-Customized Named-Entity Recognition. WWW 2015: 538-548 - 2014
- [b1]Keren Bergman, Luca P. Carloni, Aleksandr Biberman, Johnnie Chan, Gilbert Hendry:
Photonic Network-on-Chip Design. Integrated Circuits and Systems, Springer 2014, ISBN 978-1-4419-9334-2, pp. I-X, 1-213 - [j27]Emilio G. Cota, Paolo Mantovani, Michele Petracca, Mario R. Casu, Luca P. Carloni:
Accelerator Memory Reuse in the Dark Silicon Era. IEEE Comput. Archit. Lett. 13(1): 9-12 (2014) - [j26]YoungHoon Jung, Michele Petracca, Luca P. Carloni:
Cloud-Aided Design for Distributed Embedded Systems. IEEE Des. Test 31(3): 32-40 (2014) - [c73]Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
System-level memory optimization for high-level synthesis of component-based SoCs. CODES+ISSS 2014: 18:1-18:10 - [c72]Giuseppe Di Guglielmo, Christian Pilato, Luca P. Carloni:
A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs. DAC 2014: 128:1-128:6 - 2013
- [j25]Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell C. Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert E. Fontana Jr., Gary M. Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard:
A 2.5D Integrated Voltage Regulator Using Coupled-Magnetic-Core Inductors on Silicon Interposer. IEEE J. Solid State Circuits 48(1): 244-254 (2013) - [j24]Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni:
Virtual Channels and Multiple Physical Networks: Two Alternatives to Improve NoC Performance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(12): 1906-1919 (2013) - [c71]Hung-Yi Liu, Luca P. Carloni:
On learning-based methods for design-space exploration with high-level synthesis. DAC 2013: 50:1-50:7 - [c70]Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni:
A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. DAC 2013: 156:1-156:9 - [c69]YoungHoon Jung, Jinhyung Park, Michele Petracca, Luca P. Carloni:
netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems. DAC 2013: 169:1-169:10 - [c68]Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey:
Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. DATE 2013: 171-175 - [c67]Marcin Szczodrak, Omprakash Gnawali, Luca P. Carloni:
Dynamic Reconfiguration of Wireless Sensor Networks to Support Heterogeneous Applications. DCOSS 2013: 52-61 - [c66]Maria Gorlatova, Robert Margolies, John Sarik, Gerald Stanje, Jianxun Zhu, Baradwaj Vigraham, Marcin Szczodrak, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman:
Prototyping energy harvesting active networked tags (EnHANTs). INFOCOM 2013: 585-589 - [c65]David Whelihan, Jeffrey J. Hughes, Scott M. Sawyer, Eric Robinson, Michael M. Wolf, Sanjeev Mohindra, Julie Mullen, Anna Klein, Michelle S. Beard, Nadya T. Bliss, Johnnie Chan, Robert Hendry, Keren Bergman, Luca P. Carloni:
P-sync: A Photonically Enabled Architecture for Efficient Non-local Data Access. IPDPS 2013: 189-200 - [c64]Marcin K. Szczodrak, Omprakash Gnawali, Luca P. Carloni:
Modeling and implementation of energy neutral sensing systems. ENSSys@SenSys 2013: 9:1-9:6 - [c63]Marcin Szczodrak, Yong Yang, Dave Cavalcanti, Luca P. Carloni:
An open framework to deploy heterogeneous wireless testbeds for Cyber-Physical Systems. SIES 2013: 215-224 - 2012
- [j22]Noah Sturcken, Michele Petracca, Steve B. Warren, Paolo Mantovani, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard:
A Switched-Inductor Integrated Voltage Regulator With Nonlinear Feedback and Network-on-Chip Load in 45 nm SOI. IEEE J. Solid State Circuits 47(8): 1935-1945 (2012) - [c62]YoungHoon Jung, Richard W. Neill, Luca P. Carloni:
A broadband embedded computing system for MapReduce utilizing Hadoop. CloudCom 2012: 1-9 - [c61]Hung-Yi Liu, Michele Petracca, Luca P. Carloni:
Compositional system-level design exploration with planning of high-level synthesis. DATE 2012: 641-646 - [c60]Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell C. Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert E. Fontana Jr., Gary M. Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard:
A 2.5D integrated voltage regulator using coupled-magnetic-core inductors on silicon interposer delivering 10.8A/mm2. ISSCC 2012: 400-402 - [c59]Luca Ramini, Davide Bertozzi, Luca P. Carloni:
Engineering a Bandwidth-Scalable Optical Layer for a 3D Multi-core Processor with Awareness of Layout Constraints. NOCS 2012: 185-192 - [c58]Young-Jin Yoon, Nicola Concer, Luca P. Carloni:
Ventti: A vertically integrated framework for simulation and optimization of networks-on-Chip. SoCC 2012: 171-176 - [e4]Ahmed Jerraya, Luca P. Carloni, Vincent John Mooney III, Rodric M. Rabbah:
Proceedings of the 15th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1424-4 [contents] - [e3]Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi:
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1426-8 [contents] - [e2]Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr:
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1425-1 [contents] - 2011
- [j21]Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman:
Time-division-multiplexed arbitration in silicon nanophotonic networks-on-chip for high-performance chip multiprocessors. J. Parallel Distributed Comput. 71(5): 641-650 (2011) - [j20]Luca Benini, Luca P. Carloni:
Guest Editorial: Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2010. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(4): 492-493 (2011) - [j19]Johnnie Chan, Gilbert Hendry, Keren Bergman, Luca P. Carloni:
Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(10): 1507-1520 (2011) - [c57]Noah Sturcken, Michele Petracca, Steve B. Warren, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard:
An integrated four-phase buck converter delivering 1A/mm2 with 700ps controller delay and network-on-chip load in 45-nm SOI. CICC 2011: 1-4 - [c56]Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni:
Supervised design space exploration by compositional approximation of Pareto sets. DAC 2011: 399-404 - [c55]Gilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman:
VANDAL: A tool for the design specification of nanophotonic networks. DATE 2011: 782-787 - [c54]Richard W. Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov:
Embedded Processor Virtualization for Broadband Grid Computing. GRID 2011: 145-156 - [c52]Nicola Concer, Andrea Vesco, Riccardo Scopigno, Luca P. Carloni:
A dynamic and distributed TDM slot-scheduling protocol for QoS-oriented Networks-on-Chip. ICCD 2011: 31-38 - [c51]Francesco Leonardi, Alessandro Pinto, Luca P. Carloni:
Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. ICCPS 2011: 215-224 - [c50]Jianxun Zhu, Gerald Stanje, Robert Margolies, Maria Gorlatova, John Sarik, Zainab Noorbhaiwala, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman:
Demo: prototyping UWB-enabled enhants. MobiSys 2011: 387-388 - [c49]Gerald Stanje, Paul Miller, Jianxun Zhu, Alexander Smith, Olivia Winn, Robert Margolies, Maria Gorlatova, John Sarik, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman:
Organic solar cell-equipped energy harvesting active networked tag (EnHANT) prototypes. SenSys 2011: 385-386 - [c48]Marcin Szczodrak, Luca P. Carloni:
A complete framework for programming event-driven, self-reconfigurable low power wireless networks. SenSys 2011: 415-416 - 2010
- [j18]Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni:
The Connection-Then-Credit Flow Control Protocol for Heterogeneous Multicore Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(6): 869-882 (2010) - [j17]Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma:
Accurate Predictive Interconnect Modeling for System-Level Design. IEEE Trans. Very Large Scale Integr. Syst. 18(4): 679-684 (2010) - [c47]Richard W. Neill, Alexander Shabarshin, Luca P. Carloni:
A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices. Conf. Computing Frontiers 2010: 187-196 - [c46]Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni:
Virtual channels vs. multiple physical networks: a comparative analysis. DAC 2010: 162-165 - [c44]Johnnie Chan, Gilbert Hendry, Aleksandr Biberman, Keren Bergman, Luca P. Carloni:
PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks. DATE 2010: 691-696 - [c42]Gilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, Keren Bergman:
Silicon Nanophotonic Network-on-Chip Using TDM Arbitration. Hot Interconnects 2010: 88-95 - [c41]Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt:
Message from the chairs. MEMOCODE 2010: 1-3 - [c40]Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman:
Circuit-Switched Memory Access in Photonic Interconnection Networks for High-Performance Embedded Computing. SC 2010: 1-12 - [e1]Luca P. Carloni, Stavros Tripakis:
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. ACM 2010, ISBN 978-1-60558-904-6 [contents] - 2009
- [j16]Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni:
Photonic NoCs: System-Level Design Exploration. IEEE Micro 29(4): 74-85 (2009) - [j14]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(3): 364-377 (2009) - [c39]Francesco Leonardi, Alessandro Pinto, Luca P. Carloni:
A case study in distributed deployment of embedded software for camera networks. DATE 2009: 1006-1011 - [c37]Luca P. Carloni, Partha Pande, Yuan Xie:
Networks-on-chip in emerging interconnect paradigms: Advantages and challenges. NOCS 2009: 93-102 - [c36]Gilbert Hendry, Shoaib Kamil, Aleksandr Biberman, Johnnie Chan, Benjamin G. Lee, Marghoob Mohiyuddin, Ankit Jain, Keren Bergman, Luca P. Carloni, John Kubiatowicz, Leonid Oliker, John Shalf:
Analysis of photonic networks for a chip multiprocessor using scientific applications. NOCS 2009: 104-113 - [c35]Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni:
CTC: An end-to-end flow control protocol for multi-core systems-on-chip. NOCS 2009: 193-202 - 2008
- [j13]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
COSI: A Framework for the Design of Interconnection Networks. IEEE Des. Test Comput. 25(5): 402-415 (2008) - [j12]Assaf Shacham, Keren Bergman, Luca P. Carloni:
Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors. IEEE Trans. Computers 57(9): 1246-1260 (2008) - [j11]Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(5): 906-919 (2008) - [j9]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7(4): 43:1-43:36 (2008) - [c34]Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma:
Interconnect modeling for improved system-level design optimization. ASP-DAC 2008: 258-264 - [c33]Nicola Concer, Michele Petracca, Luca P. Carloni:
Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS 2008: 215-220 - [c32]Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni:
Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects 2008: 31-40 - [c31]Michele Petracca, Keren Bergman, Luca P. Carloni:
Photonic networks-on-chip: Opportunities and challenges. ISCAS 2008: 2789-2792 - 2007
- [c30]Assaf Shacham, Keren Bergman, Luca P. Carloni:
The Case for Low-Power Photonic Networks on Chip. DAC 2007: 132-135 - [c28]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT 2007: 21-29 - [c27]Assaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, Luca P. Carloni:
Photonic NoC for DMA Communications in Chip Multiprocessors. Hot Interconnects 2007: 29-38 - [c24]Assaf Shacham, Keren Bergman, Luca P. Carloni:
On the Design of a Photonic Network-on-Chip. NOCS 2007: 53-64 - 2006
- [j8]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods Syst. Des. 28(2): 93-110 (2006) - [j7]Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
Languages and Tools for Hybrid Systems Design. Found. Trends Electron. Des. Autom. 1(1/2) (2006) - [j6]Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Platform based design for wireless sensor networks. Mob. Networks Appl. 11(4): 469-485 (2006) - [c23]Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107 - [c22]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160 - [c21]Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506 - 2005
- [c20]Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT 2005: 183-186 - [c19]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. EMSOFT 2005: 255-263 - [c18]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541 - [p1]Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi:
Platform-Based and Derivative Design. The Industrial Information Technology Handbook 2005: 1-15 - [r1]Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni:
Platform-Based Design for Embedded Systems. Embedded Systems Handbook 2005 - 2004
- [c16]Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi:
Benefits and challenges for platform-based design. DAC 2004: 409-414 - [c15]Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE 2004: 1164-1169 - [c14]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229 - 2003
- [c13]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76 - [c12]Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50 - [c11]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16 - [c10]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150 - [c9]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52 - 2002
- [j5]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002) - [c8]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Constraint-driven communication synthesis. DAC 2002: 783-788 - 2001
- [j4]Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli:
Theory of latency-insensitive design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(9): 1059-1076 (2001) - [c7]Stefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Modeling of Substrate Noise Injected by Digital Libraries. ISQED 2001: 488-492 - 2000
- [j3]Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(3): 281-294 (2000) - [c6]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367 - 1999
- [j2]Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(3): 301-310 (1999) - [c5]Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli:
Latency Insensitive Protocols. CAV 1999: 123-133 - [c4]Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
A methodology for correct-by-construction latency insensitive design. ICCAD 1999: 309-315 - [c3]Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361 - 1998
- [j1]Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998) - 1997
- [c2]Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98 - [c1]Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
Trace driven logic synthesis - application to power minimization. ICCAD 1997: 581-588
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
