Sciweavers

    32117 search results - page 226 / 6424
    » Design for Unanticipated Use..
    Sort
    View
    DAC
    1998
    ACM
    103views Computer Architecture» more  DAC 1998»
    Incremental CTL Model Checking Using BDD Subsetting
    16 years 7 months ago
    Incremental CTL Model Checking Using BDD Subsetting
    Download  reference.kfupm.edu.sa
    Abelardo Pardo, Gary D. Hachtel
    claim paper
    Read More »
    DAC
    1999
    ACM
    120views Computer Architecture» more  DAC 1999»
    Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment
    16 years 7 months ago
    Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment
    Download  web.mac.com
    Dennis Abts, Mike Roberts
    claim paper
    Read More »
    DAC
    1999
    ACM
    119views Computer Architecture» more  DAC 1999»
    MERLIN: Semi-Order-Independent Hierarchical Buffered Routing Tree Generation Using Local Neighborhood Search
    16 years 7 months ago
    MERLIN: Semi-Order-Independent Hierarchical Buffered Routing Tree Generation Using Local Neighborhood Search
    Download  atrak.usc.edu
    Amir H. Salek, Jinan Lou, Massoud Pedram
    claim paper
    Read More »
    DAC
    2001
    ACM
    105views Computer Architecture» more  DAC 2001»
    Using Symbolic Algebra in Algorithmic Level DSP Synthesis
    16 years 7 months ago
    Using Symbolic Algebra in Algorithmic Level DSP Synthesis
    Download  si2.epfl.ch
    Armita Peymandoust, Giovanni De Micheli
    claim paper
    Read More »
    DAC
    2002
    ACM
    111views Computer Architecture» more  DAC 2002»
    Complex library mapping for embedded software using symbolic algebra
    16 years 7 months ago
    Complex library mapping for embedded software using symbolic algebra
    Download  si2.epfl.ch
    Armita Peymandoust, Giovanni De Micheli, Tajana Si...
    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.