Contents

OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS Huang Tao,Feng Yulin,Ni Bin and Li Jing 1996,7(10):577-586 [Abstract(4362)]  [View PDF(5540)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(4050)]  [View PDF(5674)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(4515)]  [View PDF(5377)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(4704)]  [View PDF(5943)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(4542)]  [View PDF(5908)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(4469)]  [View PDF(5323)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(4407)]  [View PDF(6123)467.99 K]

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