A GENERALIZED ALGORITHM FOR CONSTRUCTING CHECKING SEQUENCES

被引：3
作者：
BRAUN, RD [1 ]
GIVONE, DD [1 ]
机构：
[1] SUNY BUFFALO,DEPT ELECT ENGN,AMHERST,NY 14260
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1981年 / 30卷 / 02期
关键词：
D O I：
10.1109/TC.1981.6312177
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：141 / 144
页数：4
相关论文
共 50 条
[41]   Generalizing redundancy elimination in checking sequences [J].
Tekle, KT ;
Ural, H ;
Yalcin, MC ;
Yenigun, H .
COMPUTER AND INFORMATION SCIENCES - ISCIS 2005, PROCEEDINGS, 2005, 3733 :915-926
[42]   Reducing the lengths of checking sequences by overlapping [J].
Ural, Hasan ;
Zhang, Fan .
TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 :274-288
[43]   Generalized ballot sequences are ascent sequences [J].
Dukes, Mark .
AUSTRALASIAN JOURNAL OF COMBINATORICS, 2016, 64 :61-63
[44]   BEATTY SEQUENCES AND WYTHOFF SEQUENCES, GENERALIZED [J].
Kimberling, Clark .
FIBONACCI QUARTERLY, 2011, 49 (03) :195-200
[45]   ONE METHOD FOR CONSTRUCTING A CHECKING SEQUENCE FOR PROTOCOL MACHINE [J].
EVTUSHENKO, NV ;
PETRENKO, AF .
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (03) :14-17
[46]   CONSTRUCTING GENERALIZED VOTING PARADOXES [J].
DEB, R .
REVIEW OF ECONOMIC STUDIES, 1976, 43 (02) :347-351
[47]   LTL generalized model checking revisited [J].
Godefroid P. ;
Piterman N. .
International Journal on Software Tools for Technology Transfer, 2011, 13 (6) :571-584
[48]   LTL Generalized Model Checking Revisited [J].
Godefroid, Patrice ;
Piterman, Nir .
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 :89-104
[49]   CONSTRUCTING GENERALIZED SPLINE SPACES [J].
FREYBURGER, K .
NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, 1994, 15 (7-8) :791-811
[50]   CONSTRUCTING CHOICE SEQUENCES FROM LAWLESS SEQUENCES OF NEIGHBORHOOD FUNCTIONS [J].
VANDERHOEVEN, GF ;
MOERDIJK, I .
LECTURE NOTES IN MATHEMATICS, 1984, 1103 :207-234
12345