Sciweavers

    2585 search results - page 112 / 517
    » computing 1999
    Sort
    View
    DAC
    1999
    ACM
    182views Computer Architecture» more  DAC 1999»
    A Study in Coverage-Driven Test Generation
    16 years 4 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 »
    94
    Voted
    DAC
    1999
    ACM
    128views Computer Architecture» more  DAC 1999»
    Symbolic Model Checking Using SAT Procedures instead of BDDs
    16 years 4 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 »
    DAC
    1999
    ACM
    131views Computer Architecture» more  DAC 1999»
    Verification of a Microprocessor Using Real World Applications
    16 years 4 months ago
    Verification of a Microprocessor Using Real World Applications
    Download  ics.kaist.ac.kr
    You-Sung Chang, Seungjong Lee, In-Cheol Park, Chon...
    claim paper
    Read More »
    91
    Voted
    DAC
    1999
    ACM
    138views Computer Architecture» more  DAC 1999»
    Robust Rational Function Approximation Algorithm for Model Generation
    16 years 4 months ago
    Robust Rational Function Approximation Algorithm for Model Generation
    Download  web.mit.edu
    Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
    claim paper
    Read More »
    99
    Voted
    DAC
    1999
    ACM
    126views Computer Architecture» more  DAC 1999»
    Optimization of Inductor Circuits via Geometric Programming
    16 years 4 months ago
    Optimization of Inductor Circuits via Geometric Programming
    Download  smirc.stanford.edu
    Maria del Mar Hershenson, Sunderarajan S. Mohan, S...
    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.