Sciweavers

1401 search results - page 95 / 281
» Cost-Sensitive Test Strategies
Sort
View
133
Voted
DAC
1994
ACM
15 years 7 months ago
Dynamic Search-Space Pruning Techniques in Path Sensitization
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
João P. Marques Silva, Karem A. Sakallah
135
Voted
TPHOL
2005
IEEE
15 years 9 months ago
A Structured Set of Higher-Order Problems
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
Christoph Benzmüller, Chad E. Brown
117
Voted
GECCO
2009
Springer
148views Optimization» more  GECCO 2009»
15 years 8 months ago
BBOB-benchmarking the generalized generation gap model with parent centric crossover
The generalized generation gap (G3) model of an evolutionary algorithm equipped with the parent centric crossover (PCX) is tested on the BBOB 2009 benchmark testbed. To improve it...
Petr Posik
127
Voted
TEC
2008
94views more  TEC 2008»
15 years 3 months ago
Measuring Generalization Performance in Coevolutionary Learning
Coevolutionary learning involves a training process where training samples are instances of solutions that interact strategically to guide the evolutionary (learning) process. One ...
Siang Yew Chong, Peter Tino, Xin Yao
118
Voted
VTS
1996
IEEE
111views Hardware» more  VTS 1996»
15 years 7 months ago
Synthesis-for-scan and scan chain ordering
Designing a testable circuit is often a two step process. First, the circuit is designed to conform to the functional specifications. Then, the testability aspects are added. By t...
Robert B. Norwood, Edward J. McCluskey