4670 search results - page 3 / 934 » Testing that distributions are close |
DEXAW
2007
IEEE
14 years 3 months ago
2007
IEEE
Several classical schemes exist to represent trees as strings over a fixed alphabet; these are useful in many algorithmic and conceptual studies. Our previous work has proposed a...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...
ENTCS
2007
13 years 9 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
ICDCS
1993
IEEE
14 years 1 months ago
1993
IEEE
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer