Contents

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

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

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

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

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

THE RESULT ORGANIZATION IN EXPLANATION─BASED LEARNING Hao Jigang and Shi Chunyi 1996,7(4):233-237 [Abstract(4359)]  [View PDF(5379)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(4689)]  [View PDF(6192)414.03 K]

DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE Zuo Zhihong and Gong Tianfu 1996,7(4):244-251 [Abstract(4349)]  [View PDF(5801)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(4438)]  [View PDF(6450)842.82 K]