Sciweavers

1466 search results - page 70 / 294
» Completeness of the Authentication Tests
Sort
View
FMCAD
2007
Springer
14 years 2 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
ASPDAC
2004
ACM
151views Hardware» more  ASPDAC 2004»
14 years 1 months ago
Combinatorial group testing methods for the BIST diagnosis problem
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
Andrew B. Kahng, Sherief Reda
CONCUR
2006
Springer
13 years 12 months ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
AIR
2005
99views more  AIR 2005»
13 years 8 months ago
Evolving General Term-Weighting Schemes for Information Retrieval: Tests on Larger Collections
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
Ronan Cummins, Colm O'Riordan
CSDA
2007
110views more  CSDA 2007»
13 years 8 months ago
Two-way imputation: A Bayesian method for estimating missing scores in tests and questionnaires, and an accurate approximation
Previous research has shown that method two-way with error for multiple imputation in test and questionnaire data produces small bias in statistical analyses. This method is based...
Joost R. Van Ginkel, L. Andries Van der Ark, Klaas...