Contents

OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS Huang Tao,Feng Yulin,Ni Bin and Li Jing 1996,7(10):577-586 [Abstract(3571)]  [View PDF(4106)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(3386)]  [View PDF(4227)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(3886)]  [View PDF(4003)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(4101)]  [View PDF(4414)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(3853)]  [View PDF(4433)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(3849)]  [View PDF(3989)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(3750)]  [View PDF(4637)467.99 K]

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