10715 search results - page 165 / 2143 » Proofs from Tests |
92
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
For a given prime p, a new construction of families of the complex valued sequences of period p with efficient implementation is given by applying both multiplicative characters a...
ENVSOFT
2007
15 years 20 days ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium ā...
106
Voted
ENTCS
2002
15 years 15 days ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
87
Voted
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness ā that is, their ability...
103
Voted
ERLANG
2003
ACM
15 years 6 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine speciļ¬cations. The work is motivated by a need for testing of protocols and services developed b...