Contents

OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS Huang Tao,Feng Yulin,Ni Bin and Li Jing 1996,7(10):577-586 [Abstract(3689)]  [View PDF(4579)691.52 K]

A GRAPH GRAMMAR BASED CONCURRENT SYSTEM TESTING METHOD AND ITS IMPLEMENTATION Xu Jianli and Zhou Longxiang 1996,7(10):587-605 [Abstract(3462)]  [View PDF(4690)1.21 M]

A NETWORK-PARTITION BASED MULTICASTING ROUTING METHOD Xie Peng,Zhu Yi an,Kang Jichang and Wang Yakun 1996,7(10):606-610 [Abstract(3956)]  [View PDF(4442)344.83 K]

A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE Song Litong,Jin Chengzhi and Wang Danru 1996,7(10):611-615 [Abstract(4163)]  [View PDF(4956)306.84 K]

A HEURISTIC METHOD FOR CONSTRAINED PALLET LOADING PROBLEM Wang Jinmin,Chen Dongxiang,Zha Jianzhong,Wang Aihu and Zhang Jiexiao 1996,7(10):616-620 [Abstract(3911)]  [View PDF(4916)331.77 K]

AN ELASTIC MATCHING METHOD FOR DATA EXTRACTION OF FORM IMAGE PROCESS Liu Jiangning,Yang Rong and Zhang Jian 1996,7(10):621-625 [Abstract(3913)]  [View PDF(4466)376.75 K]

THE TECHNOLOGY MAPPING THEORY ALGORITHM FOR MINIMAL DELAY IN LUT BASED EPGA DESING Peng Yuxing and Chen Fujie 1996,7(10):626-633 [Abstract(3789)]  [View PDF(5175)467.99 K]

THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE Lu Weidong and Jin Chengzhi 1996,7(10):634-640 [Abstract(3465)]  [View PDF(4911)599.14 K]