6800 search results - page 250 / 1360 » Testing with Functions as Specifications |
174
click to vote
ITC
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper describes a technique which uses the Differential Non Linearity (DNL) test data for fault location and identification of the analog components of a flash ADC. In a flash...
212
click to vote
ET
2002
15 years 7 months ago
2002
As we approach 100nm technology the interconnect issues are becoming one of the main concerns in the testing of gigahertz system-onchips. Voltage distortion (noise) and delay viol...
190
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
194
click to vote
MA
2011
Springer
15 years 2 months ago
2011
Springer
Let S be a p × p random matrix having a Wishart distribution Wp(n, n−1Σ). For testing a general covariance structure Σ = Σ(ξ), we consider a class of test statistics Th = n...
158
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of t...