Sciweavers

5159 search results - page 50 / 1032
» Structural Testing of Executables
Sort
View
TCS
2002
13 years 10 months ago
Authentication tests and the structure of bundles
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
Joshua D. Guttman, F. Javier Thayer
FMCAD
2007
Springer
14 years 5 months ago
Formal Verification of Partial Good Self-Test Fencing Structures
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
ETS
2011
IEEE
212views Hardware» more  ETS 2011»
12 years 10 months ago
Structural Test for Graceful Degradation of NoC Switches
Abstract—Networks-on-Chip (NoCs) are implicitly fault tolerant due to their inherent redundancy. They can overcome defective cores, links and switches. As a side effect, yield is...
Atefe Dalirsani, Stefan Holst, Melanie Elm, Hans-J...
CSDA
2010
175views more  CSDA 2010»
13 years 11 months ago
Testing, monitoring, and dating structural changes in exchange rate regimes
Linear regression models for de facto exchange rate regime classification are complemented by inferential techniques for evaluating the stability of the regimes. To simultaneously...
Achim Zeileis, Ajay Shah, Ila Patnaik
JMLR
2010
94views more  JMLR 2010»
13 years 9 months ago
A Rotation Test to Verify Latent Structure
We consider here how to tell whether a latent variable that has been estimated in a multivariate regression context might be real. Often a followup investigation will find a real...
Patrick O. Perry, Art B. Owen