Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
Grid Economics and Business Models: 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: George A. Thanos, Costas Courcoubetis (auth.), Daniel J. Veit, Jörn Altmann (eds.)
Incentives, Overlays, and Economic Traffic Control: Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Costas Courcoubetis (auth.), Burkhard Stiller, Tobias Hoßfeld, George D. Stamoulis (eds.)
Logic Synthesis and Optimization
  • PDF
  • English
  • Year: 1993
  • Author: Robert K. Brayton, Patrick C. McGeer (auth.), Tsutomu Sasao (eds.)
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications
  • PDF
  • English
  • Year: 1991
  • Author: Patrick C. McGeer, Robert K. Brayton (auth.)
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
  • PDF
  • English
  • Year: 1994
  • Author: William K. C. Lam, Robert K. Brayton (auth.)
Pricing communication networks
  • PDF
  • English
  • Year: 2003
  • Author: Costas Courcoubetis, Richard Weber
Logic Synthesis for Field-Programmable Gate Arrays
  • PDF
  • English
  • Year: 1995
  • Author: Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
  • PDF
  • English
  • Year: 2001
  • Author: Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
Logic Minimization Algorithms for VLSI Synthesis
  • PDF
  • English
  • Year: 1984
  • Author: Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
search