Volume 13,Issue 12,2002 Table of Contents

Other Issues:  
  
Contents

  • A Traffic Shaping Framework Based on Network Calculus
  • ZHANG Xin-ming,CHEN Guo-liang and GU Jun
  • 2002,13(12):2225-2230 [Abstract(2286)]  [View PDF(2915)426.59 K]
  • A Parallel Algorithm for Prestack Depth Migration Based on Shared Memory
  • LI Jian-jiang,SHU Ji-wu,WANG You-xin,WANG Ding-xing and ZHENG Wei-min
  • 2002,13(12):2231-2237 [Abstract(2384)]  [View PDF(3045)495.45 K]
  • Adaptive Zero-Block Detection Algorithm with Multi-Resolution
  • LI Qiang,CUI Hui-juan,TANG Kun and DU Wen
  • 2002,13(12):2231-2336 [Abstract(2734)]  [View PDF(2761)449.37 K]
  • The Architecture Description Language XADL and Architectural Mismatch Checking
  • ZHANG Bo,FENG Yu-lin and HUANG Tao
  • 2002,13(12):2238-2243 [Abstract(2409)]  [View PDF(2991)356.81 K]
  • The Formal Semantics of UML State Machine
  • JIANG Hui,LIN Dong and XIE Xi-ren
  • 2002,13(12):2244-2250 [Abstract(2683)]  [View PDF(3532)394.15 K]
  • Design and Evaluation of an Algorithm for Integrated Dynamic Scheduling in Real-Time Heterogeneous Systems
  • QIAO Ying,ZOU Bing,FANG Ting,WANG Hong-an and DAI Guo-zhong
  • 2002,13(12):2251-2258 [Abstract(2373)]  [View PDF(2859)463.50 K]
  • The Crossing Number of 4-Regular Graphs
  • YANG Yuan-sheng,WANG Dan and LU Wei-ming
  • 2002,13(12):2259-2266 [Abstract(2470)]  [View PDF(2832)669.99 K]
  • Computing the Minimal Hitting Sets with Binary HS-Tree
  • JIANG Yun-fei and LIN Li
  • 2002,13(12):2267-2274 [Abstract(2910)]  [View PDF(3265)479.31 K]
  • A Fast Algorithm for the Drawing of Circles
  • CHENG Jin,LU Guo-dong and TAN Jian-rong
  • 2002,13(12):2275-2280 [Abstract(2950)]  [View PDF(4526)458.45 K]
  • Color Separation and Printing for Spot Color Printing Technology
  • GE Min,MENG Xiang-xu and NG Bin
  • 2002,13(12):2281-2285 [Abstract(2474)]  [View PDF(3008)381.31 K]
  • A Linear Camera Self-Calibration Technique Based on Projective Reconstruction
  • LI Hua and HU Zhan-yi
  • 2002,13(12):2286-2296 [Abstract(2405)]  [View PDF(3505)747.80 K]
  • An On-Line Structure Learning Algorithm of Belief Network
  • LIU Qi-yuan,ZHANG Cong,SHEN Yi-dong and WANG Cheng-liang
  • 2002,13(12):2297-2304 [Abstract(2409)]  [View PDF(2741)516.41 K]
  • Analysis and Verification of Local Properties of Ada Tasking Based on Net Language
  • DING Zhi-jun and JIANG Chang-jun
  • 2002,13(12):2305-2316 [Abstract(2638)]  [View PDF(2836)893.87 K]
  • A Method for Solving Optimization Problem in Continuous Space by Using Ant Colony Algorithm
  • CHEN Ling,SHEN Jie and QIN Ling
  • 2002,13(12):2317-2323 [Abstract(2695)]  [View PDF(4492)483.31 K]
  • Construction of Perception Mechanism in Virtual Assembly
  • CHENG Cheng
  • 2002,13(12):2324-2330 [Abstract(2384)]  [View PDF(2788)391.00 K]
  • Complexity Analysis for the HEWN Algorithm--A Discussible Opinion
  • HAN Ai-li and YANG Zhi-min
  • 2002,13(12):2337-2342 [Abstract(3041)]  [View PDF(3374)451.04 K]
  • A Solution to Reengineering the Legacy System Based on Mobile Agent Technology
  • ZHAN Jian-feng and CHENG Hu
  • 2002,13(12):2343-2348 [Abstract(1874)]  [View PDF(2634)352.02 K]
  • Review Articles

  • A Survey on Mesh Simplification
  • HE Hui-guang,TIAN Jie,ZHANG Xiao-peng,ZHAO Ming-chang and LI Guang-ming
  • 2002,13(12):2215-2224 [Abstract(4840)]  [View PDF(4490)674.25 K]