4079 search results - page 521 / 816 » Differential Testing for Software |
179
click to vote
ISQED
2002
IEEE
15 years 11 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)...
193
click to vote
FUN
2010
Springer
15 years 11 months ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
163
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
146
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
160
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Existing devices for communicating information to computers are bulky, slow to use, or unreliable. Dasher is a new interface incorporating language modelling and driven by continu...