1. Generating conformance tests for nondeterministic protocol machines

   • Luo Gang

   OriginalPaper Pages: 289 - 301

2. Compiling CIL rewriting language for multiprocessors

   • Tian Xinmin
   • Wang Dingxing
   • Li Cheng

   OriginalPaper Pages: 302 - 310

3. Research on decompiling technology

   • Liu Zongtian
   • Chen Fuan

   OriginalPaper Pages: 311 - 319

4. The learning convergence of CMAC in cyclic learning

   • Yao Shu
   • Zhang Bo

   OriginalPaper Pages: 320 - 328

5. Building case-based preliminary design systems: A Hopfield network approach

   • Wu Wei
   • Zhong Wanxie
   • Sheng Zhijin

   OriginalPaper Pages: 329 - 341

6. GUIDS: A graphical user interface development system in UniECAD

   • Xu Jianguo
   • Wei Wenxin

   OriginalPaper Pages: 342 - 348

7. An automatic hierarchical delay analysis tool

   • Farid Mheir-El-Saadi
   • Bozena Kaminska

   OriginalPaper Pages: 349 - 364

8. Adaptive memory coherence algorithms in DSVM

   • Zhou Jianqiang
   • Xie Li
   • Sun Zhongxiu

   OriginalPaper Pages: 365 - 372

9. Full or-parallemism and restricted And-parallelism in BTM

   • Zheng Yuhua
   • Xie Li
   • Sun Zhongxiu

   OriginalPaper Pages: 373 - 381