Sciweavers

    11061 search results - page 382 / 2213
    » Computer Architecture
    Sort
    View
    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 »
    DAC
    1999
    ACM
    131views Computer Architecture» more  DAC 1999»
    Verification of a Microprocessor Using Real World Applications
    16 years 5 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 »
    DAC
    1999
    ACM
    138views Computer Architecture» more  DAC 1999»
    Robust Rational Function Approximation Algorithm for Model Generation
    16 years 5 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 »
    DAC
    1999
    ACM
    91views Computer Architecture» more  DAC 1999»
    Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic
    16 years 5 months ago
    Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic
    Download  research.microsoft.com
    Milos D. Ercegovac, Darko Kirovski, Miodrag Potkon...
    claim paper
    Read More »
    DAC
    1999
    ACM
    114views Computer Architecture» more  DAC 1999»
    An O-Tree Representation of Non-Slicing Floorplan and Its Applications
    16 years 5 months ago
    An O-Tree Representation of Non-Slicing Floorplan and Its Applications
    Download  eda.ee.ucla.edu
    Pei-Ning Guo, Chung-Kuan Cheng, Takeshi Yoshimura
    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.