Volume 7,Issue 10,1996 Table of Contents

Other Issues:  
  
Contents

  • OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS
  • Huang Tao,Feng Yulin,Ni Bin and Li Jing
  • 1996,7(10):577-586 [Abstract(2351)]  [View PDF(2576)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(2204)]  [View PDF(2693)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(2725)]  [View PDF(2508)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(2922)]  [View PDF(2917)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(2513)]  [View PDF(2846)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(2638)]  [View PDF(2432)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(2556)]  [View PDF(3087)467.99 K]
  • THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE
  • Lu Weidong and Jin Chengzhi
  • 1996,7(10):634-640 [Abstract(2296)]  [View PDF(2865)599.14 K]