1. On the problem of optimizing parallel programs for complex memory hierarchies

   • Guohua Jin
   • Fujie Chen

   OriginalPaper Pages: 1 - 26

2. On GID-testable two-dimensional iterative arrays

   • Weikang Huang
   • F. Lombard

   OriginalPaper Pages: 27 - 36

3. Real-time collision-free path planning for robots in configuration space

   • Wei Li
   • Bo Zhang
   • Hilmar Jaschek

   OriginalPaper Pages: 37 - 52

4. Automated theorem proving in temporal logic: T-resolution

   • Zhaokeng Zhao
   • Jun Dai
   • Wendan Chen

   OriginalPaper Pages: 53 - 62

5. An improved bottom-up method for implementing equational programming language

   • Qilong Han
   • Ruzhan Lu
   • Yongqiang Sun

   OriginalPaper Pages: 63 - 69

6. Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques

   • Kaihuai Qin
   • Gang Fan
   • Cai Sun

   OriginalPaper Pages: 70 - 85

7. AnO(k ²n²) algorithm to find ak-partition in ak-connected graph

   • Jun Ma
   • Shaohan Ma

   OriginalPaper Pages: 86 - 91

8. A method for minimization design of two-level logic networks using multiplexer universal logic modules

   • Wenbin Jiang

   OriginalPaper Pages: 92 - 96