Search Sciweavers | Sciweavers

2312 search results - page 12 / 463

» Invariance in Property Testing

click to vote

DAC
2002
ACM

233views Computer Architecture» more DAC 2002»

A comparison of three verification techniques: directed testing, pseudo-random testing and property checking

14 years 9 months ago

Download www.cs.york.ac.uk

This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...

Mike Bartley, Darren Galpin, Tim Blackmore

claim paper

Read More »

click to vote

DAC
1999
ACM

129views Computer Architecture» more DAC 1999»

Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction

14 years 9 months ago

Download computing.ece.vt.edu

Ruifeng Guo, Sudhakar M. Reddy, Irith Pomeranz

claim paper

Read More »

click to vote

ICCV
2003
IEEE

202views Computer Vision» more ICCV 2003»

A Class of Photometric Invariants: Separating Material from Shape and Illumination

14 years 10 months ago

Download www.ri.cmu.edu

We derive a new class of photometric invariants that can be used for a variety of vision tasks including lighting invariant material segmentation, change detection and tracking, a...

Srinivasa G. Narasimhan, Visvanathan Ramesh, Shree...

claim paper

Read More »

click to vote

SOQUA
2004

65views Software Engineering» more SOQUA 2004»

Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest

13 years 10 months ago