0254-4164
1996 Issue 1
..............page:71
..............page:42
..............page:77-80
A PERFORMANCE EVALUATION ALGORITHM OF FAULT-TOLERANT TOKEN BUS NETWORK
Li Zhongyong;Li Renhou
Li Zhongyong;Li Renhou
..............page:72-76
..............page:68-71
..............page:64-67
SPECIFICATION-DRIVEN VLSI DESIGN METHODOLOGY
SHI Longxing;Sun Dayou;LU Shengli
SHI Longxing;Sun Dayou;LU Shengli
..............page:58-63
A NEW COMMUNICATION MECHANISM IN MULTI-MICROPROCESSOR SYSTEMS
Xue Yibo;Han Chengde
Xue Yibo;Han Chengde
..............page:52-57
MANY-SORTED PROPOSITIONAL DYNAMIC LOGIC SYSTEM BASED ON PARALLEL PROCESSING ENVIRONMENT
Wu Guoqing;Li Qiongzhang;Wang Lanjun
Wu Guoqing;Li Qiongzhang;Wang Lanjun
..............page:43-51
RULE TRANSFORMATION FOR GENERAL RIGHT-AND LEFT-LINEAR RECURSIVE RULES
Yuan Jun;Chen Dong;Wang Nengbin
Yuan Jun;Chen Dong;Wang Nengbin
..............page:36-42
DEVELOPING AN OBJECT-ORIENTED EXTENSION OF MODULA-2
Li Xuandong;ZHENG Guoliang
Li Xuandong;ZHENG Guoliang
..............page:30-35
SIGNATURE-COMPATIBLE INHERITANCE AND ITS SEMANTICS
Li Xuandong;ZHENG Guoliang
Li Xuandong;ZHENG Guoliang
..............page:23-29
A VLSI ALGORITHM FOR CFAR DETECTION
Xu Meirui;DU hai
Xu Meirui;DU hai
..............page:16-22
A TIMING-DRIVEN VLSI PLACEMENT ALGORITHM
PENG Yuxing;Chen Fujie
PENG Yuxing;Chen Fujie
..............page:10-15
LIVECHART: A KIND OF STATECHART USED FOR LIVELINESS PROOF
ZHANG Xingyuan;Xie Xiren
ZHANG Xingyuan;Xie Xiren
..............page:1-9