Sciweavers

    1795 search results - page 26 / 359
    » On the Complexity of Circuit Satisfiability
    Sort
    View
    DATE
    2002
    IEEE
    108views Hardware» more  DATE 2002»
    A Case Study for the Verification of Complex Timed Circuits: IPCMOS
    15 years 11 months ago
    A Case Study for the Verification of Complex Timed Circuits: IPCMOS
    Download  personals.ac.upc.edu
    ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
    Marco A. Peña, Jordi Cortadella, Alexander ...
    claim paper
    Read More »
    GLVLSI
    1996
    IEEE
    128views VLSI» more  GLVLSI 1996»
    Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits
    15 years 10 months ago
    Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits
    Download  www.cecs.uci.edu
    Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghi...
    claim paper
    Read More »
    FOCS
    1992
    IEEE
    94views Theoretical Computer Science» more  FOCS 1992»
    Separating the Communication Complexities of MOD m and MOD p Circuits
    15 years 9 months ago
    Separating the Communication Complexities of MOD m and MOD p Circuits
    Download  www.cs.elte.hu
    : We prove in this paper that it is much harder to evaluate depth
    Vince Grolmusz
    claim paper
    Read More »
    DAGSTUHL
    2006
    105views Software Engineering» more  DAGSTUHL 2006»
    Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures
    15 years 7 months ago
    Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures
    Download  drops.dagstuhl.de
    William Hesse
    claim paper
    Read More »
    ECCC
    2006
    82views more  ECCC 2006»
    The Complexity of Depth-3 Circuits Computing Symmetric Boolean Functions
    15 years 6 months ago
    The Complexity of Depth-3 Circuits Computing Symmetric Boolean Functions
    Download  cs.haifa.ac.il
    Guy Wolfovitz
    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.