Sciweavers

    2778 search results - page 431 / 556
    » Reuse Technique in Hardware Design
    Sort
    View
    DAC
    2009
    ACM
    181views Computer Architecture» more  DAC 2009»
    BDD-based synthesis of reversible logic for large functions
    16 years 8 months ago
    BDD-based synthesis of reversible logic for large functions
    Download  www.informatik.uni-bremen.de
    Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
    Robert Wille, Rolf Drechsler
    claim paper
    Read More »
    152
    Voted
    DAC
    2009
    ACM
    113views Computer Architecture» more  DAC 2009»
    Non-intrusive dynamic application profiling for multitasked applications
    16 years 8 months ago
    Non-intrusive dynamic application profiling for multitasked applications
    Download  www.ece.arizona.edu
    Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
    Karthik Shankar, Roman L. Lysecky
    claim paper
    Read More »
    DAC
    2001
    ACM
    142views Computer Architecture» more  DAC 2001»
    Using Texture Mapping with Mipmapping to Render a VLSI Layout
    16 years 8 months ago
    Using Texture Mapping with Mipmapping to Render a VLSI Layout
    Download  delivery.acm.org
    This paper presents a method of using texture mapping with mipmapping to render a VLSI layout. Texture mapping is used to save already rasterized areas of the layout from frame to...
    Jeff Solomon, Mark Horowitz
    claim paper
    Read More »
    172
    Voted
    DAC
    2003
    ACM
    145views Computer Architecture» more  DAC 2003»
    A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
    16 years 8 months ago
    A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
    Download  www.cs.cmu.edu
    SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
    Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...
    claim paper
    Read More »
    185
    Voted
    DAC
    2004
    ACM
    193views Computer Architecture» more  DAC 2004»
    Automated fixed-point data-type optimization tool for signal processing and communication systems
    16 years 8 months ago
    Automated fixed-point data-type optimization tool for signal processing and communication systems
    Download  bwrc.eecs.berkeley.edu
    A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
    Changchun Shi, Robert W. Brodersen
    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.