Search Sciweavers | Sciweavers

1795 search results - page 26 / 359

» On the Complexity of Circuit Satisfiability

click to vote

DATE
2002
IEEE

108views Hardware» more DATE 2002»

A Case Study for the Verification of Complex Timed Circuits: IPCMOS

14 years 14 days ago

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 »

click to vote

GLVLSI
1996
IEEE

128views VLSI» more GLVLSI 1996»

Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits

13 years 11 months ago

Download www.cecs.uci.edu

Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghi...

claim paper

Read More »

click to vote

FOCS
1992
IEEE

94views Theoretical Computer Science» more FOCS 1992»

Separating the Communication Complexities of MOD m and MOD p Circuits

13 years 11 months ago

Download www.cs.elte.hu

: We prove in this paper that it is much harder to evaluate depth

Vince Grolmusz

claim paper

Read More »

click to vote

DAGSTUHL
2006

105views Software Engineering» more DAGSTUHL 2006»

Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures

13 years 9 months ago

Download drops.dagstuhl.de

William Hesse

claim paper

Read More »

click to vote

ECCC
2006

82views more ECCC 2006»

The Complexity of Depth-3 Circuits Computing Symmetric Boolean Functions

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers