首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
OPTIMAL AND NEAR-OPTIMAL CHECKING EXPERIMENTS FOR OUTPUT FAULTS IN SEQUENTIAL-MACHINES
被引:6
|
作者
:
BOUTE, RT
论文数:
0
引用数:
0
h-index:
0
机构:
BELL TEL MFG CO,ANTWERP,BELGIUM
BELL TEL MFG CO,ANTWERP,BELGIUM
BOUTE, RT
[
1
]
机构
:
[1]
BELL TEL MFG CO,ANTWERP,BELGIUM
来源
:
IEEE TRANSACTIONS ON COMPUTERS
|
1974年
/ C 23卷
/ 11期
关键词
:
D O I
:
10.1109/T-C.1974.223832
中图分类号
:
TP3 [计算技术、计算机技术];
学科分类号
:
0812 ;
摘要
:
引用
收藏
页码:1207 / 1213
页数:7
相关论文
共 50 条
[1]
CHECKING EXPERIMENTS FOR STABLE MEMORY FAULTS IN SEQUENTIAL-MACHINES
FUJIWARA, H
论文数:
0
引用数:
0
h-index:
0
FUJIWARA, H
KINOSHITA, K
论文数:
0
引用数:
0
h-index:
0
KINOSHITA, K
JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING,
1978,
2
(01):
: 3
-
14
[2]
CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES
KOHAVI, Z
论文数:
0
引用数:
0
h-index:
0
机构:
TECHNION ISRAEL INST TECHNOL,DEPT ELECT ENGN,HAIFA,ISRAEL
KOHAVI, Z
RIVIERRE, JA
论文数:
0
引用数:
0
h-index:
0
机构:
TECHNION ISRAEL INST TECHNOL,DEPT ELECT ENGN,HAIFA,ISRAEL
RIVIERRE, JA
KOHAVI, I
论文数:
0
引用数:
0
h-index:
0
机构:
TECHNION ISRAEL INST TECHNOL,DEPT ELECT ENGN,HAIFA,ISRAEL
KOHAVI, I
INFORMATION SCIENCES,
1974,
7
(01)
: 11
-
28
[3]
CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES - COMMENT
WAKIMURA, Y
论文数:
0
引用数:
0
h-index:
0
机构:
HIROSHIMA UNIV,DEPT ELECTR,HIROSHIMA,JAPAN
HIROSHIMA UNIV,DEPT ELECTR,HIROSHIMA,JAPAN
WAKIMURA, Y
YOSHIDA, N
论文数:
0
引用数:
0
h-index:
0
机构:
HIROSHIMA UNIV,DEPT ELECTR,HIROSHIMA,JAPAN
HIROSHIMA UNIV,DEPT ELECTR,HIROSHIMA,JAPAN
YOSHIDA, N
IEEE TRANSACTIONS ON COMPUTERS,
1975,
24
(11)
: 1141
-
1142
[4]
TOTALLY PRESET CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES
LIN, GK
论文数:
0
引用数:
0
h-index:
0
LIN, GK
MENON, PR
论文数:
0
引用数:
0
h-index:
0
MENON, PR
IEEE TRANSACTIONS ON COMPUTERS,
1983,
32
(02)
: 101
-
108
[5]
TESTABLE DESIGN OF SINGLE-OUTPUT SEQUENTIAL-MACHINES USING CHECKING EXPERIMENTS
SALUJA, KK
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV NEWCASTLE,DEPT ELECT & COMP ENGN,NEWCASTLE,NSW 2308,AUSTRALIA
SALUJA, KK
DANDAPANI, R
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV NEWCASTLE,DEPT ELECT & COMP ENGN,NEWCASTLE,NSW 2308,AUSTRALIA
DANDAPANI, R
IEEE TRANSACTIONS ON COMPUTERS,
1986,
35
(07)
: 658
-
662
[6]
IRREDUNDANT SEQUENTIAL-MACHINES VIA OPTIMAL LOGIC SYNTHESIS
DEVADAS, S
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
DEVADAS, S
MA, HKT
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
MA, HKT
NEWTON, AR
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
NEWTON, AR
SANGIOVANNIVINCENTELLI, A
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94072
SANGIOVANNIVINCENTELLI, A
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,
1990,
9
(01)
: 8
-
18
[7]
IRREDUNDANT INTERACTING SEQUENTIAL-MACHINES VIA OPTIMAL LOGIC SYNTHESIS
ASHAR, P
论文数:
0
引用数:
0
h-index:
0
机构:
MIT,DEPT ELECT ENGN & COMP SCI,CAMBRIDGE,MA 02139
MIT,DEPT ELECT ENGN & COMP SCI,CAMBRIDGE,MA 02139
ASHAR, P
DEVADAS, S
论文数:
0
引用数:
0
h-index:
0
机构:
MIT,DEPT ELECT ENGN & COMP SCI,CAMBRIDGE,MA 02139
MIT,DEPT ELECT ENGN & COMP SCI,CAMBRIDGE,MA 02139
DEVADAS, S
NEWTON, AR
论文数:
0
引用数:
0
h-index:
0
机构:
MIT,DEPT ELECT ENGN & COMP SCI,CAMBRIDGE,MA 02139
MIT,DEPT ELECT ENGN & COMP SCI,CAMBRIDGE,MA 02139
NEWTON, AR
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,
1991,
10
(03)
: 311
-
325
[8]
OUTPUT-EXTENDED SEQUENTIAL-MACHINES
NADLER, M
论文数:
0
引用数:
0
h-index:
0
NADLER, M
PROCEEDINGS OF THE IEEE,
1979,
67
(05)
: 864
-
866
[9]
DESIGN OF SELF-CHECKING SEQUENTIAL-MACHINES
DHAWAN, S
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV NEW MEXICO,DEPT ELECT & COMP ENGN,ALBUQUERQUE,NM 87131
UNIV NEW MEXICO,DEPT ELECT & COMP ENGN,ALBUQUERQUE,NM 87131
DHAWAN, S
DEVRIES, RC
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV NEW MEXICO,DEPT ELECT & COMP ENGN,ALBUQUERQUE,NM 87131
UNIV NEW MEXICO,DEPT ELECT & COMP ENGN,ALBUQUERQUE,NM 87131
DEVRIES, RC
IEEE TRANSACTIONS ON COMPUTERS,
1988,
37
(10)
: 1280
-
1284
[10]
Optimal and near-optimal algorithms for generalized intersection reporting on pointer machines
Shi, QM
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Maryland, Inst Adv Comp Studies, College Pk, MD 20742 USA
Univ Maryland, Inst Adv Comp Studies, College Pk, MD 20742 USA
Shi, QM
JaJa, J
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Maryland, Inst Adv Comp Studies, College Pk, MD 20742 USA
Univ Maryland, Inst Adv Comp Studies, College Pk, MD 20742 USA
JaJa, J
INFORMATION PROCESSING LETTERS,
2005,
95
(03)
: 382
-
388
←
1
2
3
4
5
→