On the problem of optimizing parallel programs for complex memory hierarchies Guohua JinFujie Chen OriginalPaper Pages: 1 - 26
On GID-testable two-dimensional iterative arrays Weikang HuangF. Lombard OriginalPaper Pages: 27 - 36
Real-time collision-free path planning for robots in configuration space Wei LiBo ZhangHilmar Jaschek OriginalPaper Pages: 37 - 52
Automated theorem proving in temporal logic: T-resolution Zhaokeng ZhaoJun DaiWendan Chen OriginalPaper Pages: 53 - 62
An improved bottom-up method for implementing equational programming language Qilong HanRuzhan LuYongqiang Sun OriginalPaper Pages: 63 - 69
Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques Kaihuai QinGang FanCai Sun OriginalPaper Pages: 70 - 85
AnO(k 2n2) algorithm to find ak-partition in ak-connected graph Jun MaShaohan Ma OriginalPaper Pages: 86 - 91
A method for minimization design of two-level logic networks using multiplexer universal logic modules Wenbin Jiang OriginalPaper Pages: 92 - 96