移动计算形式理论分析与研究

大规模分布式系统的一种层次式命名方案

从变量的初始化中获取指针指向信息

并行人工神经网络通信开销的研究

并行数据库的改进Hash划分方法及并行Join算法

一个演绎工程数据库语言DEL

无冲突满足P_4的无U环数据库模式分解条件的研究

凸函数证据理论模型

子句型自相容缺省理论的扩张

遗传算法进化截止代数分布规律的研究

用非线性存储方案设计SIMD计算机的一般方法

HPNI:一种新型的机群系统网络接口

大规模视频点播磁盘cache替换算法

复映射z←e~(i(π/2))+c构造上半平面分形图及“Escher”极限图

一类细节可控的边缘检测算子