ALGEBRAIC APPROACH TO TESTING OF EQUIVALENCE OF SEQUENTIAL-MACHINES

被引：0

|

作者：

DIMANZO, M

FRISIANI, AL

OLIMPO, G

机构：

来源：

DIGITAL PROCESSES | 1978年 / 4卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：17 / 28

页数：12

相关论文

共 50 条

[41] FAULT-TOLERANT ASYNCHRONOUS SEQUENTIAL-MACHINES
MAKI, GK
SAWIN, DH
IEEE TRANSACTIONS ON COMPUTERS, 1974, C-23 (07) : 651 - 657
[42] SYNCHRONOUS SEQUENTIAL-MACHINES - A MODULAR AND TESTABLE DESIGN
SALUJA, KK
IEEE TRANSACTIONS ON COMPUTERS, 1980, 29 (11) : 1020 - 1025
[43] ASYNCHRONOUS SEQUENTIAL-MACHINES DESIGNED FOR FAULT DETECTION
SAWIN, DH
MAKI, GK
IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (03) : 239 - 249
[44] REALIZATION OF STORED-PROGRAM SEQUENTIAL-MACHINES
HUSSAIN, AMA
ELECTRONICS LETTERS, 1974, 10 (12) : 246 - 248
[45] INFERENCE OF SEQUENTIAL-MACHINES FROM SAMPLE COMPUTATIONS
VEELENTURF, LPJ
IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (02) : 167 - 170
[46] A NEW APPROACH TO SINGLE-FAULT-TOLERANT REALIZATION OF SYNCHRONOUS SEQUENTIAL-MACHINES
SRIMANI, PK
DE, N
SENGUPTA, A
BANDYOPADHYAY, S
INFORMATION SCIENCES, 1982, 26 (03) : 189 - 198
[47] UNIFORM DECOMPOSITION OF INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
WILLIAMS, GH
IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (08) : 840 - 843
[48] A METHOD FOR MINIMIZING INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
YAMAMOTO, M
IEEE TRANSACTIONS ON COMPUTERS, 1980, 29 (08) : 732 - 736
[49] ON ACHIEVING COMPLETE FAULT COVERAGE FOR SEQUENTIAL-MACHINES
POMERANZ, I
REDDY, SM
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (03) : 378 - 386
[50] DESIGNING SYSTOLIC ALGORITHMS USING SEQUENTIAL-MACHINES
IBARRA, OH
KIM, SM
PALIS, MA
IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (06) : 531 - 542

← 1 2 3 4 5 →