Search Sciweavers | Sciweavers

980 search results - page 10 / 196

» Logical Testing

106

Voted

FTCS
1993

94views more FTCS 1993»

Balance Testing of Logic Circuits

15 years 3 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 »

Voted

TAP
2009
Springer

125views Hardware» more TAP 2009»

Complementary Criteria for Testing Temporal Logic Properties

15 years 8 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

15 years 8 months ago

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

Oleg Verbitsky

claim paper

Read More »

Voted

ISCAS
1999
IEEE

72views Hardware» more ISCAS 1999»

Observing test response of embedded cores through surrounding logic

15 years 6 months ago

Download users.ece.utexas.edu

P. K. Jaini, Nur A. Touba

claim paper

Read More »

109

click to vote

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers