7766 search results - page 171 / 1554 » Testing Nondeterminate Systems |
TIP
2010
13 years 8 months ago
2010
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
MOC
2002
13 years 9 months ago
2002
This paper presents the limit laws of discrepancies defined via exponential sums, and algorithms (with error bounds) to approximate the corresponding distribution functions. The re...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
DLOG
2009
13 years 7 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...