655 search results - page 1 / 131 » Testing Properties of Collections of Distributions |
ECCC
2010
13 years 3 months ago
2010
PTS
2003
13 years 6 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
DSRT
2008
IEEE
13 years 6 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...
STACS
2005
Springer
13 years 10 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
ECCC
2007
13 years 4 months ago
2007
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...