7167 search results - page 302 / 1434 » A Technique for Invariant Generation |
286
click to vote
CP
2009
Springer
16 years 8 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
189
Voted
DCC
2002
IEEE
16 years 7 months ago
2002
IEEE
Many applications in a variety of scientific domains produce datasets that consist of a data field lying on a sampling grid that may not be uniformly spaced. However, progressive ...
182
Voted
ICCD
2002
IEEE
16 years 4 months ago
2002
IEEE
Low power design techniques have been employed for more than two decades, however an emerging problem is satisfying the test power constraints for avoiding destructive test and im...
189
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract-Multi-detect (N-detect) testing suffers from the drawback that its test length grows linearly with N. We present a new method to generate compact test sets that provide hi...
203
Voted
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...