|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Feb. 1981 (vol. 30 no. 2)
pp. 141-144
| ASCII Text | x | ||
| Robert D. Braun, Donald D. Givone, "A generalized algorithm for constructing checking sequences," IEEE Transactions on Computers, vol. 30, no. 2, pp. 141-144, Feb., 1981. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1981.6312177, author = {Robert D. Braun and Donald D. Givone}, title = {A generalized algorithm for constructing checking sequences}, journal ={IEEE Transactions on Computers}, volume = {30}, number = {2}, issn = {0018-9340}, year = {1981}, pages = {141-144}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1981.6312177}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - A generalized algorithm for constructing checking sequences IS - 2 SN - 0018-9340 SP141 EP144 EPD - 141-144 A1 - Robert D. Braun, A1 - Donald D. Givone, PY - 1981 KW - validating sequence KW - Checking experiments KW - fault detection KW - sequential machines KW - synchronous machines VL - 30 JA - IEEE Transactions on Computers ER - | |||
An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines possessing linking homing sequences (LHS) has been described [7]. For machines not possessing an LHS, the only method for constructing a checking sequence requires the use of locating sequences which are often very long. In this correspondence a general method for constructing efficient checking sequences using multiple linking homing sequences instead of locating sequences is presented.
Index Terms:
validating sequence,Checking experiments,fault detection,sequential machines,synchronous machines
Citation:
Robert D. Braun, Donald D. Givone, "A generalized algorithm for constructing checking sequences," IEEE Transactions on Computers, vol. 30, no. 2, pp. 141-144, Feb. 1981, doi:10.1109/TC.1981.6312177
Usage of this product signifies your acceptance of the Terms of Use.