1. A parallel voting scheme for aspect recovery

   • Chen Ke
   • Masumi Ishikawa

   Regular Papers Pages: 385 - 402

2. Interprocedural constant range propagation and alias analysis by multiple version method

   • Fang Xianhong
   • Zhang Zhaoqing
   • Qiao Ruliang

   Regular Papers Pages: 403 - 416

3. K-Dimensional Optimal Parallel Algorithm for the solution of a general class of recurrence equations

   • Gao Qingshi
   • Liu Zhiyong

   Regular Papers Pages: 417 - 424

4. Logical object as a basis of knowledge based systems

   • Xu Dianxiang
   • Zheng Guoliang

   Regular Papers Pages: 425 - 438

5. Minimal model semantics for sorted constraint representation

   • Liao Lejian
   • Shi Zhongzhi

   Regular Papers Pages: 439 - 446

6. ICTSSE: An object-oriented IC test software supporting environment

   • Sun Yuning
   • Wang Xiaoming
   • Shi Wanchun

   Regular Papers Pages: 447 - 454

7. Transformation list for SGML application

   • Gao Hong

   Regular Papers Pages: 455 - 462

8. A general architecture model of CPDL Interpreter

   • Xu Fupei
   • Luo Chi
   • Jin Yadong

   Regular Papers Pages: 463 - 469

9. A unifiedO(logN) and optimal sorting vector algorithm

   • Gao Qingshi

   Brief Papers Pages: 470 - 475

10. Shared variable oriented parallel precompiler for SPMD model

    • Kang Jichang
    • Zhu Yi’an
    • Ying Bishan

    Brief Papers Pages: 476 - 480