10715 search results - page 165 / 2143 » Proofs from Tests |
117
click to vote
CORR
2008
Springer
15 years 3 months 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...
114
click to vote
ENVSOFT
2007
15 years 3 months 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 ā...
131
click to vote
ENTCS
2002
15 years 3 months 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, ...
110
Voted
EUROPAR
2004
Springer
15 years 9 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...
130
click to vote
ERLANG
2003
ACM
15 years 8 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...