We use cookies to improve your experience with our site.
Advanced Search

Generating Conformance Tests for Nondeterministic Protocol Machines
Luo Gang
1994, 9(4): 289-301.
Abstract
Compiling CIL Rewriting Language for Multiprocessors
Tian Xinmin, Wang Dingxing, Zheng Weimin, Shen Meiming, Li Cheng
1994, 9(4): 302-310.
Abstract
Research on Decompiling Technology
Liu Zongtian, Chen Fuan
1994, 9(4): 311-319.
Abstract
The Learning Convergence of CMAC in Cyclic Learning
Yao Shu, Zhang Bo
1994, 9(4): 320-328.
Abstract
Building Case-Based Preliminary Design Systems: A Hopfield Network Approach
Wu Wei, Zhong Wanxie, Sheng Zhijin
1994, 9(4): 329-341.
Abstract
GUIDS: A Graphical User Interface Development System in UniECAD
Xu Jianguo, Wei Wenxin
1994, 9(4): 342-348.
Abstract
An Automatic Hierarchical Delay Analysis Tool
Farid Mheir-ELSaadi, Bozena Kaminska
1994, 9(4): 349-364.
Abstract
Adaptive Memory Coherence Algorithms in DSVM
Zhou Jianqiang, Xie Li, Dai Fei, Sun Zhongxiu
1994, 9(4): 365-372.
Abstract
Full Or-Parallemism and Restricted And-Parallelism in BTM
Zheng Yuhua, Xie Li, Sun Zliongxiu
1994, 9(4): 373-381.
Abstract