Verification of systolic array: An FP functional approach Sun Yongqiang Regular Papers Pages: 81 - 101
A new method for describing the AND-OR-parallel execution of logic programs Sun ChengzhengTzu Yungui Regular Papers Pages: 102 - 112
Extending the object-oriented paradigm for supporting complex objects Chen Qiming Regular Papers Pages: 113 - 130
Data dependencies in database with incomplete information Zhang YanHe Jichao Regular Papers Pages: 131 - 138
Transaction management in distributed database system POREL Wang Hanhu Regular Papers Pages: 139 - 146
Ring delay chain for exact measure of pulse cycle error Yin YanzhiChen ChanglinDing Shixiang Regular Papers Pages: 147 - 152