Sciweavers

    4359 search results - page 235 / 872
    » Automated Pipeline Design
    Sort
    View
    DAC
    1999
    ACM
    133views Computer Architecture» more  DAC 1999»
    On Thermal Effects in Deep Sub-Micron VLSI Interconnects
    16 years 5 months ago
    On Thermal Effects in Deep Sub-Micron VLSI Interconnects
    Download  www.ece.ucsb.edu
    Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangio...
    claim paper
    Read More »
    113
    Voted
    DAC
    1999
    ACM
    123views Computer Architecture» more  DAC 1999»
    Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms
    16 years 5 months ago
    Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms
    Download  si2.epfl.ch
    Luca Benini, Giovanni De Micheli, Enrico Macii, Gi...
    claim paper
    Read More »
    DAC
    1999
    ACM
    102views Computer Architecture» more  DAC 1999»
    Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses
    16 years 5 months ago
    Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses
    Download  www.cs.ucr.edu
    Luca Benini, Alberto Macii, Enrico Macii, Massimo ...
    claim paper
    Read More »
    DAC
    1999
    ACM
    182views Computer Architecture» more  DAC 1999»
    A Study in Coverage-Driven Test Generation
    16 years 5 months ago
    A Study in Coverage-Driven Test Generation
    Download  www.research.ibm.com
    Mike Benjamin, Daniel Geist, Alan Hartman, G&eacut...
    claim paper
    Read More »
    102
    Voted
    DAC
    1999
    ACM
    128views Computer Architecture» more  DAC 1999»
    Symbolic Model Checking Using SAT Procedures instead of BDDs
    16 years 5 months ago
    Symbolic Model Checking Using SAT Procedures instead of BDDs
    Download  reports-archive.adm.cs.cmu.edu
    Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.