1000-1239
2007 Issue 2
Safety Verification of Dynamic Storage Management in Coq
Xiang Sen;Chen Yiyun;Lin Chunxiao;Li Long
Xiang Sen;Chen Yiyun;Lin Chunxiao;Li Long
..............page:361-367
Data Prefetching Technique of Nonlinear Memory Access
Wu Jiajun;Feng Xiaobing;Zhang Zhaoqing
Wu Jiajun;Feng Xiaobing;Zhang Zhaoqing
..............page:355-360
A Cache Adaptive Write Allocate Policy
Huan Dandan;Li Zusong;Hu Weiwu;Liu Zhiyong
Huan Dandan;Li Zusong;Hu Weiwu;Liu Zhiyong
..............page:348-354
The Array-Based Bucket Sort Algorithm
Yang Lei;Song Tao
Yang Lei;Song Tao
..............page:341-347
Efficient Algorithms for Matrix Eigenproblem Solver on SMP Cluster
Zhao Yonghua;Chi Xuebin;Cheng Qiang
Zhao Yonghua;Chi Xuebin;Cheng Qiang
..............page:334-340
Survey of Operational Transformation Algorithms in Real-Time Computer-Supported Cooperative Work
Liao Bin;He Fazhi;Jing Shuxu
Liao Bin;He Fazhi;Jing Shuxu
..............page:326-333
IOMan: An I/O Management Method Supporting Multi-OS Remote Boot and Running
Xia Nan;Zhang Yaoxue;Yang Shanlin;Wang Xiaohui
Xia Nan;Zhang Yaoxue;Yang Shanlin;Wang Xiaohui
..............page:317-325
An Index Method for Digital Map Spatial Data in Mobile Navigation Systems
Fang Yu;Jiang Changjun;Chen Lin
Fang Yu;Jiang Changjun;Chen Lin
..............page:310-316
A Multilevel Model of Task Assignment in Fuzzy Situations of Workflow
Xiao Zhengjin;He Qinming;Chen Qi
Xiao Zhengjin;He Qinming;Chen Qi
..............page:302-309
A Collaborative Filtering Recommendation Algorithm Incorporated with User Interest Change
Xing Chunxiao;Gao Fengrong;Zhan Sinan;Zhou Lizhu
Xing Chunxiao;Gao Fengrong;Zhan Sinan;Zhou Lizhu
..............page:296-301
Sentence Retrieval with a Topic-Based Language Model
Wu Youzheng;Zhao Jun;Xu Bo
Wu Youzheng;Zhao Jun;Xu Bo
..............page:288-295
Application of an Ant Colony Algorithm in Migration of Mobile Agent
Du Ronghua;Yao Gang;Wu Quanyuan
Du Ronghua;Yao Gang;Wu Quanyuan
..............page:282-287
A Coalition Generation Algorithm Based on Local Optimum
Su Shexiong;Hu Shanli;Lin Chaofeng;Zheng Shengfu
Su Shexiong;Hu Shanli;Lin Chaofeng;Zheng Shengfu
..............page:277-281
..............page:269-276
Research on the Resolution of the Landmark in Chinese
Li Hanjing;Li Sheng;Zhao Tiejun
Li Hanjing;Li Sheng;Zhao Tiejun
..............page:265-268
An Edge-Based Defect Detection Algorithm for Paper Currency
Jin Ye;Liu Songbo;Liu Jiafeng;Song Ling;Tang Xianglong
Jin Ye;Liu Songbo;Liu Jiafeng;Song Ling;Tang Xianglong
..............page:258-264
Research on the Interconnection of Heterogeneous RTIs and Multi-Federations Based on Bridge Federate
Cai Nan;Zhou Zhong;Wu Wei
Cai Nan;Zhou Zhong;Wu Wei
..............page:249-257
Text Segmentation Based on PLSA Model
Shi Jing;Dai Guozhong
Shi Jing;Dai Guozhong
..............page:242-248
Research and Implementation of the Non-Repudiation Protocol for Email Transmission Between UA and MTA
Xia Chunhe;Liu Cui;Li Xiaojian;Tao Ran
Xia Chunhe;Liu Cui;Li Xiaojian;Tao Ran
..............page:236-241
A Distributed CA-Key Generation Scheme for Resilience CA
Zhuang Yong;Feng Dengguo
Zhuang Yong;Feng Dengguo
..............page:230-235
Research on Dynamic Trust-Level Evaluation Mechanism Based on Machine Learning
Chen Feifei;Gui Xiaolin
Chen Feifei;Gui Xiaolin
..............page:223-229
A Topology Control Algorithm Based on Link Reliability and Multi-Path for Sensor Networks
Wu Zhendong;Li Shanping
Wu Zhendong;Li Shanping
..............page:216-222
Automatic Discovery of Physical Topology in Switched Ethernets
Sun Yantao;Shi Zhiqiang;Wu Zhimei
Sun Yantao;Shi Zhiqiang;Wu Zhimei
..............page:208-215
Design of an Adaptive PIP Algorithm
Liu Ming;Dou Wenhua;Zhang Heying
Liu Ming;Dou Wenhua;Zhang Heying
..............page:201-207
A Cooperative-Game-Based Mobile Agent Task Collaboration Model in Network Management
Bian Zheng'ai;Liu Bo;Luo Junzhou
Bian Zheng'ai;Liu Bo;Luo Junzhou
..............page:193-200