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(2465)]  [View PDF(2628)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(2315)]  [View PDF(2753)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(2853)]  [View PDF(2579)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(3059)]  [View PDF(2995)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(2704)]  [View PDF(2939)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(2765)]  [View PDF(2498)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(2668)]  [View PDF(3147)467.99 K]
  • THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE
  • Lu Weidong and Jin Chengzhi
  • 1996,7(10):634-640 [Abstract(2414)]  [View PDF(2943)599.14 K]