Volume 7,Issue 10,1996 Table of Contents
OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICSHuang Tao,Feng Yulin,Ni Bin and Li Jing1996,7(10):577-586 [Abstract(3750)] [View PDF(4718)691.52 K]A GRAPH GRAMMAR BASED CONCURRENT SYSTEM TESTING METHOD AND ITS IMPLEMENTATIONXu Jianli and Zhou Longxiang1996,7(10):587-605 [Abstract(3508)] [View PDF(4804)1.21 M]A NETWORK-PARTITION BASED MULTICASTING ROUTING METHODXie Peng,Zhu Yi an,Kang Jichang and Wang Yakun1996,7(10):606-610 [Abstract(3987)] [View PDF(4568)344.83 K]A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGESong Litong,Jin Chengzhi and Wang Danru1996,7(10):611-615 [Abstract(4191)] [View PDF(5102)306.84 K]A HEURISTIC METHOD FOR CONSTRAINED PALLET LOADING PROBLEMWang Jinmin,Chen Dongxiang,Zha Jianzhong,Wang Aihu and Zhang Jiexiao1996,7(10):616-620 [Abstract(3944)] [View PDF(5036)331.77 K]AN ELASTIC MATCHING METHOD FOR DATA EXTRACTION OF FORM IMAGE PROCESSLiu Jiangning,Yang Rong and Zhang Jian1996,7(10):621-625 [Abstract(3938)] [View PDF(4603)376.75 K]THE TECHNOLOGY MAPPING THEORY ALGORITHM FOR MINIMAL DELAY IN LUT BASED EPGA DESINGPeng Yuxing and Chen Fujie1996,7(10):626-633 [Abstract(3813)] [View PDF(5345)467.99 K]THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGELu Weidong and Jin Chengzhi1996,7(10):634-640 [Abstract(3497)] [View PDF(5055)599.14 K]