![]() | ![]() |
| 2012 | ||
|---|---|---|
| 80 | Hung-Yi Liu, Michele Petracca, Luca P. Carloni: Compositional system-level design exploration with planning of high-level synthesis. DATE 2012: 641-646 | |
| 79 | 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: 400-402 | |
| 2011 | ||
| 78 | 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: 1-4 | |
| 77 | Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni: Supervised design space exploration by compositional approximation of Pareto sets. DAC 2011: 399-404 | |
| 76 | Gilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman: VANDAL: A tool for the design specification of nanophotonic networks. DATE 2011: 782-787 | |
| 75 | Richard Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov: Embedded Processor Virtualization for Broadband Grid Computing. GRID 2011: 145-156 | |
| 74 | 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 | |
| 73 | 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 | |
| 72 | 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 | |
| 71 | Marcin Szczodrak, Luca P. Carloni: A complete framework for programming event-driven, self-reconfigurable low power wireless networks. SenSys 2011: 415-416 | |
| 70 | 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 30(10): 1507-1520 (2011) | |
| 69 | 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 30(4): 492-493 (2011) | |
| 68 | 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. 71(5): 641-650 (2011) | |
| 2010 | ||
| 67 | 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 | |
| 66 | 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: 187-196 | |
| 65 | Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni: Virtual channels vs. multiple physical networks: a comparative analysis. DAC 2010: 162-165 | |
| 64 | Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni: Exploiting local logic structures to optimize multi-core SoC floorplanning. DATE 2010: 1291-1296 | |
| 63 | Rebecca L. Collins, Bharadwaj Vellore, Luca P. Carloni: Recursion-driven parallel code generation for multi-core platforms. DATE 2010: 190-195 | |
| 62 | 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 | |
| 61 | 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 | |
| 60 | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt: Message from the chairs. MEMOCODE 2010: 1-3 | |
| 59 | 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 | |
| 58 | 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. 18(4): 679-684 (2010) | |
| 57 | 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 29(6): 869-882 (2010) | |
| 2009 | ||
| 56 | Francesco Leonardi, Alessandro Pinto, Luca P. Carloni: A case study in distributed deployment of embedded software for camera networks. DATE 2009: 1006-1011 | |
| 55 | Rebecca L. Collins, Luca P. Carloni: Flexible filters: load balancing through backpressure for stream programs. EMSOFT 2009: 205-214 | |
| 54 | 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 | |
| 53 | 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 | |
| 52 | Luca P. Carloni, Partha Pande, Yuan Xie: Networks-on-chip in emerging interconnect paradigms: Advantages and challenges. NOCS 2009: 93-102 | |
| 51 | Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Photonic NoCs: System-Level Design Exploration. IEEE Micro 29(4): 74-85 (2009) | |
| 50 | 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 28(2): 165-178 (2009) | |
| 49 | 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 28(3): 364-377 (2009) | |
| 2008 | ||
| 48 | 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 | |
| 47 | Nicola Concer, Michele Petracca, Luca P. Carloni: Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS 2008: 215-220 | |
| 46 | Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects 2008: 31-40 | |
| 45 | Michele Petracca, Keren Bergman, Luca P. Carloni: Photonic networks-on-chip: Opportunities and challenges. ISCAS 2008: 2789-2792 | |
| 44 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008) | |
| 43 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: COSI: A Framework for the Design of Interconnection Networks. IEEE Design & Test of Computers 25(5): 402-415 (2008) | |
| 42 | 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) | |
| 41 | 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 27(12): 2277-2290 (2008) | |
| 40 | 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 27(5): 906-919 (2008) | |
| 2007 | ||
| 39 | Assaf Shacham, Keren Bergman, Luca P. Carloni: The Case for Low-Power Photonic Networks on Chip. DAC 2007: 132-135 | |
| 38 | Rebecca L. Collins, Luca P. Carloni: Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. DAC 2007: 410-415 | |
| 37 | 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 | |
| 36 | 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 | |
| 35 | Cheng-Hong Li, Luca P. Carloni: Using functional independence conditions to optimize the performance of latency-insensitive systems. ICCAD 2007: 32-39 | |
| 34 | 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: 13-22 | |
| 33 | Assaf Shacham, Keren Bergman, Luca P. Carloni: On the Design of a Photonic Network-on-Chip. NOCS 2007: 53-64 | |
| 2006 | ||
| 32 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107 | |
| 31 | 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 | |
| 30 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506 | |
| 29 | Luca P. Carloni: The Role of Back-Pressure in Implementing Latency-Insensitive Systems. Electr. Notes Theor. Comput. Sci. 146(2): 61-80 (2006) | |
| 28 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods in System Design 28(2): 93-110 (2006) | |
| 27 | 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 1(1/2): (2006) | |
| 26 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform based design for wireless sensor networks. MONET 11(4): 469-485 (2006) | |
| 2005 | ||
| 25 | 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 | |
| 24 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263 | |
| 23 | Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541 | |
| 22 | 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 | |
| 2004 | ||
| 21 | Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi: Benefits and challenges for platform-based design. DAC 2004: 409-414 | |
| 20 | 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 | |
| 19 | 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 | ||
| 18 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76 | |
| 17 | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50 | |
| 16 | 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 | |
| 15 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150 | |
| 14 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52 | |
| 2002 | ||
| 13 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Constraint-driven communication synthesis. DAC 2002: 783-788 | |
| 12 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002) | |
| 2001 | ||
| 11 | 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- | |
| 10 | Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Theory of latency-insensitive design. IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1059-1076 (2001) | |
| 2000 | ||
| 9 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367 | |
| 8 | 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 19(3): 281-294 (2000) | |
| 1999 | ||
| 7 | Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Latency Insensitive Protocols. CAV 1999: 123-133 | |
| 6 | 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 | |
| 5 | 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 | |
| 4 | 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 18(3): 301-310 (1999) | |
| 1998 | ||
| 3 | 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 | ||
| 2 | Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Trace driven logic synthesis&mdashapplication to power minimization. ICCAD 1997: 581-588 | |
| 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: 91-98 | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page