613 search results - page 29 / 123 » Finding and Fixing Faults |
DFT
2009
IEEE
15 years 6 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
AIMS
2010
Springer
15 years 3 months ago
2010
Springer
Management of outer edge domains is a big challenge for service providers due to the diversity, heterogeneity and large amount of such networks, together with limited visibility on...
110
click to vote
AWPN
2008
15 years 1 months ago
2008
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own ...
SIAMCOMP
2008
14 years 11 months ago
2008
We study two pattern matching problems that are motivated by applications in computational biology. In the Closest Substring problem k strings s1, . . ., sk are given, and the tas...