Sciweavers

1596 search results - page 24 / 320
» Quantum property testing
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 9 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
15 years 11 months ago
Testing Linear-Invariant Non-Linear Properties
Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...
TAP
2009
Springer
125views Hardware» more  TAP 2009»
15 years 11 months ago
Complementary Criteria for Testing Temporal Logic Properties
Gordon Fraser, Franz Wotawa
ICALP
2004
Springer
15 years 10 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»
15 years 9 months ago
Property Testing with Geometric Queries
Artur Czumaj, Christian Sohler