Journal: J. Comput. Sci. Technol.

Volume 9, Issue 4

289 -- 301Gang Luo. Generating conformance tests for nondeterministic protocol machines
302 -- 310Xinmin Tian, Dingxing Wang, Weimin Zheng, Meiming Shen, Cheng Li. Compiling CIL rewriting language for multiprocessors
311 -- 319Zongtian Liu, Fuan Chen. Research on decompiling technology
320 -- 328Shu Yao, Bo Zhang. The learning convergence of CMAC in cyclic learning
329 -- 341Wei Wu, Wanxie Zhong, Zhijin Sheng. Building case-based preliminary design systems: A Hopfield network approach
342 -- 348Jianguo Xu, Wenxin Wei. GUIDS: A graphical user interface development system in UniECAD
349 -- 364Farid Mheir-El-Saadi, Bozena Kaminska. An automatic hierarchical delay analysis tool
365 -- 372Jianqiang Zhou, Li Xie, Fei Dai, Zhongxiu Sun. Adaptive memory coherence algorithms in DSVM
373 -- 381Yuhua Zheng, Li Xie, Zhongxiu Sun. Full or-parallemism and restricted And-parallelism in BTM