Contents

A Traffic Shaping Framework Based on Network Calculus ZHANG Xin-ming,CHEN Guo-liang and GU Jun 2002,13(12):2225-2230 [Abstract(4187)]  [View PDF(6483)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(4195)]  [View PDF(6307)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(4593)]  [View PDF(6132)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(4175)]  [View PDF(6526)356.81 K]

The Formal Semantics of UML State Machine JIANG Hui,LIN Dong and XIE Xi-ren 2002,13(12):2244-2250 [Abstract(4553)]  [View PDF(7362)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(4359)]  [View PDF(6430)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(4572)]  [View PDF(6289)669.99 K]

Computing the Minimal Hitting Sets with Binary HS-Tree JIANG Yun-fei and LIN Li 2002,13(12):2267-2274 [Abstract(5100)]  [View PDF(6943)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(4929)]  [View PDF(9262)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(4320)]  [View PDF(6676)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(4177)]  [View PDF(7202)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(4141)]  [View PDF(6165)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(4500)]  [View PDF(6096)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(4786)]  [View PDF(9828)483.31 K]

Construction of Perception Mechanism in Virtual Assembly CHENG Cheng 2002,13(12):2324-2330 [Abstract(4210)]  [View PDF(6080)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(4786)]  [View PDF(6917)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(3700)]  [View PDF(5961)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(8079)]  [View PDF(11819)674.25 K]