Search Sciweavers | Sciweavers

980 search results - page 10 / 196

» Logical Testing

click to vote

FTCS
1993

94views more FTCS 1993»

Balance Testing of Logic Circuits

13 years 8 months ago

Download people.ee.duke.edu

We present a new test response compression method called cumulative balance testing (CBT)that extends both balance testing and accumulatorcompression testing. CBT uses an accumulat...

Krishnendu Chakrabarty, John P. Hayes

claim paper

Read More »

click to vote

TAP
2009
Springer

125views Hardware» more TAP 2009»

Complementary Criteria for Testing Temporal Logic Properties

14 years 2 months ago

Download tap.ethz.ch

Gordon Fraser, Franz Wotawa

claim paper

Read More »

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

14 years 1 months ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

click to vote

ISCAS
1999
IEEE

72views Hardware» more ISCAS 1999»

Observing test response of embedded cores through surrounding logic

13 years 11 months ago

Download users.ece.utexas.edu

P. K. Jaini, Nur A. Touba

claim paper

Read More »

click to vote

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers