Speedup studies of leading iteration model for non-DO loops in comparison with sequential iteration model Chen HaiboCi Yungui Regular Papers Pages: 147 - 154
Synthesis of communicating process skeletons from temporal-spatial logic specifications Cai BiaodongCai XiyiaoChen Jiazheng Regular Papers Pages: 133 - 146
The comparison between the statistical heuristic search and A Zhang BoZhang Ling Regular Papers Pages: 126 - 132
The determining method about the conflict between the null constraints and the set of functional dependencies Liu Weiyi Regular Papers Pages: 116 - 125
NDAUTO: An experimental software automation system Xu JiafuDai MinChen Daoxu Regular Papers Pages: 97 - 105
Preliminary application of the computer technique to GuQin music research Chen Changlin OriginalPaper Pages: 85 - 96
Software Information Base (SIB) and its integration with Data Flow Diagram (DFD) tool Dong Shihai OriginalPaper Pages: 75 - 84
Three improvements on an incremental algorithm for automatic semantic analysis Ye Daxing OriginalPaper Pages: 67 - 74
Transformations between rectangular and triangular patches in Bezier form Li HuaLiu Shenquan OriginalPaper Pages: 52 - 60
A fault-tolerant file management algorithm in distributed computer system “THUDS” Liao XianzhiKumar PereraJin Lan OriginalPaper Pages: 29 - 34
On the communication structures of hyper-ring and hypercube multicomputers Wang JingwenKang JichangHan Zhaoxuan OriginalPaper Pages: 2 - 13
CQAES, a Chinese question answer experimental system Feng YinWang KaizhuLi Zhongrong Short Papers Pages: 317 - 319
A non-recursive algorithm computing set expressions Lian LinZhang YiliTang Changjie Short Papers Pages: 310 - 316
Optimization for the parallel execution of non-DO loops under Leading Iteration Model Chen HaiboCi Yungui Regular Papers Pages: 263 - 272
The ALFALFA entomology pest identification system Hong JiarongCarl Uhrik Regular Papers Pages: 251 - 262
The human-computer dialogue management of FCAD system Zhang FuyanCai ShijieGe Ruding Regular Papers Pages: 221 - 227
A software tool for constructing traditional Chinese medical expert systems Wang NengbinLiu XiaoqingLiu Guangfu Regular Papers Pages: 214 - 220
Algorithm and implementation of parallel multiplication in a mixed number system Luo Yinfang Regular Papers Pages: 203 - 213
A syntactic-semantic approach for pattern recognition and knowledge representation Tai JuweiWang JueChen Xin Regular Papers Pages: 161 - 172
Ring delay chain for exact measure of pulse cycle error Yin YanzhiChen ChanglinDing Shixiang Regular Papers Pages: 147 - 152
Transaction management in distributed database system POREL Wang Hanhu Regular Papers Pages: 139 - 146
Data dependencies in database with incomplete information Zhang YanHe Jichao Regular Papers Pages: 131 - 138
Extending the object-oriented paradigm for supporting complex objects Chen Qiming Regular Papers Pages: 113 - 130
A new method for describing the AND-OR-parallel execution of logic programs Sun ChengzhengTzu Yungui Regular Papers Pages: 102 - 112
Verification of systolic array: An FP functional approach Sun Yongqiang Regular Papers Pages: 81 - 101
The design and implementation of an OA system ZGL1 Xie LiChen PeipeiSun Zhongxiu Short Paper Pages: 75 - 80
Program slicing: Its improved algorithm and application in verification Lu QiZhang FuboQian Jiahua Regular Papers Pages: 29 - 39
Reconvergent-fanout-oriented testability measure Wang JianchaoWei Daozheng Regular Papers Pages: 16 - 28
The design and implementation of a very fast experimental pipelining computer Lin QiXia Peisu Regular Papers Pages: 1 - 6
An online diagnosable fault-tolerant redundancy system Shi WeigengStephen Y. H. Su Short Papers Pages: 310 - 321
A systolic approach for an improvement of a finite field multiplier Qi Yulu Short Papers Pages: 303 - 309
A real-time interprocessor synchronization algorithm for communication in distributed computer systems Duan PingCai Xiyao Regular Papers Pages: 292 - 302