Contents

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

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

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

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

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

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

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