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(2397)]  [View PDF(3003)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(2495)]  [View PDF(3126)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(2884)]  [View PDF(2843)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(2600)]  [View PDF(3076)356.81 K]
  • The Formal Semantics of UML State Machine
  • JIANG Hui,LIN Dong and XIE Xi-ren
  • 2002,13(12):2244-2250 [Abstract(2821)]  [View PDF(3621)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(2522)]  [View PDF(2944)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(2602)]  [View PDF(2904)669.99 K]
  • Computing the Minimal Hitting Sets with Binary HS-Tree
  • JIANG Yun-fei and LIN Li
  • 2002,13(12):2267-2274 [Abstract(3087)]  [View PDF(3342)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(3191)]  [View PDF(4687)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(2574)]  [View PDF(3067)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(2537)]  [View PDF(3613)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(2653)]  [View PDF(2839)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(2770)]  [View PDF(2908)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(2830)]  [View PDF(4817)483.31 K]
  • Construction of Perception Mechanism in Virtual Assembly
  • CHENG Cheng
  • 2002,13(12):2324-2330 [Abstract(2502)]  [View PDF(2857)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(3163)]  [View PDF(3460)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(2014)]  [View PDF(2711)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(5104)]  [View PDF(4599)674.25 K]