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(2328)]  [View PDF(2954)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(2424)]  [View PDF(3076)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(2794)]  [View PDF(2799)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(2474)]  [View PDF(3029)356.81 K]
  • The Formal Semantics of UML State Machine
  • JIANG Hui,LIN Dong and XIE Xi-ren
  • 2002,13(12):2244-2250 [Abstract(2735)]  [View PDF(3569)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(2434)]  [View PDF(2897)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(2519)]  [View PDF(2865)669.99 K]
  • Computing the Minimal Hitting Sets with Binary HS-Tree
  • JIANG Yun-fei and LIN Li
  • 2002,13(12):2267-2274 [Abstract(2977)]  [View PDF(3296)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(3025)]  [View PDF(4585)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(2509)]  [View PDF(3033)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(2452)]  [View PDF(3551)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(2497)]  [View PDF(2781)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(2687)]  [View PDF(2865)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(2743)]  [View PDF(4587)483.31 K]
  • Construction of Perception Mechanism in Virtual Assembly
  • CHENG Cheng
  • 2002,13(12):2324-2330 [Abstract(2428)]  [View PDF(2820)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(3084)]  [View PDF(3409)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(1935)]  [View PDF(2675)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(4935)]  [View PDF(4526)674.25 K]