| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert Fontana, Gary 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung-Yi Liu, Michele Petracca, Luca P. Carloni |
Compositional system-level design exploration with planning of high-level synthesis.  |
DATE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 Distrib. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johnnie Chan, Gilbert Hendry, Keren Bergman, Luca P. Carloni |
Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benini, Luca P. Carloni |
Guest Editorial: Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2010.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Noah Sturcken, Michele Petracca, Steve 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni |
Supervised design space exploration by compositional approximation of Pareto sets.  |
DAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Szczodrak, Luca P. Carloni |
A complete framework for programming event-driven, self-reconfigurable low power wireless networks.  |
SenSys  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman |
VANDAL: A tool for the design specification of nanophotonic networks.  |
DATE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov |
Embedded Processor Virtualization for Broadband Grid Computing.  |
GRID  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. on CAD of Integrated Circuits and Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma |
Accurate Predictive Interconnect Modeling for System-Level Design.  |
IEEE Trans. VLSI Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
Message from the chairs.  |
MEMOCODE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Stavros Tripakis (eds.) |
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010  |
EMSOFT  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni |
Virtual channels vs. multiple physical networks: a comparative analysis.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
channel slicing, network-on-chip, virtual channel |
| 1 | Richard 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 |
DBLP DOI BibTeX RDF |
multiple service operators, multiple sequence alignment, distributed embedded systems, mpi, set-top box |
| 1 | Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni |
Exploiting local logic structures to optimize multi-core SoC floorplanning.  |
DATE  |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rebecca L. Collins, Bharadwaj Vellore, Luca P. Carloni |
Recursion-driven parallel code generation for multi-core platforms.  |
DATE  |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni |
Photonic NoCs: System-Level Design Exploration.  |
IEEE Micro  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Hong Li, Luca P. Carloni |
Leveraging Local Intracore Information to Increase Global Performance in Block-Based Design of Systems-on-Chip.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
A Methodology for Constraint-Driven Synthesis of On-Chip Communications.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca L. Collins, Luca P. Carloni |
Flexible filters: load balancing through backpressure for stream programs.  |
EMSOFT  |
2009 |
DBLP DOI BibTeX RDF |
dynamic load balancing, stream programming |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Partha Pande, Yuan Xie |
Networks-on-chip in emerging interconnect paradigms: Advantages and challenges.  |
NOCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Leonardi, Alessandro Pinto, Luca P. Carloni |
A case study in distributed deployment of embedded software for camera networks.  |
DATE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Composing heterogeneous reactive systems.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
correct-by-construction design, reactive systems, Compositionality, models of computation, GALS |
| 1 | Assaf Shacham, Keren Bergman, Luca P. Carloni |
Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors.  |
IEEE Trans. Computers  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca L. Collins, Luca P. Carloni |
Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Fault-Tolerant Distributed Deployment of Embedded Control Software.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
COSI: A Framework for the Design of Interconnection Networks.  |
IEEE Design & Test of Computers  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Petracca, Keren Bergman, Luca P. Carloni |
Photonic networks-on-chip: Opportunities and challenges.  |
ISCAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni |
Design Exploration of Optical Interconnection Networks for Chip Multiprocessors.  |
Hot Interconnects  |
2008 |
DBLP DOI BibTeX RDF |
Networks-on-Chip, Interconnection, Chip Multiprocessors, Optics |
| 1 | Nicola Concer, Michele Petracca, Luca P. Carloni |
Distributed flit-buffer flow control for networks-on-chip.  |
CODES+ISSS  |
2008 |
DBLP DOI BibTeX RDF |
latency-insensitive protocols, network-on-chip |
| 1 | Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni |
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design.  |
MEMOCODE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
building automation system, communication synthesis, networked embedded systems |
| 1 | Assaf Shacham, Keren Bergman, Luca P. Carloni |
On the Design of a Photonic Network-on-Chip.  |
NOCS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca L. Collins, Luca P. Carloni |
Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System.  |
DAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf Shacham, Keren Bergman, Luca P. Carloni |
The Case for Low-Power Photonic Networks on Chip.  |
DAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Hong Li, Luca P. Carloni |
Using functional independence conditions to optimize the performance of latency-insensitive systems.  |
ICCAD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, Luca P. Carloni |
Photonic NoC for DMA Communications in Chip Multiprocessors.  |
Hot Interconnects  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Platform based design for wireless sensor networks.  |
MONET  |
2006 |
DBLP DOI BibTeX RDF |
Sensor networks, Design automation, Platform based design |
| 1 | Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
Languages and Tools for Hybrid Systems Design.  |
Foundations and Trends in Electronic Design Automation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni |
The Role of Back-Pressure in Implementing Latency-Insensitive Systems.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
A Framework for Modeling the Distributed Deployment of Synchronous Designs.  |
Formal Methods in System Design  |
2006 |
DBLP DOI BibTeX RDF |
Distributed systems, GALS, Desynchronization, Latency-insensitive design |
| 1 | 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 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, scheduling, tagged systems |
| 1 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Platform-based design of wireless sensor networks for industrial applications.  |
DATE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Interchange Format for Hybrid Systems: Abstract Semantics.  |
HSCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi |
Platform-Based and Derivative Design.  |
The Industrial Information Technology Handbook  |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
sensor networks, design automation, design flow |
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Tag machines.  |
EMSOFT  |
2005 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS, tagged systems |
| 1 | Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone |
Interchange Formats for Hybrid Systems: Review and Proposal.  |
HSCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS |
| 1 | Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi |
Benefits and challenges for platform-based design.  |
DAC  |
2004 |
DBLP DOI BibTeX RDF |
Performance, Design, Standardization |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.  |
EMSOFT  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits.  |
SBCCI  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Efficient Synthesis of Networks On Chip.  |
ICCD  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
On-chip communication design: roadblocks and avenues.  |
CODES+ISSS  |
2003 |
DBLP DOI BibTeX RDF |
GALS, on-chip networks, latency-insensitive design |
| 1 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Coping with Latency in SOC Design.  |
IEEE Micro  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Constraint-driven communication synthesis.  |
DAC  |
2002 |
DBLP DOI BibTeX RDF |
systems-on-chip, network design, communication synthesis |
| 1 | Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli |
Theory of latency-insensitive design.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. on CAD of Integrated Circuits and Systems  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Performance analysis and optimization of latency insensitive systems.  |
DAC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. on CAD of Integrated Circuits and Systems  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli |
Latency Insensitive Protocols.  |
CAV  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
A methodology for correct-by-construction latency insensitive design.  |
ICCAD  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.  |
IEEE Trans. Computers  |
1998 |
DBLP DOI BibTeX RDF |
minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization |
| 1 | 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 |
DBLP DOI BibTeX RDF |
negative thinking, discrete optimization, covering problem |
| 1 | Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
Trace driven logic synthesis&mdashapplication to power minimization.  |
ICCAD  |
1997 |
DBLP DOI BibTeX RDF |
Low Power, Logic Synthesis |