We use cookies to improve your experience with our site.
Advanced Search

On the Problem of Optimizing Parallel Programs for Complex Memory Hierarchies
Jin Guohua, Chen Fujie
1994, 9(1): 1-26.
Abstract
On GID-Testable Two-Dimensional Iterative Arrays
Huang WeiKang, F.Lombard
1994, 9(1): 27-36.
Abstract
Real-Time Collision-Free Path Planning for Robots in Configuration Space
Li Wei, Zhang Bo, Hilmar Jaschek
1994, 9(1): 37-52.
Abstract
Automated Theorem Proving in Temporal Logic:T-Resolution
Zhao Zhaokeng, Dai Jun, Chen Wendan
1994, 9(1): 53-62.
Abstract
An Improved Bottom-up Method for Implementing Equational Programming Language
Han Qilong, Lu Ruzhan, Sun Yongqiang
1994, 9(1): 63-69.
Abstract
Extrapolating Acceleration Algorithms for Finding B-Spline Intersections Using Recursive Subdivision Techniques
Qin Kaihuai, Fan Gang, Sun Cai
1994, 9(1): 70-85.
Abstract
An O(k~2n~2) Algorithm to Find a k-Partition in a k-Connected Graph
Ma Jun, Ma Shaohan
1994, 9(1): 86-91.
Abstract
A Method for Minimization Design of Two-Level Logic Networks Using Multiplexer Universal Logic Modules
Jiang Wenbin
1994, 9(1): 92-96.
Abstract