Sciweavers

1466 search results - page 60 / 294
» Completeness of the Authentication Tests
Sort
View
ICCS
2005
Springer
14 years 1 months ago
Model-Based Statistical Testing of a Cluster Utility
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
W. Thomas Swain, Stephen L. Scott
DATE
1998
IEEE
106views Hardware» more  DATE 1998»
14 years 17 days ago
March Tests for Word-Oriented Memories
Most memory test algorithms are optimized tests for a particular memory technology and a particular set of fault models, under the assumption that the memory is bit-oriented; i.e....
A. J. van de Goor, Issam B. S. Tlili
ITC
1993
IEEE
148views Hardware» more  ITC 1993»
14 years 12 days ago
DELTEST: Deterministic Test Generation for Gate-Delay Faults
This paper presents an efficient approach to generate tests for gate delay faults. Unlike other known algorithms which try to generate a 'good' delay test the presented ...
Udo Mahlstedt
COMPUTING
2007
101views more  COMPUTING 2007»
13 years 8 months ago
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove exist...
Alexandre Goldsztejn
FATES
2005
Springer
14 years 1 months ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang