8671 search results - page 380 / 1735 » A generator for hierarchical problems |
169
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
176
click to vote
UPP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
174
Voted
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
176
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper presents a novel approach for the problem of generating tiled code for nested for-loops using a tiling transformation. Tiling or supernode transformation has been widel...
194
click to vote
CP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...