The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luca P. Carloni" ( http://dblp.L3S.de/Authors/Luca_P._Carloni )

URL (Homepage):  http://www.cs.columbia.edu/~luca/  Author page on DBLP  Author page in RDF  Community of Luca P. Carloni in ASPL-2

Publication years (Num. hits)
1997-2003 (18) 2004-2007 (21) 2008-2009 (17) 2010-2011 (22) 2012 (2)
Publication types (Num. hits)
article(22) incollection(1) inproceedings(56) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 50 occurrences of 39 keywords

Results
Found 80 publication records. Showing 80 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Noah 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. Search on Bibsonomy ISSCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hung-Yi Liu, Michele Petracca, Luca P. Carloni Compositional system-level design exploration with planning of high-level synthesis. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  BibTeX  RDF
1Gilbert 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. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johnnie Chan, Gilbert Hendry, Keren Bergman, Luca P. Carloni Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Benini, Luca P. Carloni Guest Editorial: Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2010. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Noah 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. Search on Bibsonomy CICC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni Supervised design space exploration by compositional approximation of Pareto sets. Search on Bibsonomy DAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerald 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. Search on Bibsonomy SenSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcin Szczodrak, Luca P. Carloni A complete framework for programming event-driven, self-reconfigurable low power wireless networks. Search on Bibsonomy SenSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jianxun 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. Search on Bibsonomy MobiSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman VANDAL: A tool for the design specification of nanophotonic networks. Search on Bibsonomy DATE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Richard Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov Embedded Processor Virtualization for Broadband Grid Computing. Search on Bibsonomy GRID The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicola Concer, Andrea Vesco, Riccardo Scopigno, Luca P. Carloni A dynamic and distributed TDM slot-scheduling protocol for QoS-oriented Networks-on-Chip. Search on Bibsonomy ICCD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni The Connection-Then-Credit Flow Control Protocol for Heterogeneous Multicore Systems-on-Chip. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma Accurate Predictive Interconnect Modeling for System-Level Design. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilbert 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. Search on Bibsonomy SC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt Message from the chairs. Search on Bibsonomy MEMOCODE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Stavros Tripakis (eds.) Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 Search on Bibsonomy EMSOFT The full citation details ... 2010 DBLP  BibTeX  RDF
1Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni Virtual channels vs. multiple physical networks: a comparative analysis. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF channel slicing, network-on-chip, virtual channel
1Richard Neill, Alexander Shabarshin, Luca P. Carloni A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multiple service operators, multiple sequence alignment, distributed embedded systems, mpi, set-top box
1Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni Exploiting local logic structures to optimize multi-core SoC floorplanning. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  BibTeX  RDF
1Johnnie Chan, Gilbert Hendry, Aleksandr Biberman, Keren Bergman, Luca P. Carloni PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  BibTeX  RDF
1Rebecca L. Collins, Bharadwaj Vellore, Luca P. Carloni Recursion-driven parallel code generation for multi-core platforms. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  BibTeX  RDF
1Gilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, Keren Bergman Silicon Nanophotonic Network-on-Chip Using TDM Arbitration. Search on Bibsonomy Hot Interconnects The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni Photonic NoCs: System-Level Design Exploration. Search on Bibsonomy IEEE Micro The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cheng-Hong Li, Luca P. Carloni Leveraging Local Intracore Information to Increase Global Performance in Block-Based Design of Systems-on-Chip. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli A Methodology for Constraint-Driven Synthesis of On-Chip Communications. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rebecca L. Collins, Luca P. Carloni Flexible filters: load balancing through backpressure for stream programs. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic load balancing, stream programming
1Gilbert 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. Search on Bibsonomy NOCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni CTC: An end-to-end flow control protocol for multi-core systems-on-chip. Search on Bibsonomy NOCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Partha Pande, Yuan Xie Networks-on-chip in emerging interconnect paradigms: Advantages and challenges. Search on Bibsonomy NOCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Leonardi, Alessandro Pinto, Luca P. Carloni A case study in distributed deployment of embedded software for camera networks. Search on Bibsonomy DATE The full citation details ... 2009 DBLP  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli Composing heterogeneous reactive systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF correct-by-construction design, reactive systems, Compositionality, models of computation, GALS
1Assaf Shacham, Keren Bergman, Luca P. Carloni Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rebecca L. Collins, Luca P. Carloni Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Fault-Tolerant Distributed Deployment of Embedded Control Software. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli COSI: A Framework for the Design of Interconnection Networks. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma Interconnect modeling for improved system-level design optimization. Search on Bibsonomy ASP-DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michele Petracca, Keren Bergman, Luca P. Carloni Photonic networks-on-chip: Opportunities and challenges. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Search on Bibsonomy Hot Interconnects The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Networks-on-Chip, Interconnection, Chip Multiprocessors, Optics
1Nicola Concer, Michele Petracca, Luca P. Carloni Distributed flit-buffer flow control for networks-on-chip. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF latency-insensitive protocols, network-on-chip
1Cheng-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. Search on Bibsonomy MEMOCODE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF building automation system, communication synthesis, networked embedded systems
1Assaf Shacham, Keren Bergman, Luca P. Carloni On the Design of a Photonic Network-on-Chip. Search on Bibsonomy NOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rebecca L. Collins, Luca P. Carloni Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Assaf Shacham, Keren Bergman, Luca P. Carloni The Case for Low-Power Photonic Networks on Chip. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cheng-Hong Li, Luca P. Carloni Using functional independence conditions to optimize the performance of latency-insensitive systems. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Assaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, Luca P. Carloni Photonic NoC for DMA Communications in Chip Multiprocessors. Search on Bibsonomy Hot Interconnects The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Platform based design for wireless sensor networks. Search on Bibsonomy MONET The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Sensor networks, Design automation, Platform based design
1Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli Languages and Tools for Hybrid Systems Design. Search on Bibsonomy Foundations and Trends in Electronic Design Automation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni The Role of Back-Pressure in Implementing Latency-Insensitive Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli A Framework for Modeling the Distributed Deployment of Synchronous Designs. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed systems, GALS, Desynchronization, Latency-insensitive design
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis Communication by sampling in time-sensitive distributed systems. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF distributed deployment, heterogeneous reactive systems, scheduling, tagged systems
1Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Platform-based design of wireless sensor networks for industrial applications. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli Interchange Format for Hybrid Systems: Abstract Semantics. Search on Bibsonomy HSCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi Platform-Based and Derivative Design. Search on Bibsonomy The Industrial Information Technology Handbook The full citation details ... 2005 DBLP  BibTeX  RDF
1Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF sensor networks, design automation, design flow
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Tag machines. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed deployment, heterogeneous reactive systems, GALS, tagged systems
1Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone Interchange Formats for Hybrid Systems: Review and Proposal. Search on Bibsonomy HSCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Albert 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). Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed deployment, heterogeneous reactive systems, GALS
1Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi Benefits and challenges for platform-based design. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Performance, Design, Standardization
1Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. Search on Bibsonomy EMSOFT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. Search on Bibsonomy SBCCI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Efficient Synthesis of Networks On Chip. Search on Bibsonomy ICCD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli On-chip communication design: roadblocks and avenues. Search on Bibsonomy CODES+ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF GALS, on-chip networks, latency-insensitive design
1Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Coping with Latency in SOC Design. Search on Bibsonomy IEEE Micro The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Constraint-driven communication synthesis. Search on Bibsonomy DAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF systems-on-chip, network design, communication synthesis
1Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli Theory of latency-insensitive design. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Stefano 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. Search on Bibsonomy ISQED The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Evguenii 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. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Performance analysis and optimization of latency insensitive systems. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli Modeling digital substrate noise injection in mixed-signal IC's. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luca 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. Search on Bibsonomy VLSI The full citation details ... 1999 DBLP  BibTeX  RDF
1Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli Latency Insensitive Protocols. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli A methodology for correct-by-construction latency insensitive design. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  BibTeX  RDF
1Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
1Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Negative thinking by incremental problem solving: application to unate covering. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF negative thinking, discrete optimization, covering problem
1Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli Trace driven logic synthesis&mdashapplication to power minimization. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Low Power, Logic Synthesis
Displaying result #1 - #80 of 80 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.