☰

Luca Carloni - Publications

Affiliations: 
Computer Science Columbia University, New York, NY 
Area:
System-on-Chip (SoC) Platforms, Multi-Core Architectures, Embedded Systems, Computer-Aided Design, Hardware-Software Integration, Cyber-Physical Systems
Website:
http://datascience.columbia.edu/luca-carloni
Tree Info Similar researchers PubMed Report error

63 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Margolies R, Gorlatova M, Sarik J, Stanje G, Zhu J, Miller P, Szczodrak M, Vigraham B, Carloni L, Kinget P, Kymissis I, Zussman G. Energy-harvesting active networked tags (EnHANTs): Prototyping and experimentation Acm Transactions On Sensor Networks. 11. DOI: 10.1145/2831236  0.373
2015 Brayton R, Carloni LP, Sangiovanni-Vincentelli AL, Villa T. Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue] Proceedings of the Ieee. 103: 1952-1957. DOI: 10.1109/JPROC.2015.2487798  0.505
2015 Carloni LP. From Latency-Insensitive Design to Communication-Based System-Level Design Proceedings of the Ieee. DOI: 10.1109/JPROC.2015.2480849  0.427
2014 Pilato C, Mantovani P, Di Guglielmo G, Carloni LP. System-level memory optimization for high-level synthesis of component-based SoCs 2014 International Conference On Hardware/Software Codesign and System Synthesis, Codes+Isss 2014. DOI: 10.1145/2656075.2656098  0.339
2014 Guglielmo GD, Pilato C, Carloni LP. A design methodology for compositional high-level synthesis of communication-centric SoCs Proceedings - Design Automation Conference. DOI: 10.1145/2593069.2593071  0.412
2014 Jung Y, Petracca M, Carloni LP. Cloud-aided design for distributed embedded systems Ieee Design and Test. 31: 32-40. DOI: 10.1109/MDAT.2014.2320521  0.309
2013 Collins RL, Carloni LP. Flexible filters in stream programs Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2539036.2539041  0.428
2013 Jung YH, Park J, Petracca M, Carloni LP. NetShip: A networked virtual platform for large-scale heterogeneous distributed embedded systems Proceedings - Design Automation Conference. DOI: 10.1145/2463209.2488943  0.34
2013 Bombieri N, Liu HY, Fummi F, Carloni L. A method to abstract RTL IP blocks into C++ code and enable high-level synthesis Proceedings - Design Automation Conference. DOI: 10.1145/2463209.2488927  0.337
2013 Yoon YJ, Concer N, Petracca M, Carloni LP. Virtual channels and multiple physical networks: Two alternatives to improve NoC performance Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 32: 1906-1919. DOI: 10.1109/TCAD.2013.2276399  0.307
2013 Szczodrak M, Yang Y, Cavalcanti D, Carloni LP. An open framework to deploy heterogeneous wireless testbeds for cyber-physical systems Proceedings of the 8th Ieee International Symposium On Industrial Embedded Systems, Sies 2013. 215-224. DOI: 10.1109/SIES.2013.6601494  0.34
2013 Szczodrak M, Gnawali O, Carloni LP. Dynamic reconfiguration of wireless sensor networks to support heterogeneous applications Proceedings - Ieee International Conference On Distributed Computing in Sensor Systems, Dcoss 2013. 52-61. DOI: 10.1109/DCOSS.2013.21  0.315
2013 Casale-Rossi M, Sangiovanni-Vincentelli A, Carloni L, Courtois B, De Man H, Domic A, Rabaey JM. Panel: The heritage of mead & conway: What has remained the same, what was missed what has changed what lies ahead Proceedings -Design, Automation and Test in Europe, Date. 171-175.  0.339
2012 Yoon YJ, Concer N, Carloni L. Ventti: A vertically integrated framework for simulation and optimization of networks-on-Chip International System On Chip Conference. 171-176. DOI: 10.1109/SOCC.2012.6398390  0.319
2012 Liu HY, Petracca M, Carloni LP. Compositional system-level design exploration with planning of high-level synthesis Proceedings -Design, Automation and Test in Europe, Date. 641-646.  0.346
2011 Chan J, Hendry G, Bergman K, Carloni LP. Physical-layer modeling and system-level design of chip-scale photonic interconnection networks Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 30: 1507-1520. DOI: 10.1109/Tcad.2011.2157157  0.304
2011 Leonardi F, Pinto A, Carloni LP. Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings Proceedings - 2011 Ieee/Acm 2nd International Conference On Cyber-Physical Systems, Iccps 2011. 215-224. DOI: 10.1109/ICCPS.2011.23  0.428
2011 Liu HY, Diakonikolas I, Petracca M, Carloni L. Supervised design space exploration by compositional approximation of Pareto sets Proceedings - Design Automation Conference. 399-404.  0.341
2010 Carloni LP, Kahng AB, Muddu SV, Pinto A, Samadi K, Sharma P. Accurate predictive interconnect modeling for system-level design Ieee Transactions On Very Large Scale Integration (Vlsi) Systems. 18: 679-684. DOI: 10.1109/Tvlsi.2009.2014772  0.674
2010 Concer N, Bononi L, Soulié M, Locatelli R, Carloni LP. The connection-then-credit flow control protocol for heterogeneous multicore systems-on-chip Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 869-882. DOI: 10.1109/TCAD.2010.2048592  0.331
2010 Chan J, Hendry G, Biberman A, Bergman K, Carloni LP. PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks Proceedings -Design, Automation and Test in Europe, Date. 691-696.  0.305
2010 Collins RL, Vellore B, Carloni LP. Recursion-driven parallel code generation for multi-core platforms Proceedings -Design, Automation and Test in Europe, Date. 190-195.  0.411
2009 Collins RL, Carloni LP. Flexible filters: Load balancing through backpressure for stream programs Embedded Systems Week 2009 - Proceedings of the 7th Acm International Conference On Embedded Software, Emsoft '09. 205-214. DOI: 10.1145/1629335.1629363  0.441
2009 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. A methodology for constraint-driven synthesis of on-chip communications Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 28: 364-377. DOI: 10.1109/Tcad.2009.2013273  0.703
2009 Li CH, Carloni LP. Leveraging local intracore information to increase global performance in block-based design of systems-on-chip Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 28: 165-178. DOI: 10.1109/TCAD.2008.2009157  0.397
2009 Concer N, Bononi L, Soulié M, Locatelli R, Carloni LP. CTC: An end-to-end flow control protocol for multi-core systems-on-chip Proceedings - 2009 3rd Acm/Ieee International Symposium On Networks-On-Chip, Nocs 2009. 193-202. DOI: 10.1109/NOCS.2009.5071467  0.334
2009 Carloni LP, Pande P, Xie Y. Networks-on-chip in emerging interconnect paradigms: Advantages and challenges Proceedings - 2009 3rd Acm/Ieee International Symposium On Networks-On-Chip, Nocs 2009. 93-102. DOI: 10.1109/NOCS.2009.5071456  0.357
2008 Concer N, Petracca M, Carloni LP. Distributed flit-buffer flow control for networks-on-chip Embedded Systems Week 2008 - Proceedings of the 6th Ieee/Acm/Ifip International Conference On Hardware/Software Codesign and System Synthesis, Codes+Isss 2008. 215-220. DOI: 10.1145/1450135.1450183  0.374
2008 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Composing heterogeneous reactive systems Transactions On Embedded Computing Systems. 7. DOI: 10.1145/1376804.1376811  0.548
2008 Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. Fault-tolerant distributed deployment of embedded control software Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 906-919. DOI: 10.1109/Tcad.2008.917971  0.729
2008 Collins RL, Carloni LP. Topology-based performance analysis and optimization of latency-insensitive systems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 2277-2290. DOI: 10.1109/Tcad.2008.2008914  0.538
2008 Pinto A, Carloni LP, Sangiovanni-Vincentelli A. COSI: A framework for the design of interconnection networks Ieee Design and Test of Computers. 25: 402-415. DOI: 10.1109/Mdt.2008.138  0.751
2008 Pctracca M, Leo BG, Bergman K, Carloni LP. Design exploration of optical interconnection networks for chip multiprocessors Proceedings - Symposium On the High Performance Interconnects, Hot Interconnects. 31-40. DOI: 10.1109/HOTI.2008.20  0.32
2008 Carloni L, Kahng AB, Muddu S, Pinto A, Samadi K, Sharma P. Interconnect modeling for improved system-level design optimization Proceedings of the Asia and South Pacific Design Automation Conference, Asp-Dac. 258-264. DOI: 10.1109/ASPDAC.2008.4483952  0.337
2007 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control Emsoft'07: Proceedings of the Seventh Acm and Ieee International Conference On Embedded Software. 21-29. DOI: 10.1145/1289927.1289936  0.586
2007 Shacham A, Bergman K, Carloni LP. On the design of a photonic network-on-chip Proceedings - Nocs 2007: First International Symposium On Networks-On-Chip. 53-64. DOI: 10.1109/NOCS.2007.35  0.324
2007 Li CH, Collins R, Sonalkar S, Carloni LP. Design, implementation, and validation of a new class of interface circuits for latency-insensitive design Proceedings - Fifth Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'07. 13-22. DOI: 10.1109/MEMCOD.2007.371256  0.53
2007 Li CH, Carloni LP. Using functional independence conditions to optimize the performance of latency-insensitive systems Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 32-39. DOI: 10.1109/ICCAD.2007.4397240  0.397
2007 Collins RL, Carloni LP. Topology-based optimization of maximal sustainable throughput in a latency-insensitive system Proceedings - Design Automation Conference. 410-415. DOI: 10.1109/DAC.2007.375198  0.449
2006 Carloni LP, Passerone R, Pinto A, Sangiovanni-Vincentelli AL. Languages and tools for hybrid systems design Foundations and Trends in Electronic Design Automation. 1: 1-193. DOI: 10.1561/1000000001  0.706
2006 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL, Tripakis S. Communication by sampling in time-sensitive distributed systems Ieee International Conference On Embedded Software, Emsoft 2006. 152-160. DOI: 10.1145/1176887.1176909  0.497
2006 Bonivento A, Carloni LP, Sangiovanni-Vincentelli A. Platform based design for wireless sensor networks Mobile Networks and Applications. 11: 469-485. DOI: 10.1007/S11036-006-7194-1  0.76
2006 Carloni LP, Sangiovanni-Vincentelli AL. A framework for modeling the distributed deployment of synchronous designs Formal Methods in System Design. 28: 93-110. DOI: 10.1007/s10703-006-7842-x  0.586
2006 Pinto A, Carloni LP, Passerone R, Sangiovanni-Vincentelli A. Interchange format for hybrid systems: Abstract semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 491-506. DOI: 10.1007/11730637_37  0.631
2006 Bonivento A, Carloni LP, Sangiovanni-Vlncentelli A. Platform-based design of wireless sensor networks for industrial applications Proceedings -Design, Automation and Test in Europe, Date. 1.  0.751
2005 Bonivento A, Carloni LP, Sangiovanni-Vincentelli AL. Rialto: A bridge between description and implementation of control algorithms for wireless sensor networks Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 183-186.  0.759
2005 Benveniste A, Caillaud B, Carloni LP, Sangiovanni-Vincentelli AL. Tag machines Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 255-263.  0.486
2005 Pinto A, Sangiovanni-Vincentelli A, Carloni LP, Passerone R. Interchange formats for hybrid systems: Review and proposal Lecture Notes in Computer Science. 3414: 526-541.  0.616
2004 Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications Proceedings - Design, Automation and Test in Europe Conference and Exhibition. 2: 1164-1169. DOI: 10.1109/DATE.2004.1269049  0.724
2004 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Causality and scheduling constraints in, heterogeneous reactive systems modeling Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3188: 1-16.  0.535
2004 Sangiovanni-Vincentelli A, Carloni L, De Bernardinis F, Sgroi M. Benefits and challenges for platform-based design Proceedings - Design Automation Conference. 409-414.  0.673
2004 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Heterogeneous reactive systems modeling: Capturing causality and the correctness of Loosely Time-Triggered Architectures (LTTA) Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 220-229.  0.588
2003 Carloni LP, Sangiovanni-Vincentelli AL. Combining retiming and recycling to optimize the performance of synchronous circuits Proceedings - 16th Symposium On Integrated Circuits and Systems Design, Sbcci 2003. 47-52. DOI: 10.1109/SBCCI.2003.1232805  0.546
2003 Carloni LP, Sangiovanni-Vincentelli AL. On-Chip Communication Design: Roadblocks and Avenues Hardware/Software Codesign - Proceedings of the International Workshop. 75-76. DOI: 10.1109/CODESS.2003.1275259  0.531
2003 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. Efficient synthesis of networks on chip Proceedings - Ieee International Conference On Computer Design: Vlsi in Computers and Processors. 146-150.  0.484
2003 Benveniste A, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Heterogeneous reactive systems modeling and correct-by-construction deployment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2855: 35-50.  0.577
2002 Carloni LP, Sangiovanni-Vincentelli AL. Coping with latency in SOC design Ieee Micro. 22: 24-35. DOI: 10.1109/Mm.2002.1044297  0.566
2002 Carloni LP, De Bernardinis F, Sangiovanni-Vincentelli AL, Sgroi M. The art and science of integrated systems design European Solid-State Circuits Conference. 25-36. DOI: 10.1109/ESSDERC.2002.194867  0.742
2002 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. Constraint-driven communication synthesis Proceedings - Design Automation Conference. 783-788.  0.515
2001 Zanella S, Neviani A, Zanoni E, Miliozzi P, Charbon E, Guardiani C, Carloni L, Sangiovanni-Vincentelli A. Modeling of substrate noise injected by digital libraries Proceedings - International Symposium On Quality Electronic Design, Isqed. 2001: 488-492. DOI: 10.1109/ISQED.2001.915276  0.41
2001 Carloni LP, McMillan KL, Sangiovanni-Vincentelli AL. Theory of latency-insensitive design Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 1059-1076. DOI: 10.1109/43.945302  0.557
1999 Carloni LP, McMillan KL, Sangiovanni-Vincentelli AL. Latency insensitive protocols Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1633: 123-133.  0.56
1998 Oliveira AL, Carloni LP, Villa T, Sangiovanni-Vincentelli AL. Exact minimization of binary decision diagrams using implicit techniques Ieee Transactions On Computers. 47: 1282-1296. DOI: 10.1109/12.736442  0.41
Show low-probability matches.