Contents

A Traffic Shaping Framework Based on Network Calculus ZHANG Xin-ming,CHEN Guo-liang and GU Jun 2002,13(12):2225-2230 [Abstract(3561)]  [View PDF(5505)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(3539)]  [View PDF(5249)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(3998)]  [View PDF(5110)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(3586)]  [View PDF(5442)356.81 K]

The Formal Semantics of UML State Machine JIANG Hui,LIN Dong and XIE Xi-ren 2002,13(12):2244-2250 [Abstract(3976)]  [View PDF(6330)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(3701)]  [View PDF(5401)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(3661)]  [View PDF(5278)669.99 K]

Computing the Minimal Hitting Sets with Binary HS-Tree JIANG Yun-fei and LIN Li 2002,13(12):2267-2274 [Abstract(4409)]  [View PDF(5940)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(4319)]  [View PDF(8273)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(3543)]  [View PDF(5706)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(3527)]  [View PDF(6246)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(3617)]  [View PDF(5220)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(3786)]  [View PDF(5197)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(3945)]  [View PDF(8740)483.31 K]

Construction of Perception Mechanism in Virtual Assembly CHENG Cheng 2002,13(12):2324-2330 [Abstract(3564)]  [View PDF(4975)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(4184)]  [View PDF(5853)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(3009)]  [View PDF(4945)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(7267)]  [View PDF(10140)674.25 K]