Contents

EXTERNAL CLOSURE AND ITS APPLICATION IN RELATIONAL DATABASE Wang Yujun,Shi Baile and Hu Meichen 1996,7(4):193-200 [Abstract(4124)]  [View PDF(4062)482.02 K]

MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM Liu Tao and Li Guojie 1996,7(4):201-210 [Abstract(3629)]  [View PDF(4097)656.76 K]

A NEW ALGORITHM FOR CACHE COHERENCE IN DSM Fang Zhiyi and Ju Jiubin 1996,7(4):211-216 [Abstract(3600)]  [View PDF(3662)428.82 K]

THE DESIGN OF INTELLIGENT COMPUTER AID INSTRUCTION SYSTEM Wang Xiaohui and Tong Fu 1996,7(4):217-222 [Abstract(3986)]  [View PDF(4685)395.87 K]

COVERING, DECOMPOSITION,AND PARTITION OF EXPRESSIONS Zhou Shengbing and Dai Ruwei 1996,7(4):223-232 [Abstract(3592)]  [View PDF(4135)589.34 K]

THE RESULT ORGANIZATION IN EXPLANATION─BASED LEARNING Hao Jigang and Shi Chunyi 1996,7(4):233-237 [Abstract(3744)]  [View PDF(3967)308.92 K]

USING RESOURCE UTILIZATION AS LOAD INDEX IN DYNAMIC LOAD BALANCING Ju Jiubin,Yang Kun and Xu Gaochao 1996,7(4):238-243 [Abstract(3993)]  [View PDF(4546)414.03 K]

DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE Zuo Zhihong and Gong Tianfu 1996,7(4):244-251 [Abstract(3667)]  [View PDF(4151)446.51 K]

A HEURISTIC ALGORITHM FOR RECTANGULAR PACKING BASED ON BINTREE EXPRESSION Wang Aihu,Zha Jianzhong and Wang Jinmin 1996,7(4):252-257 [Abstract(3791)]  [View PDF(5008)842.82 K]