551 search results - page 70 / 111 » Reducing the cost of applying adaptive test cases |
121
click to vote
INFORMATICALT
2002
15 years 1 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
114
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
124
click to vote
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
123
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
140
click to vote
GVD
2004
15 years 3 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...