We use cookies to improve your experience with our site.

Verification of Systolic Array:An FP Functional Approach
Sun Yongqiang
1988, 3(2): 81-101.
Abstract
A New Method for Describing the AND-OR-Parallel Execution of Logic Programs
Sun Chengzheng, Tzu Yungui
1988, 3(2): 102-112.
Abstract
Extending the Object-Oriented Paradigm for Supporting Complex Objects
Chen Qiming
1988, 3(2): 113-130.
Abstract
Data Dependencies in Database with Incomplete Information
Zhang Yan, He Jichao
1988, 3(2): 131-138.
Abstract
Transaction Management in Distributed Database System POREL
Wang Hanhu
1988, 3(2): 139-146.
Abstract
Ring Delay Chain for Exact Measure of Pulse Cycle Error
Yin Yanzhi, Chen Changlin, Shen Baoning, Ding Shixiang
1988, 3(2): 147-152.
Abstract
An Expert System for Robot Transfer Planning
Cai Zixing
1988, 3(2): 153-160.
Abstract