1596 search results - page 60 / 320 » Quantum property testing |
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
AML
2010
13 years 10 months ago
2010
A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cann...
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
On open and controversial issue in empirical data analysis is to decide whether scaling and multifractal properties observed in empirical data actually exist, or whether they are ...