827 search results - page 28 / 166 » Patterns for Timed Property Specifications |
SAINT
2005
IEEE
15 years 7 months ago
2005
IEEE
Stochastic bounds are a promising method to analyze QoS requirements. Indeed it is sufficient to prove that a bound of the real performance satisfies the guarantee. However, the...
MCS
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we propose a computationally effective approach to detect multiple structural breaks in the mean occurring at unknown dates. We present a non-parametric approach th...
117
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
126
click to vote
CI
2005
15 years 1 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
102
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: In many contexts, researchers need specific primers for all sequences in a family such that each primer set amplifies only its target sequence and none of the others, ...