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(2391)]  [View PDF(2596)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(2246)]  [View PDF(2716)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(2770)]  [View PDF(2544)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(2977)]  [View PDF(2951)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(2581)]  [View PDF(2871)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(2685)]  [View PDF(2457)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(2593)]  [View PDF(3108)467.99 K]
  • THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE
  • Lu Weidong and Jin Chengzhi
  • 1996,7(10):634-640 [Abstract(2337)]  [View PDF(2900)599.14 K]