Sciweavers

1596 search results - page 24 / 320
» Quantum property testing
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
14 years 3 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
STACS
2009
Springer
14 years 4 months ago
Testing Linear-Invariant Non-Linear Properties
Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...
TAP
2009
Springer
125views Hardware» more  TAP 2009»
14 years 4 months ago
Complementary Criteria for Testing Temporal Logic Properties
Gordon Fraser, Franz Wotawa
ICALP
2004
Springer
14 years 3 months ago
Property Testing of Regular Tree Languages
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
Frédéric Magniez, Michel de Rougemon...
ESA
2001
Springer
68views Algorithms» more  ESA 2001»
14 years 2 months ago
Property Testing with Geometric Queries
Artur Czumaj, Christian Sohler