1421 search results - page 68 / 285 » Algorithms for subsequence combinatorics |
WSC
2008
15 years 5 months ago
2008
This paper focuses on a lot merging/splitting problem in a semiconductor wafer fabrication facility. In the fab, two or more lots can be merged into a single lot if routes and all...
115
click to vote
VTS
1997
IEEE
15 years 7 months ago
1997
IEEE
Two fast algorithms for static test sequence compaction are proposed for sequential circuits. The algorithms are based on the observation that test sequences traverse through a sm...
112
click to vote
JAR
2007
15 years 2 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
128
click to vote
KES
2010
Springer
15 years 1 months ago
2010
Springer
This study describes a real time delay estimation method using probe data with adaptive signal control algorithm, “CARREN” (Control Algorithm Retuning paRameters with self perf...
121
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...