11172 search results - page 295 / 2235 » Testing Physical Systems |
137
Voted
MOC
2002
15 years 6 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...
222
click to vote
GECCO
2004
Springer
16 years 1 days 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...
176
click to vote
DLOG
2009
15 years 4 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...
287
click to vote
SIGMOD
2006
ACM
16 years 6 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...
133
click to vote
SIGIR
2006
ACM
16 years 19 days ago
2006
ACM
Research and development of information access technology for scanned paper documents has been hampered by the lack of public test collections of realistic scope and complexity. A...