1722 search results - page 95 / 345 » Generating Tests from Counterexamples |
131
click to vote
NORDSEC
2009
Springer
15 years 9 months ago
2009
Springer
In our paper, we analyze possibilities to generate true random data in mobile devices such as mobile phones or pocket computers. We show how to extract arguably true random data w...
113
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
We examine the use of Web services, an XML-based distributed object system, for developing reusable, interoperable services for computational science web portals. This paper descr...
138
click to vote
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
115
click to vote
NIPS
2008
15 years 4 months ago
2008
We apply robust Bayesian decision theory to improve both generative and discriminative learners under bias in class proportions in labeled training data, when the true class propo...
119
click to vote
ASE
2010
15 years 3 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...