Chinese Journal of Computers is published monthly by the China Computer Federation, which is   the major association of Chinese people with professional interest in the field of computer. The Journal is oriented in the publi-cation of the most advanced research work in the field of

 computer science and technology throughout the country. It is archival journal published in Chinese language with abstracts in English for reference on various major international catalogue systems such as EI Compendex and SA etc.. The first issue of the Chinese Journal of Computers was published in 1978, printed by Science Press.
¡¡

2009

DNA Computer Principle, Advances and Difficulties (V): Immobilization Technology of DNA Molecule XU Jin1) LI Fei1)£¬2)

¡¼No.12(2283¡ª2299)¡½

Development and Application of Fluorescence Technology in DNA Computing ZHANG Cheng YANG Jing WANG Shu-Dong

¡¼No.12(2300¡ª2310)¡½

The Redefinition and Some Discussion of Green Computing GUO Bing1) SHEN Yan2) SHAO Zi-Li3)

¡¼No.12(2311¡ª2319)¡½

The Parallel Type of DNA Computing Model for Solving Ramsey Number Problem XU Jin1),2) FAN Yue-Ke1)

¡¼No.12(2320¡ª2324)¡½

A Biomolecular Computing Model in Vivo for Minimum Dominating Set Problem LIU Xiang-Rong1),2) WANG Shu-Dong3) XI Fang1) CHEN Mei1)

¡¼No.12(2325¡ª2331)¡½

A DNA Computing Model for Graph Vertex Coloring Problem QIANG Xiao-Li ZHAO Dong-Ming ZHANG Kai

¡¼No.12(2332¡ª2337)¡½

Implementation of Binary Subtraction and Multiplication Based on DNA Push-Down Automaton CHENG Zhen1) HUANG Yu-Fang1) ZHOU Kang2)

¡¼No.12(2338¡ª2346)¡½

Boolean Logic Computation Based on Dan Tiles Self-Assembly HUANG Yu-Fang1) CHENG Zhen1) ZHOU Kang2) XIAO Jian-Hua3) SHI Xiao-Long1)

¡¼No.12(2347¡ª2354)¡½

Binary String Languages Generated by Spiking Neural P Systems with Exhaustive Use of Rules .JIANG Yun SHI Xiao-Long ZHANG Zheng

¡¼No.12(2355¡ª2361)¡½

A Spiking Neural P System for Performing Multiplication of Two Arbitrary Natural Numbers ZHANG Xing-Yi1) ZENG Xiang-Xiang2) PAN Lin-Qiang2) LUO Bin1)

¡¼No.12(2362¡ª2372)¡½

A Molecular Solution for Routing Satisfying Explicit Node Constraint on DNA-Based Supercomputing YANG Lei HUANG Qi-Xin LI Ken-Li LI Ren-Fa

¡¼No.12(2373¡ª2381)¡½

Research on Grid-Based Genetic Algorithm and Its Application in Public Transport Operation Plan Scheduling CHEN Chen HONG Liu CHEN Xue-Guang HAO Yu-Jia

¡¼No.12(2382¡ª2388)¡½

The Statistical Analyses for Computational Performance of the Genetic Algorithms YUE Qin FENG Shan

¡¼No.12(2389¡ª2392)¡½

Energy Prediction and Reliable Clustering Routing Protocol for Multilevel Energy Heterogeneous Wireless Sensor Networks CAI Hai-Bin1)£¬2) JU Xiao-Ming1) CAO Qi-Ying2)

¡¼No.12(2393¡ª2402)¡½

A Voltage Allocation Technique with Checkpoint-Based Schedulability Test in Embedded Real-Time Systems LI Guo-Hui1) YANG Bing1) HU Fang-Xiao1) XU Hua-Jie2) DU Jian-Qiang3)

¡¼No.12(2403¡ª2410)¡½

A Matrix Interpretation of Network Calculus FAN Bao-Hua DOU Qiang ZHANG He-Ying

¡¼No.12(2411¡ª2419)¡½

Symbolic Reachability Analysis of Petri Nets Using ZBDDs .LI Feng-Ying1),2) GU Tian-Long2) XU Zhou-Bo1),2)

¡¼No.12(2420¡ª2428)¡½

Analyzing Compatibility and Similarity of Web Service Processes LI Xi-Tong FAN Yu-Shun

¡¼No.12(2429¡ª2437)¡½

Establishment, Realization and Effectiveness Verification for Phonological Representation of Chinese Sign Language NI Xun-Bo ZHAO De-Bin JIANG Feng CHENG Dan-Song

¡¼No.12(2438¡ª2453)¡½

A Novel Color Based Particle Filter Algorithm for Object Tracking LI Pei-Hua

¡¼No.12(2454¡ª2463)¡½

A Variational Level Set Method of Multiphase Segmentation for 3D Images .PAN Zhen-Kuan1) LI Hua1) WEI Wei-Bo1) GUO Zhen-Bo1) ZHANG Chun-Fen2)

¡¼No.12(2464¡ª2474)¡½

An Efficient Architecture Method for Improving Energy Efficiency: Parallel Processing YI Hui-Zhan LIU Yong-Peng

¡¼No.12(2475¡ª2481)¡½

Approximation Method of Multivariate Polynomials by Feedforward Neural Networks WANG Jian-Jun1),2) XU Zong-Ben2)

¡¼No.12(2482¡ª2488)¡½

Underlying Techniques of Efficient Similarity Search on Time Series FENG Yu-Cai JIANG Tao LI Guo-Hui ZHU Hong

¡¼No.11(2107¡ª2122)¡½

Logic for Knowledgebase Systems XU Wen-Yan LIU San-Yang

¡¼No.11(2123¡ª2129)¡½

An Efficient and Provably Secure Identity-Based Signature Scheme in the Standard Model LI Ji-Guo JIANG Ping-Jin

¡¼No.11(2130¡ª2136)¡½

A Self-Adaptive Hybrid Particle Swarm Optimization Algorithm for Flow Shop Scheduling Problem ZHANG Chang-Sheng1) SUN Ji-Gui2) OUYANG Dan-Tong2) ZHANG Yong-Gang2)

¡¼No.11(2137¡ª2146)¡½

A Hybrid Simulated Annealing Algorithm for the Three-Dimensional Packing Problem ZHANG De-Fu1),2) PENG Yu1) ZHU Wen-Xing3) CHEN Huo-Wang2),4)

¡¼No.11(2147¡ª2156)¡½

Parallelization of LU Decomposition on the Godson-Tv1 Many-Core Architecture LONG Guo-Ping FAN Dong-Rui

¡¼No.11(2157¡ª2167)¡½

Optimizing the SIMD Parallelism Through Bitwidth Analysis ZHANG Wei-Hua ZHU Jia-Hua ZHANG Hong-Jiang ZANG Bin-Yu

¡¼No.11(2168¡ª2177)¡½

A New Scheduling Algorithm for Digraph-Based Parallel Computing ZHANG Ai-Qing MO Ze-Yao

¡¼No.11(2178¡ª2186)¡½

Grid Dynamic Authorization Model Based on Feedback Mechanism LI Ming-Chu1) YANG Bin1) ZHONG Wei1) TIAN Lin-Lin1) JIANG He1) HU Hong-Gang2)

¡¼No.11(2187¡ª2199)¡½

An Efficient Checkpointing Scheme for Update Intensive Applications in Main Memory Database Systems QIN Xiong-Pai1),2) XIAO Yan-Qin1),2) CAO Wei1),2) WANG Shan1),2)

¡¼No.11(2200¡ª2210)¡½

Inertial Product Energy and Edge Detection WANG Zhi-Heng1),2) WU Fu-Chao1)

¡¼No.11(2211¡ª2220)¡½

Image Retrieval by Convex Hulls of Interest Points and SVM-Based Weighted Feedback SU Xiao-Hong DING Jin MA Pei-Jun

¡¼No.11(2221¡ª2228)¡½

Multisensor Image Adaptive Fusion Based on Nonsubsampled Contourlet CHANG Xia1) JIAO Li-Cheng1) JIA Jian-Hua1),2)

¡¼No.11(2229¡ª2238)¡½

A Novel Secure Video Watermarking for Broadcast Monitoring LIU Li1),2) PENG Dai-Yuan2)

¡¼No.11(2239¡ª2246)¡½

A New Visual Hiding Scheme Using One Secret Image LIU Duo1),2) DAI Yi-Qi2)

¡¼No.11(2247¡ª2251)¡½

A Fast Object Extraction Method Based on Color and Texture Information MU Ya-Dong ZHOU Bing-Feng

¡¼No.11(2252¡ª2259)¡½

Hybrid Linear Model Based Image Denoising CAO Yang LUO Yu-Pin YANG Shi-Yuan

¡¼No.11(2260¡ª2264)¡½

Design of the Simultaneous Multithreading Godson-2 Processor LI Zu-Song1),2) XU Xian-Chao1),2) HU Wei-Wu1) TANG Zhi-Min1)

¡¼No.11(2265¡ª2273)¡½

Research on Dynamic Memory Faults Testing Method Based on Pointer Mapping Sets ZHANG Wei1),2) GONG Yun-Zhan2) LU Qing-Ling1) WAN Lin1)

¡¼No.11(2274¡ª2281)¡½

Smart Multihop Promotion for Non-Uniform Cache Architecture WU Jun-Jie PAN Xiao-Hui YANG Xue-Jun

¡¼No.10(1887¡ª1895)¡½

An Implicitly Dynamic Shared Cache Isolation in Many-Core Architecture SONG Feng-Long1),2) LIU Zhi-Yong1) FAN Dong-Rui1) ZHANG Jun-Chao1) YU Lei1),2)

¡¼No.10(1896¡ª1904)¡½

An Asynchronous Remote Mirror System Based on Storage Virtualization XIANG Xiao-Jia YU Hong-Liang

¡¼No.10(1905¡ª1914)¡½

On-Demand Deployment of Virtual Machines Based on Optimized COW Virtual Block Device CHEN Bin XIAO Nong CAI Zhi-Ping WANG Zhi-Ying

¡¼No.10(1915¡ª1926)¡½

Adaptive Replication Management Algorithm Based on Location and File Popularity for Peer-to-Peer Network CHEN Kang YU Hong-Liang ZHANG Kun

¡¼No.10(1927¡ª1937)¡½

Selective Rejuvenation Framework for Multi-Tier Services TIAN Guan-Hua1)£¬2) ZHAN Jian-Feng1) MENG Dan1)

¡¼No.10(1938¡ª1946)¡½

Multi-Constraint Load Balancing Based on Cell Breathing in WLAN WANG Sheng-Ling CUI Yong XU Ke WU Jian-Ping

¡¼No.10(1947¡ª1956)¡½

A Self-Healing Algorithm without Location Information in Sensor Networks SU Han WANG Yun

¡¼No.10(1957¡ª1970)¡½

A Two-Phase Sleep Scheduling Based Protocol for Target Tracking in Sensor Networks REN Qian-Qian LI Jian-Zhong GAO Hong CHENG Si-Yao

¡¼No.10(1971¡ª1979)¡½

IRC Botnet Detection Based on Host Behavior WANG Wei1),2) FANG Bin-Xing1),2) CUI Xiang2)

¡¼No.10(1980¡ª1988)¡½

Parsimonious Semantic Trust Negotiation ZHANG Yan1) FEN Deng-Guo2)

¡¼No.10(1989¡ª2003)¡½

A Class of General Franklin Functions and Its Application CAI Zhan-Chuan1) CHEN Wei2) QI Dong-Xu3) TANG Ze-Sheng1),3)

¡¼No.10(2004¡ª2013)¡½

Feature Preserving Resizing of 3D Mesh Models HE Jun1) ZHANG Cai-Ming1),2)

¡¼No.10(2014¡ª2022)¡½

Real-Time Image Sketch HUANG Hua CHENG Wei

¡¼No.10(2023¡ª2029)¡½

Research on Key Issues of Vision-Based Gesture Interfaces WU Hui-Yue1),2) ZHANG Feng-Jun1) LIU Yu-Jin1) DAI Guo-Zhong1)

¡¼No.10(2030¡ª2041)¡½

Parallel Collision Detection Between Deformable Objects Using SIMD Instructions TANG Min1) MANOCHA Dinesh2) TONG Ruo-Feng1)

¡¼No.10(2042¡ª2051)¡½

Study on Processing Probabilistic RFID Spatial Range Query Based on Mobile Readers GU Yu1),2) GUO Na2) YU Ge1),2)

¡¼No.10(2052¡ª2065)¡½

Efficient Query Processing on Uncertain Graph Databases ZHANG Shuo GAO Hong LI Jian-Zhong ZOU Zhao-Nian

¡¼No.10(2066¡ª2079)¡½

HCSIM: An Indexing Method for Long-Lived Frequent Block-Level Snapshot WU Guang-Jun1) YUN Xiao-Chun2) FANG Bin-Xing1),2) WANG Shu-Peng2) YU Xiang-Zhan1)

¡¼No.10(2080¡ª2090)¡½

Logical Properties on Translations between Logics SHEN Yu-Ming1),2) MA Yue1),2) CAO Cun-Gen1) SUI Yue-Fei1) WANG Ju3)

¡¼No.10(2091¡ª2098)¡½

Multi-Modal Web Search Query Refinement Based on Semi-Supervised Learning JIANG Yuan LI Ming ZHOU Zhi-Hua

¡¼No.10(2099¡ª2106)¡½

Software Analysis: A Road Map MEI Hong1) WANG Qian-Xiang1) ZHANG Lu1) WANG Ji2)

¡¼No.9(1697¡ª1710)¡½

Analysis on the Topological Properties of Software Network at Different Levels of Granularity and Its Application HAN Yan-Ni1) LI De-Yi1),2) CHEN Gui-Sheng2)

¡¼No.9(1711¡ª1721)¡½

An Aggressively Field-Sensitive Unification-Based Pointer Analysis YU Hong-Tao ZHANG Zhao-Qing

¡¼No.9(1722¡ª1735)¡½

Experiments on Detecting Program Deadlock with Ordinary Differential Equation Model DING Zuo-Hua1) JIANG Ming-Yue1) LIU Jing2)

¡¼No.9(1736¡ª1749)¡½

Infinite Loop Detection Based on Path Analysis RUAN Hui1),2) YAN Jun1) ZHANG Jian1)

¡¼No.9(1750¡ª1758)¡½

Scenario-Based Analysis and Verification for Web Services Message Flows YANG Lu LIU Xi WANG Lin-Zhang CHEN Xin LI Xuan-Dong

¡¼No.9(1759¡ª1772)¡½

Incremental Verification of Aspectual Feature Module Based on Hierarchical State Machine YE Jun TAN Qing-Ping LI Tun XU Jian-Jun

¡¼No.9(1773¡ª1781)¡½

An Analysis Approach for Software Architectural Concerns ZHANG Lin-Lin1),2) YING Shi1),3) NI You-Cong1),4) ZHAO Kai1),2) WEN Jing1)

¡¼No.9(1782¡ª1791)¡½

Using Static Analysis to Extract C++0x Concepts CHEN Lin1),2),3) XU Bao-Wen1),2),3)

¡¼No.9(1792¡ª1803)¡½

A Service-Oriented Partitioning and Encapsulation Method for Java Legacy Systems LI Xiang HUAI Jin-Peng ZENG Jin GAO Peng

¡¼No.9(1804¡ª1815)¡½

Instance Migration in Dynamic Evolution of Web Service Compositions SONG Wei MA Xiao-Xing LU Jian

¡¼No.9(1816¡ª1831)¡½

An Evolution Analysis Method Based on Fuzzy Concept Lattice and Source Code Analysis XU Jia-Qing PENG Xin ZHAO Wen-Yun

¡¼No.9(1832¡ª1844)¡½

A Polynomial Time Path-Sensitive Taint Analysis Method LI Jia-Jing1)£¬2)£¬3) WANG Tie-Lei2),3) WEI Tao2),3) FENG Wang-Sen2)£¬4) ZOU Wei2),3)

¡¼No.9(1845¡ª1855)¡½

Static Checking of Security Related Behavior Model for Multithreaded Java Programs JIN Ying LI Ze-Peng ZHANG Jing LIU Lei

¡¼No.9(1856¡ª1868)¡½

Analysis and Optimization Method of Energy Consumption Characteristics in Embedded Software Based on Source-Code and Algorithm Level LUO Gang1) GUO Bing1) SHEN Yan2) LIAO Hai-Yan1) REN Lei1)

¡¼No.9(1869¡ª1875)¡½

On Energy-Consumption Analysis and Evaluation for Component-Based Embedded System with CSP ZHANG Teng-Teng WU Xiao LI Chang-De DONG Yun-Wei

¡¼No.9(1876¡ª1883)¡½

Research Progress of Digital Geometry Processing HU Shi-Min1)£¬2) YANG Yong-Liang1)£¬2) LAI Yu-Kun1)£¬2)

¡¼No.8(1451¡ª1469)¡½

Fast Diagnosing Through Diagnostic Graph Analysis CHEN Ai-Xiang1) CHEN Qing-Liang2) PAN Jiu-Hui2) JIANG Yun-Fei3) YANG Jin-Ji4)

¡¼No.8(1470¡ª1485)¡½

Searching Algorithm for Attribute Reduction Based on Power Graph CHEN Yu-Ming1),2) MIAO Duo-Qian1),2)

¡¼No.8(1486¡ª1492)¡½

Quick Attribute Reduction Algorithm with Hash LIU Yong XIONG Rong CHU Jian

¡¼No.8(1493¡ª1499)¡½

Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier JIANG Yun-Cheng1),2) TANG Su-Qin3)

¡¼No.8(1500¡ª1510)¡½

Fuzzy Description Logic F-SHOIQ(G) Supporting Representation of Fuzzy Data Types WANG Hai-Long1) MA Zong-Min1) YAN Li2) CHENG Jing-Wei1)

¡¼No.8(1511¡ª1524)¡½

Clonal Selection Land-Based Satellite Tracking Telemetry and Command(TT&C) Resources Scheduling Based on the Mission Oriented Model HOU Cui-Qin JIAO Li-Cheng

¡¼No.8(1525¡ª1535)¡½

Bilinear Form-Based Non-Negative Matrix Set Factorization LI Le ZHANG Yu-Jin

¡¼No.8(1536¡ª1549)¡½

Research on Balancing Clustered Dot Density for Hybrid Halftone Dithering Algorithm XU Guo-Liang1),2) TAN Qing-Ping1)

¡¼No.8(1550¡ª1559)¡½

Velocity Driven Levels of Detail Haptic Rendering Algorithm for Complex Scenes ZHOU Wan-Lin WANG Dang-Xiao ZHANG Yu-Ru WANG Yu

¡¼No.8(1560¡ª1570)¡½

A Uniform Hardware-Accelerated Adaptive EWA Splatting Algorithm CHEN Wei1) XIA Jia-Zhi1) ZHANG Long2) YU Yang1) ZHENG Wen-Ting1) PENG Qun-Sheng1)

¡¼No.8(1571¡ª1581)¡½

Smooth Line Drawing on Graphics Hardware ZHAO Han-Li1) JIN Xiao-Gang1) SHEN Jian-Bing2) WEI Fei-Fei1) FENG Jie-Qing1)

¡¼No.8(1582¡ª1588)¡½

A OutofCore Algorithm for Interactive Rigid Body Operation of 3D Model TIAN Feng-Lin HUA Wei BAO Hu-Jun

¡¼No.8(1589¡ª1594)¡½

An Automatic Generation Method of Multi-Styles Portraits Based on the And-Or Graph Representation MIN Feng SANG Nong

¡¼No.8(1595¡ª1602)¡½

Improved Inter Prediction Based on Structural Similarity for H.264 YANG Chun-Ling1) WANG Hua-Xing2) LIANG Rong-Kun1)

¡¼No.8(1603¡ª1610)¡½

Medical Image Registration Using Equivalent Meridian Plane and Mutual Information LU Zhen-Tai FENG Yan-Qiu FENG Qian-Jin CHEN Wu-Fan

¡¼No.8(1611¡ª1617)¡½

Architecture Supported Synchronization-Based Cache Coherence Protocol for Many-Core Processors HUANG He1),2) LIU Lei1),2) SONG Feng-Long1),2) MA Xiao-Yu1),2)

¡¼No.8(1618¡ª1630)¡½

An Optimal Algorithm for Normal Scheduling on P4£üfix£üCmax HUANG Jin-Gui LI Rong-Heng

¡¼No.8(1631¡ª1636)¡½

Research on Parameterized Algorithms of the Individual Haplotyping Problem XIE Min-Zhu1),2) CHEN Jian-Er1) WANG Jian-Xin1)

¡¼No.8(1637¡ª1650)¡½

Sense Recognition Research of Hyponymy Based on Concept Space LIU Lei1) CAO Cun-Gen2) ZHANG Chun-Xia3) TIAN Guo-Gang2)

¡¼No.8(1651¡ª1661)¡½

Backbone Analysis and Heuristic Design for the Graph Partitioning Problem JIANG He1),2) QIU Tie1)

¡¼No.8(1662¡ª1667)¡½

Dynamic Methods of Trust-Aware Composite Service Selection WANG Yong1) DAI Gui-Ping2) HOU Ya-Rong1)

¡¼No.8(1668¡ª1675)¡½

The Resource Access Mechanism in Grid Based on Fuzzy-Trust CHEN Jian-Gang1) WANG Ru-Chuan1),2) ZHANG Lin1) WANG Hai-Yan1)

¡¼No.8(1676¡ª1682)¡½

A Graph Vertex-Covering Problem Decision-Making Neural Network Model NAN Jin-Hua QI Huan

¡¼No.8(1683¡ª1686)¡½

Pattern Recognition Based on the Fuzzy Kernel Matching Pursuit LI Qing1)£¬2) JIAO Li-Cheng2) ZHOU Wei-Da2)

¡¼No.8(1687¡ª1694)¡½

A Survey on Rough Set Theory and Applications WANG Guo-Yin1) YAO Yi-Yu2) YU Hong1),2)

¡¼No.7(1229¡ª1246)¡½

Recent Advances in Image-Based Steganalysis Research WANG Shuo-Zhong1) ZHANG Xin-Peng1) ZHANG Wei-Ming1),2)

¡¼No.7(1247¡ª1263)¡½

Abstraction and Reuse of Diagnosing with Value Propagation ZHANG Xue-Nong 1),2) JIANG Yun-Fei2) CHEN Ai-Xiang2) ZHANG Li-Cheng1)

¡¼No.7(1264¡ª1279)¡½

Semantics and Reasoning of Description Logic ¦ÌALCIO JIANG Yun-Cheng1),2) WANG Ju3) DENG Pei-Min3) TANG Yong4) ZHOU Sheng-Ming3)

¡¼No.7(1280¡ª1290)¡½

A Fast Algorithm for Synthesis of Quantum Reversible Logic Circuits LI Zhi-Qiang1),2) CHEN Han-Wu1) XU Bao-Wen1) LI Wen-Qian1) WANG Jia-Jia1) LIU Wen-Jie1),3)

¡¼No.7(1291¡ª1303)¡½

Study of Remote Automated Anonymous Attestation in Trusted Computing LIU Ji-Qiang1) ZHAO Jia1) ZHAO Yong1),2)

¡¼No.7(1304¡ª1310)¡½

Pcanel/V2: A VMM Architecture Based on Intel VT-x CHEN Wen-Zhi YAO Yuan YANG Jian-Hua HE Qin-Ming

¡¼No.7(1311¡ª1319)¡½

Pseudorandomness and Super Pseudorandomness on the Unbalanced Feistel Networks with Contracting Functions ZHANG Li-Ting WU Wen-Ling

¡¼No.7(1320¡ª1330)¡½

Construction Algorithm of Bipartite Graphs for Right Regular Erasure Codes` MU Jian-Jun1) CAO Xun-Zhi1) WANG Xin-Mei2)

¡¼No.7(1331¡ª1336)¡½

Secure Computation Protocol for Testing the Inclusion Relation of Sets LI Rong-Hua1)£¬2) WU Chuan-Kun3) ZHANG Yu-Qing2)

¡¼No.7(1337¡ª1345)¡½

Predicting Software Stage Effort with Sequence Changing Ratio WANG Yong SONG Qin-Bao SHEN Jun-Yi

¡¼No.7(1346¡ª1355)¡½

Energy Efficient Physical Layer Design for Passive RFID System WANG Hong-Gang PEI Chang-Xing YI Yun-Hui

¡¼No.7(1356¡ª1364)¡½

Person Name Disambiguation of Searching Results Using Social Network LANG Jun QIN Bing SONG Wei LIU Long LIU Ting LI Sheng

¡¼No.7(1365¡ª1374)¡½

Dynamic Region Matching Algorithm Based on Index-Order YAO Yi-Ping1) ZHANG Ying-Xing1) CHEN Xin2) JI Li-Chun1)

¡¼No.7(1375¡ª1381)¡½

SpMT WaveCache: Exploiting Speculative Multithreading for Dataflow Computer PEI Song-Wen WU Bai-Feng

¡¼No.7(1382¡ª1392)¡½

Evaluating GUI Systems Based on the Analysis of Process Execution Behaviors SONG Bo1)£¬2) CHEN Ming-Yu1) FAN Jian-Ping1)

¡¼No.7(1393¡ª1403)¡½

Research of the Virtual Dependency Channel in Distributed Video Coding FANG Sheng1),2) LI Zhe1) LIANG Yong-Quan1) ZHONG Yu-Zhuo2)

¡¼No.7(1404¡ª1412)¡½

Design of Two-Channel Neville-Lagrange Lifting Wavelet Filter Banks with Linear Phase CHEN Dong ZHANG Tian-Wen LI Dong

¡¼No.7(1413¡ª1423)¡½

Pose and Illumination Invariant Face Recognition Based on HMM with One Sample Per Person HU Feng-Song1) ZHANG Mao-Jun2) ZOU Bei-Ji3) MA Jun-Rong1)

¡¼No.7(1424¡ª1433)¡½

Clonal Selection Remote Sensing Image Fusion Based on CP and Multiwavelet HMT Models JIN Hai-Yan1),2) JIAO Li-Cheng2)

¡¼No.7(1434¡ª1442)¡½

A Heuristic Path-Estimating Algorithm by Using Vector-Based Recognition LU Wei-Feng WU Dong-Dong ZHU Tong-Yu

¡¼No.7(1443¡ª1450)¡½

A Survey of Content-Based 3D Model Retrieval with Semantic Features PAN Xiang1) ZHANG San-Yuan2) YE Xiu-Zi2)

¡¼No.6(1069¡ª1079)¡½

The Implementation of Loop Self-Pipelining with Supports in Hardware for Coarse-Grained Reconfigurable Platform XU Jin-Hui1),2) YANG Meng-Meng2) DOU Yong1) ZHOU Xing-Ming1)

¡¼No.6(1080¡ª1088)¡½

Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architectures WANG Da-Wei DOU Yong LI Si-Kun

¡¼No.6(1089¡ª1099)¡½

Multi-Grain Parallel H.264 Encoder for Homogeneous Multi-Core Architectures YU Jun-Qing LI Jiang WEI Hai-Tao

¡¼No.6(1100¡ª1109)¡½

A Novel Circuit SAT Solver in Unbounded Model Checking ZHAO Yang1),2),3) LV Tao1),2),3) LI Hua-Wei1),2) LI Xiao-Wei1),2)

¡¼No.6(1110¡ª1118)¡½

A New Property Verification Method for Code Security Based on Pointer Logic ZHANG Yang1) CHENG Liang2)

¡¼No.6(1119¡ª1125)¡½

Multiple Node-Disjoint Paths Secure Source Routing for MANET FENG Tao1),2) GUO Xian1),3) MA Jian-Feng2) LI Xing-Hua2)

¡¼No.6(1126¡ª1133)¡½

Joint k-Error 2-Adic Complexity for Binary Periodic Multi-Sequences DONG Li-Hua HU Yu-Pu ZENG Yong

¡¼No.6(1134¡ª1139)¡½

A Hybrid Static/Dynamic Energy-Aware Weakly-Hard Real-Time Scheduling Algorithm Based on Simple Feedback WU Tong1)£¬2) ZHANG Dong-Song1) JIN Shi-Yao1)

¡¼No.6(1140¡ª1146)¡½

Analysis of Coupling Capacitance among Interconnections Based on Defect¡¯s Uniform Distribution DUAN Xu-Chao1),2) ZHAO Tian-Xu1)

¡¼No.6(1147¡ª1151)¡½

Error Resilient Video Transcoding Based on Layered Rate Distortion Optimization HAN Zhen1) HU Rui-Min 1),2) CHEN Hao2) LI Ming2)

¡¼No.6(1152¡ª1161)¡½

A Framework of Video Format Adaptation Based on Motion Description SHEN Qiu LI Hou-Qiang WANG Yi HE Jia

¡¼No.6(1162¡ª1171)¡½

Ray Tracing of Dynamic Scenes by Managing Empty Regions in Adaptive Boxes LI Jing1) WANG Wen-Cheng1) WU En-Hua1),2)

¡¼No.6(1172¡ª1182)¡½

A B-rep Model Decomposition Approach Based on Face Shell Shrinking MA Lu-Jie HUANG Zheng-Dong

¡¼No.6(1183¡ª1195)¡½

Global Texture Optimization Incorporating with Image Detail XIAO Chun-Xia1),2) HUANG Zhi-Yong2) NIE Yong-Wei2) LIU Meng2) HE Fa-Zhi2)

¡¼No.6(1196¡ª1205)¡½

A New Interactive Method for Controlling Implicit Surfaces ZHOU Yuan-Feng1) BO Peng-Bo3) ZHANG Cai-Ming1)£¬2) GAO Shan-Shan2)

¡¼No.6(1206¡ª1213)¡½

An Improved Scatter Search for Circles Packing Problem with the Equilibrium Constraint WANG Yi-Shou1),2) SHI Yan-Jun2) TENG Hong-Fei2),3)

¡¼No.6(1214¡ª1221)¡½

Human Tracking in Infrared Images Based on Particles Mean-Shift Migration Algorithm YUN Ting-Jin GUO Yong-Cai GAO Chao

¡¼No.6(1222¡ª1228)¡½

A Dependable Worm Signature Generation System Based on Threshold Signature XIANG Ji GAO Neng JING Ji-Wu

¡¼No.5(930¡ª939)¡½

A Method to Construct a Class of Certificateless Signature Schemes ZHANG Lei ZHANG Fu-Tai

¡¼No.5(940¡ª945)¡½

Combo-Dimensional Kernels for Graph Classification LI Yu-Feng1) Kwok¡¡James Tin-Yau2) ZHOU Zhi-Hua1)

¡¼No.5(946¡ª952)¡½

A Data-Deficiency-Tolerated Method for Viewpoint Independent Sign Language Recognition WANG Qi1) CHEN Xi-Lin2) WANG Chun-Li3) GAO Wen2),4)

¡¼No.5(953¡ª961)¡½

A New Simplification Method for Terrain Model Based on Divergence Function ZHANG Hui-Jie1),2) SUN Ji-Gui2) LU Ying-Hua1) LU Nan2) WANG Yuan-Zhi3)

¡¼No.5(962¡ª973)¡½

A Trustworthy Index for Inserting Random Sequences LIU Feng-Chen1) HUANG He2) LIU Qing-Wen3) DING Yong-Sheng1),4)

¡¼No.5(974¡ª981)¡½

PAR-Based Formal Development of Algorithms SHI Hai-He1),2),3) XUE Jin-Yun1),3)

¡¼No.5(982¡ª991)¡½

Model Checking CTL Based on Complete Abstraction Interpretation QIAN Jun-Yan1) XU Bao-Wen 2),3)

¡¼No.5(992¡ª1001)¡½

A New Statistical Test on Block Ciphers CHEN Hua1) FENG Deng-Guo1) FAN Li-Min1)£¬2)

¡¼No.4(595¡ª601)¡½

EM Frequency Domain Template Analysis on Cipher Chips DENG Gao-Ming ZHAO Qiang ZHANG Peng CHEN Kai-Yan LIU Xiao-Qin

¡¼No.4(602¡ª610)¡½

An Improved OAEP 3-Round Padding Scheme HU Yu-Pu MU Ning-Bo WANG Bao-Cang

¡¼No.4(611¡ª617)¡½

Cryptographic Protocol Analysis TIAN Yuan1) WANG Ying2) JIN Feng1) JIN Yue1)

¡¼No.4(618¡ª634)¡½

Testing on Trust Chain of Trusted Computing Platform Based on Labeled Transition System XU Ming-Di ZHANG Huan-Guo YAN Fei

¡¼No.4(635¡ª645)¡½

The Formal Analysis and Testing of Trusted Platform Module CHEN Xiao-Feng

¡¼No.4(646¡ª653)¡½

Research on Compliant Testing Method of Trusted Cryptography Module LI Hao1),2) HU Hao1),2),3) CHEN Xiao-Feng1),2)

¡¼No.4(654¡ª663)¡½

Adaptive Dynamic Trust Measurement and Prediction Model Based on Behavior Monitoring LI Xiao-Yong GUI Xiao-Lin MAO Qian LENG Dong-Qi

¡¼No.4(664¡ª674)¡½

Research on Trustworthiness Evaluation Model for Digital Image in Blind Environment HU Dong-Hui1),3) WANG Li-Na1),2) JIANG Xia-Qiu1)

¡¼No.4(675¡ª687)¡½

A Trust Model Based on Behaviors Risk Evaluation ZHANG Run-Lian1),2) WU Xiao-Nian2),3) ZHOU Sheng-Yuan2),3) DONG Xiao-She1)

¡¼No.4(688¡ª698)¡½

A Verification Method of Security Model Based on UML and Model Checking CHENG Liang1),2) ZHANG Yang2)

¡¼No.4(699¡ª708)¡½

A Information-Flow-Based Verification Solution with Security Sensitivity to Check Security Policy of SELinux ZHANG Yang

¡¼No.4(709¡ª720)¡½

Leakage Identification and Quantitative Evaluation Scheme for Confidential Databases XIAN He-Qun

¡¼No.4(721¡ª729)¡½

Static Analysis Based Correctness Verification for Mandatory Access Control Framework WU Xin-Song1)£¬2) ZHOU Zhou-Yi1)£¬2) HE Ye-Ping1) LIANG Hong-Liang1) YUAN Chun-Yang3)

¡¼No.4(730¡ª739)¡½

An Integrated Verification Model atsFPM Based on Functional,Time and Spatial Constraints NIU Jun1),2),3) ZENG Guo-Sun1),2) CHEN Bo1),2)

¡¼No.4(740¡ª750)¡½

A Measurement of Covert Channels Threat WANG Chang-Da JU Shi-Guang ZHOU Cong-Hua SONG Xiang-Mei

¡¼No.4(751¡ª762)¡½

A Network Security Situational Awareness Model Based on Log Audit and Performance Correction WEI Yong1),2) LIAN Yi-Feng2)

¡¼No.4(763¡ª772)¡½

ProSPer: A Proactive Event Monitor for General Purposes LIU Jia-Hong WU Quan-Yuan

¡¼No.4(773¡ª783)¡½

An Algorithm for Sensing Insider Threat Based on Cloud Model ZHANG Hong-Bin1),2) PEI Qing-Qi1) MA Jian-Feng1)

¡¼No.4(784¡ª792)¡½

An Optimized Method for Real Time Network Security Quantification LI Wei-Ming LEI Jie DONG Jing LI Zhi-Tang

¡¼No.4(793¡ª804)¡½

Incomplete Information Nodes Risk Assessment in Mobile Ad Hoc Networks FU Cai1) HONG Liang2) PENG Bing1) HAN Lan-Sheng1) XU Lan-Fang1)

¡¼No.4(805¡ª816)¡½

Evaluating Network Security and Optimal Active Defense Based on Attack-Defense Game Model JIANG Wei1) FANG Bin-Xing1),2) TIAN Zhi-Hong1),2) ZHANG Hong-Li1)

¡¼No.4(817¡ª827)¡½

Evaluation Model of Information Security Technologies Based on Game Theoretic ZHU Jian-Ming1) Srinivasan Raghunathan2)

¡¼No.4(828¡ª834)¡½

A New Method for Interactive TCP Traffic Replay Based on Balance-Checking Between Transmitted and Received Packets CHU Wei-Bo1) CAI Zhong-Min1) GUAN Xiao-Hong1),2) CHEN Ming-Xu1)

¡¼No.4(835¡ª846)¡½

Research on Architecture of Universal Carrying Network WANG Hao-Xue1) WANG Bin-Qiang1) YU Jing1) JIANG Ming2)

¡¼No.3(371¡ª376)¡½

Hidra: A Hierarchical Inter-Domain Routing Architecture WANG Na1),2) MA Hai-Long2) CHENG Dong-Nian2) WANG Bin-Qiang2)

¡¼No.3(377¡ª390)¡½

Trustworthy and Controllable Network Architecture and Protocol Framework LUO Jun-Zhou HAN Zhi-Geng WANG Liang-Min

¡¼No.3(391¡ª404)¡½

Trust Quantitative Model with Multiple Decision Factors in Trusted Network` LI Xiao-Yong GUI Xiao-Lin

¡¼No.3(405¡ª416)¡½

Virtualization Technology for Trustworthy Network Research ZHANG Yi SUN Zhi-Gang

¡¼No.3(417¡ª423)¡½

2-Terminal Reliability Computing Strategy for Backbone of Wireless Mesh Networks ZHAO Yun-Long1) SHAN Bao-Long1) GAO Zhen-Guo2) MEN Chao-Guang1) MA Yan-Long1)

¡¼No.3(424¡ª431)¡½

QoS Architecture in Wireless Sensor Network WEN Hao LIN Chuang REN Feng-Yuan ZHOU Jia ZENG Rong-Fei

¡¼No.3(432¡ª440)¡½

QoS Framework Design for WSN-Based Tracking of Moving Targets YU Jing WANG Zhi-Bo LUO Ji-An SUN Xi-Ce WANG Zhi

¡¼No.3(441¡ª462)¡½

A Parallel QoS Routing Optimization Based on Pareto Subsets QIN Yong1),2) XIAO Wen-Jun2) HUANG Han3) LIANG Ben-Lai4) ZHAO Cheng-Gui2) WEI Wen-Hong2)

¡¼No.3(463¡ª472)¡½

Hybrid Content Distribution Network and Its Performance Modeling JIANG Hai1),2) LI Jun1) LI Zhong-Cheng1)

¡¼No.3(473¡ª482)¡½

A Cooperation Protocol for Ad Hoc Networks with Selfish Nodes Based on Mechanism Design GUO Jian-Li WU Zhi-Bo DONG Jian YANG Xiao-Zong LIU Hong-Wei

¡¼No.3(483¡ª492)¡½

DTM: A Dynamic Trust Management Model for Internet Computing Environments LI Jian-Xin HUAI Jin-Peng LI Xian-Xian LIN Li

¡¼No.3(493¡ª505)¡½

GesBGP: A Good-Enough-Security BGP LI Qi1) WU Jian-Ping1) XU Ming-Wei1) XU Ke1) ZHANG Xin-Wen2)

¡¼No.3(506¡ª515)¡½

A Conflict and Redundancy Analysis Method for XACML Rules WANG Ya-Zhe FENG Deng-Guo

¡¼No.3(516¡ª530)¡½

A Secured Access Router Mesh of Mobile Networks with Path Selection and Fast Handover Support HUANG Song-Hua1) SUN Yu-Xing2) HUANG Hao1) CHEN Gui-Hai1)

¡¼No.3(531¡ª542)¡½

The Key Management Mechanism of IBE System HU Liang CHU Jian-Feng LIN Hai-Qun YUAN Wei ZHAO Kuo

¡¼No.3(543¡ª551)¡½

Refining the Inter-Domain IP Spoofing Prevention LU Gao-Feng SUN Zhi-Gang LU Xi-Cheng

¡¼No.3(552¡ª563)¡½

Dynamic Hierarchical Multicast Routing with Delay-Bandwidth Constraints HU Hong-Yu LU Hui-Mei CAO Yuan-Da RAO Si-Min

¡¼No.3(564¡ª575)¡½

A Survey of the Research on ALM Stability Enhancement SU Jin-Shu CAO Ji-Jun ZHANG Bo-Feng

¡¼No.3(576¡ª590)¡½

A Fast KD-Tree Construction Method by Probing the Optimal Splitting Plane Heuristically FAN Wen-Shan1)£¬2)£¬3)£¬4) WANG Bin2)£¬3)£¬4)

¡¼No.2(185¡ª192)¡½

Orthogonal Reconstruction of 3D Model Based on V-System over Triangular Domain LI Jian1) SONG Rui-Xia2) YE Meng-Jie1) LIANG Yan-Yan1) QI Dong-Xu1),2)

¡¼No.2(193¡ª202)¡½

Feature Preserving Mesh Simplification Algorithm Based on Square Volume Measure ZHOU Yuan-Feng1) ZHANG Cai-Ming1),2) HE Ping1)

¡¼No.2(203¡ª212)¡½

Metamorphosis Based on the Level-Set Methods PAN Qing1) XU Guo-Liang2)

¡¼No.2(213¡ª220)¡½

Physically Based Simulation of Weathering Plant Leaves CHI Xiao-Yu1) SHENG Bin3) CHEN Yan-Yun2) WU En-Hua1),3)

¡¼No.2(221¡ª230)¡½

GPU Based Real-Time Rendering of Spherical Depth Image ZHU Jian1) WU En-Hua1),2)

¡¼No.2(231¡ª240)¡½

Upsampling Synthesized Texture Using Joint Bilateral Filter XIAO Chun-Xia1),2),3) NIE Yong-Wei1) HUANG Xian-Feng4) ZHAO Yong2) PENG Qun-Sheng2)

¡¼No.2(241¡ª251)¡½

Adaptive Symbol Recognition for Sketch-Based Interfaces Based on Template Matching and SVM JIANG Ying-Ying1),2) TIAN Feng1) WANG Xu-Gang1) DAI Guo-Zhong1),2)

¡¼No.2(252¡ª260)¡½

Real-Time Post-Processing for Online Video Segmentation ZHONG Fan1) QIN Xue-Ying1),2) CHEN Jia-Zhou1) MO Ming-Zhen1) PENG Qun-Sheng1)

¡¼No.2(261¡ª267)¡½

A High-Accuracy Contour Extraction Algorithm for MR Images Based on Mumford-Shah Model YUAN Da1),2) ZHANG Cai-Ming1) LI Jin-Jiang1) LIU Xiao-Hua2)

¡¼No.2(268¡ª274)¡½

Discriminative Random Fields for Online Behavior Recognition HUANG Tian-Yu1),2) SHI Chong-De3) LI Feng-Xia2) CHENG Cheng2)

¡¼No.2(275¡ª281)¡½

An Image Segment Method Based on Color Invariance of Physical Reflection Model CAI Xun MENG Xiang-Xu HAO Xing-Wei LIAN Li JIANG Long

¡¼No.2(282¡ª287)¡½

Constructing Biorthogonal Wavelets Using Lifting Scheme CHEN Zhi-Neng1),2),3) GAO Xie-Ping1)

¡¼No.2(288¡ª298)¡½

Edge Detection Based on Density Gradient SUN Da LIU Jia-Feng TANG Xiang-Long

¡¼No.2(299¡ª307)¡½

A Contourlet-Domain Watermarking Algorithm Against Geometric Attacks Based on Feature Template LOU Ou-Jun WANG Zheng-Xuan

¡¼No.2(308¡ª317)¡½

An Attacked Image Based Hidden Messages Blind Detect Technique MAO Jia-Fa1),2) LIN Jia-Jun2) DAI Meng3)

¡¼No.2(318¡ª327)¡½

Building Panoramas from Photographs Taken with An Uncalibrated Hand-Held Camera CHEN Hui LONG Ai-Qun PENG Yu-Hua

¡¼No.2(328¡ª335)¡½

Fast Adaboost Training Algorithm by Dynamic Weight Trimming JIA Hui-Xing1),2) ZHANG Yu-Jin1),2)

¡¼No.2(336¡ª341)¡½

Automatic Fragment Re-Assembly Method Based on DDTW Match GAO Jian1) ZHANG Cai-Ming1) MENG Xiang-Xu1) FENG Zhi-Quan2)

¡¼No.2(342¡ª349)¡½

Fusion Method of Multi-Spectral Image and Panchromatic Image Based on Four Channels Non-Separable Additive Wavelets LIU Bin1) PENG Jia-Xiong2)

¡¼No.2(350¡ª356)¡½

A Survey on the Management of Uncertain Data ZHOU Ao-Ying1) JIN Che-Qing1) WANG¡¡Guo-Ren2) LI Jian-Zhong3)

¡¼No.1(1¡ª16)¡½

Emergence-Oriented Research on MAS with Quantifications Based on the Notions in Science of Complexity JIN Shi-Yao HUANG Hong-Bing REN Chuan-Jun

¡¼No.1(17¡ª29)¡½

Hash Chain Based Random Keys Pre-Distribution Scheme in Wireless Sensor Networks SU Zhong LIN Chuang REN Feng-Yuan

¡¼No.1(30¡ª41)¡½

QoS Scheduling Based on Trust Relationship in Web Service Workflow HU Chun-Hua1),2) WU Min2) LIU Guo-Ping2£©£¬3)

¡¼No.1(42¡ª53)¡½

Non-Cooperative Game Based Research on Routing Schemes for Wireless Networks WANG Yang1) LIN Chuang1) LI Quan-Lin2) WANG Jing-Qi3) JIANG Xin1)

¡¼No.1(54¡ª68)¡½

Topology Evolution of Wireless Sensor Networks among Cluster Heads by Random Walkers CHEN Li-Jun1£©,2£© LIU Ming3£© CHEN Dao-Xu1£©,2£© XIE Li1£©,2£©

¡¼No.1(69¡ª76)¡½

Piecewise Support Vector Machines REN Shuang-Qiao YANG De-Gui LI Xiang ZHUANG Zhao-Wen

¡¼No.1(77¡ª85)¡½

A Comparison of Semantics of Extended Goals Expressed in CTL and EAGLE HUANG Wei1) JIANG Yun-Fei2) WEN Zhong-Hua3) PENG Hong1)

¡¼No.1(86¡ª96)¡½

Applying Bigraph Theory to Self-Adaptive Software Architecture CHANG Zhi-Ming MAO Xin-Jun QI Zhi-Chang

¡¼No.1(97¡ª106)¡½

Spatiotemporal Video Copy Detection Based on Visual Perception Analyses PAN Xue-Feng1),2) LI Jin-Tao1) ZHANG Yong-Dong1) TANG Sheng1) YU Le-Jun1),3) XIA Tian1),2)

¡¼No.1(107¡ª114)¡½

A Method Based on the Degree of Object Attributes Attention for Transmission QoS Control XIE Ke LIANG Xiao-Hui ZHAO Qin-Ping

¡¼No.1(115¡ª123)¡½

A Design Method of Ahead Masking Associative Memory Model with Expecting Fault-Tolerant Field YANG Guo-Wei1),2) WANG Shou-Jue2) LI Wei-Jun2)

¡¼No.1(124¡ª131)¡½

Objective Increment Based Iterative Greedy Heuristic for No-Wait Flowshops with Total Flowtime Minimization ZHU Xia LI Xiao-Ping WANG Qian`

¡¼No.1(132¡ª141)¡½

High-Bandwidth Memory Accessing Pipeline of General Purpose Processor ZHANG Hao LIN Wei ZHOU Yong-Bin YE Xiao-Chun FAN Dong-Rui

¡¼No.1(142¡ª151)¡½

Pipelined Template for Mapping Multiple Loop Nests on FPGA with Restricted Resources DONG Ya-Zhuo1) DOU Yong2) SONG Jian3) Liu Ming-Zheng4)

¡¼No.1(152¡ª160)¡½

A Novel Kind of Architecture with High-Efficiency and Error-Tolerance of Universal Quantum Computer WU Nan SONG Fang-Min

¡¼No.1(161¡ª168)¡½

A Power Control Algorithm Based on Game Theory in Ad Hoc Networks SUN Qiang1),2) LI La-Yuan2) CHEN Nian-Sheng3)

¡¼No.1(169¡ª176)¡½

R-Tree Index Structure for Multi-Scale Representation of Spatial Data DENG Hong-Yan1),2) WU Fang1) ZAI Ren-Jian1) ZHAO Qian3)

¡¼No.1(177¡ª184)¡½

2008

Classical Ramsey Number DNA Computing Model (¢ñ): Add-Bit-Sequence Model XU Jin1),2) FAN Yue-Ke2)

¡¼No.12(2073¡ª2080)¡½

Classical Ramsey Number DNA Computing Model (¢ò): Add-Bit-Sequence DNA computing Model XU Jin1),2) FAN Yue-Ke2)

¡¼No.12(2081¡ª2089)¡½

Research Advances and Prospect of Spiking Neural P Systems PAN Lin-Qiang ZHANG Xing-Yi ZENG Xiang-Xiang WANG Jun

¡¼No.12(2090¡ª2096)¡½

DNA Computing Model with DNAzyme to Control Gene Expression ZHANG Feng-Yue1) SONG Hai-Gang2) WEN Jun-Hai1) ZHANG Qiang3) LIU Bo4)

¡¼No.12(2097¡ª2102)¡½

Research Advances and Prospect of Biomolecular Computing Models in Vivo LIU Xiang-Rong1),2) ZHAO Dong-Ming1),2) XI Fang1),2) LI Fei1),2)

¡¼No.12(2103¡ª2108)¡½

DNA Computation Based on Piezoelectric Genosensor FANG Gang1) ZHANG Yun-Liang1) ZHU Yan1) XU Jin2)

¡¼No.12(2109¡ª2115)¡½

Breaking the Diffie-Hellman Key Exchange Algorithm in the Tile Assembly Model CHEN Zhi-Hua

¡¼No.12(2116¡ª2122)¡½

Analysis for Graph Coloring Problem Based on Sticker and Deletion Systems WANG Shu-Dong

¡¼No.12(2123¡ª2128)¡½

Breaking the NTRU Public Key Cryptosystem Using Self-Assembly of DNA Tilings ZHANG Xun-Cai1),2) NIU Ying2) CUI Guang-Zhao2) WANG Yan-Feng2)

¡¼No.12(2129¡ª2137)¡½

Progress and Difficulty in DNA Self-Assembly Technology YANG Jing1),2) ZHANG Cheng1),2)

¡¼No.12(2138¡ª2148)¡½

Research on Nucleic Acid Sequence Design Methods for DNA Computing ZHANG Kai1) GENG Xiu-Tang2) XIAO Jian-Hua3) ZHAO Dong-Ming1)

¡¼No.12(2149¡ª2154)¡½

A DNA Computation Model to Solve 0-1 Programming Problem QIANG Xiao-Li1) ZENG Bo1) WANG Zi-Cheng1) KOU Zheng2)

¡¼No.12(2155¡ª2159)¡½

Language Capability Analysis of DNA Nanostructure¡¯s Self-Assembly CHEN Yan1) FU Yan2) ZHU Meng3)

¡¼No.12(2160¡ª2167)¡½

Biomolecular Pushdown Automaton Based on the DNA Computing ZHANG Zheng1) LIU Jie2) SHI Xiao-Long1)

¡¼No.12(2168¡ª2172)¡½

Improved Volume Molecular Solutions for the Maximum Clique Problem on DNA-Based Supercomputing LI Ken-Li1),2) ZHOU Xu1) ZOU Shu-Ting1)

¡¼No.12(2173¡ª2181)¡½

Research on DNA Computing Methods of Optimization Problems on Weighted Graph HAN Ai-Li

¡¼No.12(2182¡ª2192)¡½

Genetic Algorithm-Based Design for DNA Sequences Sets ZHANG Qiang WANG Bin ZHANG Rui XU Chun-Xia

¡¼No.12(2193¡ª2199)¡½

Molecular Beacon Based DNA Computing Model for General Satisfiability Problem YIN Zhi-Xiang1),2) CUI Jian-Zhong1) ZHI Ling-Ying1) SUN Xia1) HUANG Xiao-Hui1)

¡¼No.12(2200¡ª2206)¡½

DNA Ligation Design and Biological Realization of Knapsack Problem ZHU Ying1) REN Li-Hong1) DING Yong-Sheng1),2) Kongsuwan Kritaya3)

¡¼No.12(2207¡ª2214)¡½

Design and Implementation of Generalized List in DNA Computer LI Wang-Gen1),2) DING Yong-Sheng1),3) REN Li-Hong1)

¡¼No.12(2215¡ª2219)¡½

An Information Transmission Mode for DNA Numerical Calculation LIU Wei SUN Shou-Xia

¡¼No.12(2220¡ª2224)¡½

Architecture of PKUnity-SK SoC for UMPC CHENG Xu LU Jun-Lin YI Jiang-Fang LIU Shu

¡¼No.11(1877¡ª1887)¡½

Instruction Fusion Technology for the MIPS CHEN Wen-Zhi JIANG Zhen-Yu WU Fan

¡¼No.11(1888¡ª1897)¡½

Design of Cost-Effective 2-Level Correlation Indirect-Branch Predictor YUAN Nan1)£¬2) FAN Dong-Rui1)

¡¼No.11(1898¡ª1906)¡½

HybridTCache: Tightly Coupled Hybrid Transactional Memory System to Support Efficient Unbounded Transactions with Strong Isolation WANG Shao-Gang WU Dan PANG Zheng-Bin YANG Xiao-Dong

¡¼No.11(1907¡ª1917)¡½

Using Write Mask to Support Hybrid Write-Back and Write-Through Cache Policy on Many-Core Architectures LIN Wei1),2) YE Xiao-Chun1),2) SONG Feng-Long1),2) ZHANG Hao1)

¡¼No.11(1918¡ª1928)¡½

SAGA: A Stream Attribute Guided Cache Allocation Policy for Microprocessors CHEN Yu LIN Jun-Min QIAO Lin TANG Zhi-Zhong

¡¼No.11(1929¡ª1937)¡½

A Weighted Dynamic Shared Cache Partitioning Mechanism for Multi-Threaded Multi-Programmed Workloads SUO Guang YANG Xue-Jun

¡¼No.11(1938¡ª1947)¡½

Research on Parallel Computation Model with Memory Hierarchy on Multi-Core Clusters TU Bi-Bo1),2) ZOU Ming1),2) ZHAN Jian-Feng1) ZHAO Xiao-Fang1) FAN Jian-Ping1),3)

¡¼No.11(1948¡ª1955)¡½

Study on Transfer Model of Deployment System for High Performance Server Cluster XUE Zheng-Hua1) DONG Xiao-She1) HU Lei-Jun2),3) WU Wei-Guo1)

¡¼No.11(1956¡ª1964)¡½

A MPI Parallel Programming Model for CBEA Based on Hybrid Memory Access Technology FENG Guo-Fu1) DONG Xiao-She1) HU Bing1) WANG Xu-Hao1) WANG En-Dong2),3)

¡¼No.11(1965¡ª1974)¡½

Architectural Support and Evaluation of Cilk Language on Many-Core Architectures LONG Guo-Ping ZHANG Jun-Chao FAN Dong-Rui

¡¼No.11(1975¡ª1985)¡½

A Metadata-Driven Optimization for Sampling Simulation YAN Qiang ZHANG Wei-Hua LIU Li-Li ZANG Bin-Yu ZHU Chuan-Qi

¡¼No.11(1986¡ª1994)¡½

Multi-Core Embedded Processor Based on FPGA and Parallelization of SUSAN Algorithm WANG Jie ZHANG Shu-Yan LIU Tao JI Zhen-Zhou HU Ming-Zeng

¡¼No.11(1995¡ª2004)¡½

Software/Hardware Co-Design for 1-D FFT Optimization on Many-Core Architecture ZHOU Yong-Bin ZHANG Jun-Chao ZHANG Shuai ZHANG Hao

¡¼No.11(2005¡ª2014)¡½

An Efficient Conflict-Free Parallel Memory Scheme for Image Applications with Multiple Interested Regions XU Jin-Bo DOU Yong

¡¼No.11(2015¡ª2025)¡½

Research and VLSI Implementation of a Dynamic Virtual Channel Structure with Congestion Awareness Scheme. LAI Ming-Che WANG Zhi-Ying GUO Jian-Jun DAI Kui

¡¼No.11(2026¡ª2037)¡½

A Hardware/Software Method for Heterogeneous Cores Cooperating on Stream Architecture REN Ju HE Yi XUN Chang-Qing YANG Qian-Ming WEN Mei WU Nan ZHANG Chun-Yuan

¡¼No.11(2038¡ª2046)¡½

Chip Multiprocessor Execution Model for Soft Error Tolerance GONG Rui DAI Kui WANG Zhi-Ying

¡¼No.11(2047¡ª2059)¡½

Leakage-Aware Energy-Efficient Scheduling for Fixed-Priority Tasks with Preemption Thresholds HE Xiao-Chuan JIA Yan

¡¼No.11(2060¡ª2071)¡½

Research on Quality of Protection in Networks LIN Chuang XIAO Yan-Ping WANG Yuan-Zhuo ZENG Rong-Fei

¡¼No.10(1667¡ª1678)¡½

Performance Analysis of Transport Protocol over Fast Long Distance Optical Network REN Yong-Mao1),2) QIN Gang1) TANG Hai-Na1) LI Jun1) QIAN Hua-Lin1)

¡¼No.10(1679¡ª1686)¡½

Forwarded History-Based Asynchronous Routing for Challenged Networks and Research of the Number of Relays CHEN Hui1) FAN Xiu-Mei1) SHAN Zhi-Guang2)

¡¼No.10(1687¡ª1694)¡½

Redundancy Schemes for High Availability in DHTs CHEN Gui-Hai1) WU Fan2) LI Hong-Xing1) QIU Tong-Qing3)

¡¼No.10(1695¡ª1704)¡½

A Fair Multi-Party Non-Repudiation Protocol HAN Zhi-Geng LUO Jun-Zhou

¡¼No.10(1705¡ª1715)¡½

Research on Manageability of Grid Service Model Method and Management Strategies WANG Yuan-Zhuo1),2) LIN Chuang1) YANG Yang2) SHAN Zhi-Guang3)

¡¼No.10(1716¡ª1726)¡½

Design of Barrier Network of Dawning 5000 High Performance Computer CAO Zheng1),2),3) WANG Da-Wei1),2),3) LIU Xin-Chun1),2) SUN Ning-Hui1),2)

¡¼No.10(1727¡ª1736)¡½

A Small Close-Coupled Fast Shared Data Pool for Multi-Core DSPs CHEN Shu-Ming WANG Dong CHEN Xiao-Wen WAN Jiang-Hua

¡¼No.10(1737¡ª1744)¡½

Identifying Possibly Parallel regions Using Average Execution Time of Regions and Data Dependence Profiling ZHANG Chao1),2) WANG Lei1),2) XIANG Xiao-Ya1),2) FENG Xiao-Bing1)

¡¼No.10(1745¡ª1753)¡½

A Universally Composable Secure RFID Communication Protocol in Supply Chains ZHANG Fan1),2) SUN Xuan1),3) MA Jian-Feng1) CAO Chun-Jie1) ZHU Jian-Ming4)

¡¼No.10(1754¡ª1767)¡½

A Isolated Execution Model Based on Local Virtualization Technology WEN Yan WANG Huai-Min

¡¼No.10(1768¡ª1779)¡½

A Method of Adaptively Selecting Best LDA Model Based on Density CAO Juan1),2),3) ZHANG Yong-Dong1),2) LI Jin-Tao1),2) TANG Sheng1),2)

¡¼No.10(1780¡ª1787)¡½

Fuzzy Finite Automata and Monadic Second-Order Lukasiewicz Logic LI Yong-Ming

¡¼No.10(1788¡ª1794)¡½

Mining Key Members of Crime Networks Based on Personality Trait Simulation Email Analysis System QIAO Shao-Jie1) TANG Chang-Jie1) PENG Jing2) LIU Wei1) WEN Fen-Lian1) QIU Jiang-Tao1)

¡¼No.10(1795¡ª1803)¡½

Data Flow Modeling and Verification in Product Development Process LI Wei-Gang1) WANG Wen-Bin2) SHEN Jun-Yi2)

¡¼No.10(1804¡ª1813)¡½

Bayesian Networks Based Reliability Analysis of Phased-Mission Systems LIU Dong1),2) ZHANG Chun-Yuan1) XING Wei-Yan3) LI Rui1)

¡¼No.10(1814¡ª1825)¡½

A Test Data Compression Scheme Based on Mixed Fixed and Variable Length Coding ZHAN Wen-Fa1),2) LIANG Hua-Guo1) SHI Feng1) HUANG Zheng-Feng1)

¡¼No.10(1826¡ª1834)¡½

Applying Improved AO* Based on DPSO Algorithm in the Optimal Test-Sequencing Problem of Large-scale Complicated Electronic System JIANG Rong-Hua WANG Hou-Jun LONG Bin

¡¼No.10(1835¡ª1840)¡½

Data Prefetching to Support Real-time Transactions Processing in Mobile Environments LI Guo-Hui1) YANG Bing1) CHEN Hui1) DU Jian-Qiang2)

¡¼No.10(1841¡ª1847)¡½

A New Spatial Domain Method for Watermarking in 3D Models LIAO Xue-Liang WANG Yu-Ping

¡¼No.10(1848¡ª1856)¡½

The Symbolic Algorithm for Time Series Data Based on Statistic Feature ZHONG Qing-Liu CAI Zi-Xing

¡¼No.10(1857¡ª1864)¡½

Text Segmentation Based on Model LDA SHI Jing1) HU Ming1) SHI Xin2) DAI Guo-Zhong3)

¡¼No.10(1865¡ª1873)¡½

Methodology of Research on Parallel Algorithms CHEN Guoª²Liang SUN Guangª²Zhong XU Yun LU Min

¡¼No.9(1493¡ª1502)¡½

HPP: An Architecture for High Performance and Utility Computing SUN Ningª²Hui1) LI Kai2) CHEN Mingª²Yu1)

¡¼No.9(1503¡ª1508)¡½

Notes on Classifying Network Computing Systems XU Zhiª²Wei LIAO Huaª²Ming YU Haiª²Yan ZHA Li

¡¼No.9(1509¡ª1515)¡½

Overlay Technologies for Internet-Based Virtual Computing Environment LU Xi-Cheng LI Dong-Sheng

¡¼No.9(1516¡ª1524)¡½

Research on QoS in Next Generation Network LIN Chuang WANG Yuan-Zhuo REN Feng-Yuan

¡¼No.9(1525¡ª1535)¡½

Research and Exploration of Next-Generation Internet Architecture WU Jian-Ping WU Qian XU Ke

¡¼No.9(1536¡ª1548)¡½

Sharp Static Analysis of Programs ZHANG Jian

¡¼No.9(1549¡ª1553)¡½

A Problem-Driven Scenario-Based Collaborative Requirements Elicitation Method ZHANG Wei LIU Feng ZHAO Hai-Yan MEI Hong

¡¼No.9(1554¡ª1562)¡½

Complex Query Processing in Large-Scale Distributed System ZHOU Ao-Ying1),2) ZHOU Min-Qi2) QIAN Wei-Ning1) ZHANG Rong2)

¡¼No.9(1563¡ª1572)¡½

Research on OLAP System Supporting What-if Analysis WANG Shan1),2) XIAO Yan-Qin1),2),3) ZHANG Yan-Song1),2),4) CHEN Hong1),2)

¡¼No.9(1573¡ª1587)¡½

Uncertainty of Rough Sets in Different Knowledge Granularities WANG Guo-Yin1),2) ZHANG Qing-Hua1),2)

¡¼No.9(1588¡ª1598)¡½

Reasoning About Semantic Web Services with an Approach Based on Dynamic Description Logics SHI Zhong-Zhi CHANG Liang

¡¼No.9(1599¡ª1611)¡½

User Attention Analysis Based Video Summarization and Highlight Ranking HUANG Qing-Ming1),2) ZHENG Yi-Jia1) JIANG Shu-Qiang2),3) GAO Wen4)

¡¼No.9(1612¡ª1621)¡½

A Curvature Flow Based Fairing Algorithm of Quad-Dominant Meshes HU Shi-Min LAI Yu-Kun YANG Yong-Liang

¡¼No.9(1622¡ª1628)¡½

Image Annotation Based on Graph Learning LU Han-Qing LIU Jing

¡¼No.9(1629¡ª1639)¡½

Research on Attestation Method for Trust Computing Environment FENG Deng-Guo QIN Yu

¡¼No.9(1640¡ª1652)¡½

Universally Composable Mercurial Commitment Scheme XU Hai-Xia LI Hong-Da LI Bao

¡¼No.9(1653¡ª1660)¡½

A Novel NTRU-Class Digital Signature Scheme HU Yu-Pu

¡¼No.9(1661¡ª1666)¡½

Modeling and Application of Data-Links Among Web Services GU Zhi-Feng LI Juan-Zi HU Jian-Qiang XU Bin WANG Ke-Hong

¡¼No.8(1309¡ª1318)¡½

Business Services Instantiation on the Basis of the Generalization-Specification Patterns ZHANG Peng1) WANG Jing2) ZHAO Xiao-Wei1)

¡¼No.8(1319¡ª1330)¡½

A Modified Operation Similarity Measure Method Based on WSDL Description HE Ling-Juan LIU Lian-Chen WU Cheng

¡¼No.8(1331¡ª1339)¡½

Using Service Clustering to Facilitate Process-Oriented Semantic Web Service Discovery SUN Ping1),2),3) JIANG Chang-Jun1),2)

¡¼No.8(1340¡ª1353)¡½

A Method for Semantic Web Service Discovery Based on Context Inference FENG Zai-Wen HE Ke-Qing LI Bing GONG Ping HE Yang-Fan LIU Wei

¡¼No.8(1354¡ª1363)¡½

A Method of Semantic Web Service Discovery Based on Bipartite Graph Matching DENG Shui-Guang YIN Jian-Wei LI Ying WU Jian WU Zhao-Hui

¡¼No.8(1364¡ª1375)¡½

QFMA: An Approach for Multi-Attribute Resource Addressing with Load Balancing LIU De-Hui1) ZHOU Ning2) YIN Gang1) WANG Huai-Min1) ZOU Peng1)

¡¼No.8(1376¡ª1382)¡½

Service-Correlation Aware Service Selection for Composite Service YE Shi-Yang1),2) WEI Jun2) LI Lei1),2) HUANG Tao1),2)

¡¼No.8(1383¡ª1397)¡½

Service-Oriented Modeling Based on Whole Process Asset Reuse WU Bu-Dan1) JIN Zhi1),2) ZHAO Bin2)

¡¼No.8(1393¡ª1308)¡½

Research on Service Selection Approach Based on Composite Service Execution Information ZHANG Ming-Wei1),2) WEI Wei-Jie1) ZHANG Bin1) ZHANG Xi-Zhe1) ZHU Zhi-Liang2)

¡¼No.8(1398¡ª1411)¡½

Uncertain Schema Matching in Deep Web Integration Service JIANG Fang-Jiao1),2) MENG Xiao-Feng1) JIA Lin-Lin1)

¡¼No.8(1412¡ª1421)¡½

A Dynamic Management Approach to Mediation-Based Service Collaboration Process QIAO Xiao-Qiang WEI Jun HUANG Tao

¡¼No.8(1422¡ª1433)¡½

A Dependable and Adaptive Approach to Supporting Web Service Composition GUO Hui-Peng HUAI Jin-Peng DENG Ting LI Yang

¡¼No.8(1434¡ª1444)¡½

A Coordination Strategy for Reliable Service Composition and Its Analysis FAN Gui-Sheng LIU Dong-Mei CHEN Li-Qiong YU Hui-Qun

¡¼No.8(1445¡ª1457)¡½

An Extensible Management Framework for Web Service QoS SHAO Ling-Shuang LI Tian ZHAO Jun-Feng WANG Ya-Sha XIE Bing MEI Hong

¡¼No.8(1458¡ª1470)¡½

A Capability Enhanced Trust Evaluation Model for Web Services LI Hai-Hua1),2) DU Xiao-Yong1),2) TIAN Xuan1),2),3)

¡¼No.8(1471¡ª1477)¡½

Research on Exception Handling of Composite Services Based on Compensation Business Process Graph SHANG Zong-Min CUI Li-Zhen WANG Hai-Yang SHI Yu-Liang

¡¼No.8(1478¡ª1490)¡½

The ¦Å-Dominance Based Multi-Objective Evolutionary Algorithm and an Adaptive ¦Å Strategy LIU Liu1) LI Min-Qiang1) LIN Dan2)

¡¼No.7(1063¡ª1072)¡½

Serial Function Networks Method and Learning Algorithm with Applications ZHOU Yong-Quan1),2) ZHAO Bin3) JIAO Li-Cheng1)

¡¼No.7(1073¡ª1081)¡½

An Evolutionary Algorithm Based on Cloud Model ZHANG Guang-Wei1) HE Rui1) LIU Yu1) LI De-Yi2) CHEN Gui-Sheng2)

¡¼No.7(1082¡ª1091)¡½

The Optimization Approaches of Organizing Streams on Imagine Processor YANG Xue-Jun1) ZENG Li-Fang2) DENG Yu1) TANG Yu-Hua1)

¡¼No.7(1092¡ª1100)¡½

The Study of Stack Allocation in Loop Based on Escape Analysis WANG Lei XU Xing

¡¼No.7(1101¡ª1108)¡½

ROLAP-Oriented Temporal Vertical Partitioning Method Based on Rough Sets LI Wen-Hai1),2) FENG Yu-Cai2) MA Xiao-Ming3),4) FU Quan2) HU Wen-Bin1)

¡¼No.7(1109¡ª1121)¡½

A Direct Anonymous Attestation Scheme in Multi-Domain Environment CHEN Xiao-Feng FENG Deng-Guo

¡¼No.7(1122¡ª1130)¡½

A New Algorithm of Elliptic Curve Multi-Scalar Multiplication LIU Duo DAI Yi-Qi

¡¼No.7(1131¡ª1137)¡½

An Algorithm of Network Plan Based on Dependent Task Assignment GUO Qiang

¡¼No.7(1138¡ª1146)¡½

Heuristics for the No-Wait Flow Shop Problem with Makespan Criterion PAN Quan-Ke1),2) ZHAO Bao-Hua1) QU Yu-Gui1)

¡¼No.7(1147¡ª1154)¡½

A Robust and Flexible Unbalanced Multiple Description Video Coding and Transmission Scheme LI Bin HUANG Feng SUN Li-Feng YANG Shi-Qiang

¡¼No.7(1155¡ª1164)¡½

Errors of Bhattacharyya Coefficient and Its Reduction in Object Tracking WEN Zhi-Qiang1),2) CAI Zi-Xing1)

¡¼No.7(1165¡ª1174)¡½

A Rate Control Algorithm for Scalable Video Coding XU Long1) GAO Wen1)£¬2) JI Xiang-Yang1) ZHAO De-Bin3)

¡¼No.7(1175¡ª1184)¡½

General Framework, Mathematical Model, Current Activities and Open Issues for Media Adaptation in MPEG-21 DIA HUANG Tian-Yun

¡¼No.7(1185¡ª1199)¡½

Research Advances on Pattern Searches in Constrained Optimization HUANG Tian-Yun

¡¼No.7(1200¡ª1215)¡½

A Dynamic Scheduling Algorithm for Mobile Streaming Media Based on Proxy Caching LIAO Jian-Xin1) YANG Ge1),2) ZHU Xiao-Min1) HUANG Hai1)

¡¼No.7(1216¡ª1223)¡½

Medical Image Registration Based on Modified Spring-Mass Model GONG Yong-Yi1),2),3) LUO Xiao-Nan1),2) JIA Wei-Jia4) WONG Hau San4)

¡¼No.7(1224¡ª1233)¡½

SAR Image Denoising Based on Lifting Directionlet Domain Gaussian Scale Mixtures Model BAI Jing HOU Biao WANG Shuang JIAO Li-Cheng

¡¼No.7(1234¡ª1241)¡½

A Survey on Sports Video Analysis TONG Xiao-Feng LIU Qing-Shan LU Han-Qing

¡¼No.7(1242¡ª1251)¡½

A Kind of P2P Fuzzy Recognition Method Based on Flow Characteristic Description SUN Zhi-Xin1)£¬3) GONG Jing2)

¡¼No.7(1252¡ª1260)¡½

A Dynamic Mobile Multi-Agent-Based Collaboration Model of Peer-to-Peer(P2P) Computing XU Xiao-Long1) WANG Ru-Chuan1),2)

¡¼No.7(1261¡ª1267)¡½

Research on the Application of Artificial Neural Network in the Fine-Grained Software Rejuvenation of Computing System WANG Zhan GUO Cheng-Hao LIU Feng-Yu ZHANG Hong

¡¼No.7(1268¡ª1275)¡½

Statistic Model-Based Simulation on Calligraphy Creation DONG Jun1) XU Miao1) PAN Yun-He2)

¡¼No.7(1276¡ª1282)¡½

Narrowband-Based Audio Watermarking with Self-Synchronization LEI Yun1) LIU Jian1) YAN Bo2) YAN Yong-Hong1)

¡¼No.7(1283¡ª1290)¡½

Emergence-Oriented Research on Multi-Agent Systems and Its State of Arts JIN Shi-Yao HUANG Hong-Bing FAN Gao-Jun

¡¼No.6(881¡ª895)¡½

A Tableau Decision Algorithm for Dynamic Description Logic CHANG Liang1),2) SHI Zhong-Zhi1) QIU Li-Rong1) LIN Fen1),2)

¡¼No.6(896¡ª909)¡½

An Interpolation Based Genetic Algorithm for Solving Nonlinear Bilevel Programming Problems LI He-Cheng1),2) WANG Yu-Ping1)

¡¼No.6(910¡ª918)¡½

An Approach of Solving Constraint Satisfaction Problem Based on Preprocessing SUN Ji-Gui1),2) ZHU Xing-Jun1),2) ZHANG Yong-Gang1),2) LI Ying1),2)

¡¼No.6(919¡ª926)¡½

Prediction of Polyadenylation in Human Gene Sequences LIAO Kun DUAN Jiang-Bo ZHOU Yan-Hong

¡¼No.6(927¡ª933)¡½

Classification Rule Extraction Based on Fuzzy Area Distribution and Classification Reasoning Algorithm LI Jie1),2) DENG Yi-Ming2) SHEN Shi-Tuan2)

¡¼No.6(934¡ª941)¡½

A Study on Integrated Evaluating Kernel Classification Performance Using Statistical Methods WANG Yong1),2) HU Bao-Gang1),2)

¡¼No.6(942¡ª952)¡½

Improving the Performance of Payment Mechanism Based P2P Application with Altruistic Nodes PENG Dong-Sheng LIN Chuang LIU Wei-Dong

¡¼No.6(953¡ª959)¡½

Empirical Study of Region User Behaviors for Web Pages MA Wei-Dong1),2) LI You-Ping2) MA Jian-Guo3) ZHOU Ming-Tian1)

¡¼No.6(960¡ª967)¡½

Link-Stable Clustering and Power Control for Wireless Sensor Networks LI Fang-Min LIU Xin-Hua XU Wen-Jun HAN Ping

¡¼No.6(968¡ª978)¡½

Truly Bitstate-Hashing for SCC-Based Emptiness Checking Algorithms YAN Rong-Jie1),2) ZHANG Wen-Liang1),2) TANG Zhi-Song1)

¡¼No.6(979¡ª988)¡½

Loop Unrolling and Data-Path Generation of Sliding-Window Operation DONG Ya-Zhuo1) LIU Ming-Zheng2) XIA Fei1) DOU Yong1)

¡¼No.6(989¡ª997)¡½

Grid Index Based Algorithm for Continuous Skyline Computation TIAN Li ZOU Peng LI Ai-Ping JIA Yan

¡¼No.6(998¡ª1012)¡½

Versatile Multidimensional Histograms for Different Data Distributions CAO Wei WANG Shan QIN Xiong-Pai WANG Qiu-Yue

¡¼No.6(1013¡ª1024)¡½

A New Approach to Automated Test Data Generation in Mutation Testing SHAN Jin-Hui1),2) GAO You-Feng1) LIU Ming-Hao1) LIU Jiang-Hong1) ZHANG Lu1) SUN Jia-Su1)

¡¼No.6(1025¡ª1034)¡½

The Automatic Verification and Improvement of SET Certificate Registration Protocols with SPV XIAO Yin-Yin1) SU Kai-Le1),2) YUE Wei-Ya1) CHEN Qing-Liang3) LU Guan-Feng4) YANG Jin-Ji1),5)

¡¼No.6(1035¡ª1045)¡½

Research and Application in Chinese Input Technology for Numerical Keyboard WANG Yong-Min

¡¼No.6(1046¡ª1055)¡½

Degree Elevation of Algebraic Hyperbolic B-spline Curves and Corner Cutting Based on Bi-order Spline ZHANG BoWANG Guo-Zhao

¡¼No.6(1056¡ª1062)¡½

Data Provenance in a Scientific Workflow Service Framework Integrated with Object Deputy Database WANG Li-Wei1) HUANG Ze-Qian2) LUO Min2) PENG Zhi-Yong2),3)

¡¼No.5(721¡ª732)¡½

A Clustering and Scheduling Algorithm Based on Task Duplication HE Kun1),2) ZHAO Yong2) HUANG Wen-Qi1)

¡¼No.5(733¡ª740)¡½

An Optimistic Data Consistency Maintenance Method Based on Data Dependence ZHOU JingWANG Yi-JieLI Si-Kun

¡¼No.5(741¡ª754)¡½

Research on Key Technologies of Large-Scale Streaming Media YIN Hao1) LIN Chuang1) WEN Hao1) CHEN Zhi-Jia1) WU Da-Peng2)

¡¼No.5(755¡ª774)¡½

PFWRR: An Enhanced WRR Scheduling Realizing the Proportion Fairness Principle WANG Sheng-Ling1)¡þHOU Yi-Bin2)¡þHUANG Jian-Hui1)¡þHUANG Zhang-Qin2)

¡¼No.5(775¡ª782)¡½

Performance Impact of Deferent Permutation Matrix on LDPC Codes Based on Partitioned H-Matrix PENG Li ZHU Guang-Xi

¡¼No.5(783¡ª792)¡½

Fast Forward Planning System Based on Delayed Partly Reasoning CAI Dun-Bo1),2),3) YIN Ming-Hao1),2),3) GU Wen-Xiang3) SUN Ji-Gui1),2) LIU Ke-Cheng4)

¡¼No.5(793¡ª802)¡½

Adaptive Construction for Kernel Function Based on the Feature Discriminability REN Shuang-Qiao WEI Xi-Zhang LI Xiang ZHUANG Zhao-Wen

¡¼No.5(803¡ª809)¡½

An Improved Ant Algorithm for Multidimensional Knapsack Problem YU Xue-Cai ZHANG Tian-Wen

¡¼No.5(810¡ª819)¡½

Cross-Media Retrieval Method Based on Content Correlations ZHANG Hong1),2) WU Fei2) ZHUANG Yue-Ting2) CHEN Jian-Xun1)

¡¼No.5(820¡ª826)¡½

Designing Power Analysis Resistant and High Performance Block Cipher Coprocessor using WDDL and Wave-Pipelining TONG Yuan-Man WANG Zhi-Ying DAI Kui LU Hong-Yi SHI Wei

¡¼No.5(827¡ª834)¡½

Reversible Logic Synthesis with Positive/Negative Control Model GUAN Zhi-Jin1),2) QIN Xiao-Lin1) SHI Quan2) ZHENG Ji-Ping3)

¡¼No.5(835¡ª844)¡½

Regulating SMT Resource Allocation via Thread-Sensitive Register Renaming YANG Hua1) CUI Gang2) LIU Hong-Wei2) YANG Xiao-Zong2)

¡¼No.5(845¡ª857)¡½

Research on Storage System Architecture of the Intelligent Network Disk(IND) ZHAO Yue-Long1),2) DAI Zu-Xiong2),3) WANG Zhi-Gang2) YANG Xi2)

¡¼No.5(858¡ª867)¡½

Simulation on 3-D Glass Isotropic Chemical Etching Process for Microfludic Chip Based on Cellular Automata Model DU Li-Qun1) LI Pu2) LIU Jun-Shan3)

¡¼No.5(868¡ª874)¡½

A Novel Image Fusion Algorithm Based on Local Contrast and Adaptive PCNN MIAO Qi-Guang WANG Bao-Shu

¡¼No.5(875¡ª880)¡½

The Present Studying State of Granular Computing and Studying of Granular Computing Based on the Semantics of Rough Logic LIU Qing1),3) SUN Hui1) WANG Hong-Fa2)

¡¼No.4(543¡ª555)¡½

Design and Proof of a Safe Programming Language PointerC HUA Bao-Jian CHEN Yi-Yun LI Zhao-Peng WANG Zhi-Fang GE Lin

¡¼No.4(556¡ª564)¡½

A Hybrid Heuristic Algorithm for the Vehicle Routing Problem with Simultaneous Delivery and Pickup CHEN Ping HUANG Hou-Kuan DONG Xing-Ye

¡¼No.4(565¡ª573)¡½

Privacy Preserving Approaches for Multiple Sensitive Attributes in Data Publishing YANG Xiao-Chun WANG Ya-Zhe WANG BinYU Ge

¡¼No.4(574¡ª587)¡½

An Event-Driven Service-Oriented Computing Platform LIU Jia-Hong WU Quan-Yuan

¡¼No.4(588¡ª599)¡½

Design and Implementation of a Group Key Server-Based Cryptographic File System XIAO Da SHU Ji-Wu XUE Wei LIU Zhi-Cai ZHENG Wei-Min

¡¼No.4(600¡ª610)¡½

Chinese AS-Level Topology Measurement and Analysis ZHANG Yu FANG Bin-Xing ZHANG Hong-Li

¡¼No.4(611¡ª619)¡½

Text Classification Based on Labeled-LDA Model LI Wen-Bo1),2) SUN Le1) ZHANG Da-Kun1)

¡¼No.4(620¡ª627)¡½

Evaluation Model of Summary Coherence Based on Basic Element LIU De-Xi1),2) JI Dong-Hong3)

¡¼No.4(628¡ª635)¡½

Heuristic Breadth-First Search Algorithm for Informative Gene Selection Based on Gene Expression Profiles WANG Shu-Lin1),2) WANG Ji1) CHEN Huo-Wang1) LI Shu-Tao3) ZHANG Bo-Yun1)

¡¼No.4(636¡ª649)¡½

Region-SIFT Descriptor Based Correspondence Between Multiple Cameras MING An-Long MA Hua-Dong

¡¼No.4(650¡ª661)¡½

An Answer Extraction Algorithm Based on Syntax Structure Feature Parsing and Classification HU Bao-Shun1) WANG Da-Ling2) YU Ge2) MA Ting2)

¡¼No.4(662¡ª676)¡½

Information Bottleneck Based Community Detection in Network SHEN Hua-Wei1),2) CHENG Xue-Qi1) CHEN Hai-Qiang1),2) LIU Yue1)

¡¼No.4(677¡ª686)¡½

New Event Detection Based on Division Comparison of Subtopic HONG Yu ZHANG Yu FAN Ji-Li LIU Ting LI Sheng

¡¼No.4(687¡ª695)¡½

Research on Dynamic Summarization for Evolutionary Web Information ZHANG Jin1),2) XU Hong-Bo1) CHENG Xue-Qi1)

¡¼No.4(696¡ª701)¡½

A New Multiple Versions Incremental Creation Algorithm YANG Jun DOU Wan-Feng

¡¼No.4(702¡ª710)¡½

The Basic Algebraic Principles of DNA Computing(I) HUANG Yu-Qian

¡¼No.3(353¡ª371)¡½

A Pointer Logic for Safety Verification of Pointer Programs CHEN Yi-Yun HUA Bao-Jian GE Lin WANG Zhi-Fang

¡¼No.3(372¡ª380)¡½

A Construction Method for the Process Expression of a Petri Net Based on Synchronization Composition ZENG Qing-Tian

¡¼No.3(381¡ª390)¡½

A Dependability Evaluation System Based on Microprocessor Function Model ZHANG Shi-Jian1),2) XU Tong1),2) ZHANG Long-Bing1) HU Wei-Wu1)

¡¼No.3(391¡ª399)¡½

An Affine Partition Algorithm Based on Representative Element ZHANG Wei-Hua WANG Peng ZANG Bin-Yu ZHU Chuan-Qi

¡¼No.3(400¡ª410)¡½

A New Design for 9/7-Tap Wavelet Filter and Its VLSI Implementation TIAN Xin TAN Yi-Hua TIAN Jin-Wen

¡¼No.3(411¡ª418)¡½

Interstatement Must Alias and Its Application in Dependence Analysis of Java Programs QIAN Ju XU Bao-Wen ZHOU Yu-Ming

¡¼No.3(419¡ª430)¡½

Test Case Prioritization Based on Test Suite Design Information QU Bo NIE Chang-Hai XU Bao-Wen

¡¼No.3(431¡ª439)¡½

EHSTCP: Enhanced TCP in High-Speed Networks LONG Cheng-Nian1) YANG Hui-Long1) LI Xin1) GUAN Xin-Ping2)

¡¼No.3(440¡ª449)¡½

Hypo-Serializable Concurrency Control in Parallel Broadcast Environments DANG De-Peng

¡¼No.3(450¡ª455)¡½

A Plausible Timestamp System in Hierarchical Architecture CHEN Chun-Peng1),2) WANG Huai-Min1) YAO Yi-Ping1)

¡¼No.3(456¡ª466)¡½

A Distributed Scheduling Algorithm Maintaining Cells Order for Three-Stage Clos Networks YANG Jun-Gang1),2) BAO Min-Quan1) LIU Zeng-Ji1) QIU Zhi-Liang1) ZHAO Rui-Qin1) SHI Zeng-Zeng1)

¡¼No.3(467¡ª475)¡½

The Key Theorem and the Bounds on the Rate of Uniform Convergence of Statistical Learning Theory on Quasi-Probability Spaces HA Ming-Hu1) FENG Zhi-Fang2) SONG Shi-Ji3) GAO Lin-Qing1)

¡¼No.3(476¡ª485)¡½

Synthesis Performance Evaluation of Multi-Sensor Image Fusion HE Gui-Qing CHEN Shi-Hao TIAN Yun HAO Chong-Yang

¡¼No.3(486¡ª492)¡½

Determining Camera Pose Based on Body of Revolution WANG Ting WANG Yue-Chao YAO Chen

¡¼No.3(493¡ª501)¡½

Dynamic Job-Shop Scheduling Algorithm with Dynamic Set of Operation Having Priority XIE Zhi-Qiang1) YANG Jing2) YANG Guang1) TAN Guang-Yu3)

¡¼No.3(502¡ª508)¡½

A Bricklaying Heuristic Algorithm for the Orthogonal Rectangular Packing Problem ZHANG De-Fu1) HAN Shui-Hua2) YE Wei-Guo2)

¡¼No.3(509¡ª515)¡½

An Algebraic Approach for TAL-Freeness Detection PENG Rong1) CUI Jing-Song2) ZENG Xiang-Yong3)

¡¼No.3(516¡ª521)¡½

Bigraphical Semantics of Seal Calculus JIN Long-Fei LIU Lei

¡¼No.3(522¡ª528)¡½

Feature Preserving Coupled Bidirectional Flow for Edge Sharpening and Image Enhancement FU Shu-Jun1),2) RUAN Qiu-Qi2) MU Cheng-Po3) WANG Wen-Qia1)

¡¼No.3(529¡ª535)¡½

£Û+h£Ý-Link Prior Routing Strategy for Double-Loop Network FANG Mu-Yun1),2) QU Yu-Gui1) ZHAO Bao-Hua1)

¡¼No.3(536¡ª542)¡½

Semantics and Reasoning of Terminological Cycles in Description Logic FL- JIANG Yun-Cheng1),2) WANG Ju1) DENG Pei-Min3) TANG Yong2)

¡¼No.2(185¡ª195)¡½

Solving Numerical Integration Based on Evolution Strategy Method ZHOU Yong-Quan1) ZHANG Ming2) ZHAO Bin3)

¡¼No.2(196¡ª206)¡½

Readable Proving for Geometric Theorems of Polynomial Equality Type JIANG Jian-Guo1),2) ZHANG Jing-Zhong2) WANG Xiao-Jing2)

¡¼No.2(207¡ª213)¡½

An Algorithm for Identification of Repeats with Accurate Boundaries HUO Hong-Wei BAI Fan

¡¼No.2(214¡ª219)¡½

Self Organizing Map with Generalized and Localized Parallel Competitions for the TSP ZHANG Jun-Ying ZHOU Bin

¡¼No.2(220¡ª227)¡½

A Differential Evolution Based on Double Populations for Constrained Multi-Objective Optimization Problem MENG Hong-Yun1) ZHANG Xiao-Hua2) LIU San-Yang1)

¡¼No.2(228¡ª235)¡½

Research on Multi-Agent Dynamic Influence Diagrams and Its Approximate Inference Algorithm YAO Hong-Liang WANG Hao ZHANG You-Sheng WANG Rong-Gui

¡¼No.2(236¡ª244)¡½

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus WU Li-Jun1) SU Jin-Shu1) SU Kai-Le2)

¡¼No.2(245¡ª252)¡½

The Energy Hole Problem of Nonuniform Node Distribution in Wireless Sensor Networks WU Xiao-Bing CHEN Gui-Hai

¡¼No.2(253¡ª261)¡½

Study on Cooperation Stimulation Mechanism in Route Discovery of Ad hoc Networks HUANG Lei LIU Li-Xiang

¡¼No.2(262¡ª269)¡½

A New Trust Model Based on Recommendation Evidence for P2P Networks TIAN Chun-Qi1),2) ZOU Shi-Hong2) WANG Wen-Dong2) CHENG Shi-Duan2)

¡¼No.2(270¡ª281)¡½

Bottom Level Based Heuristic for Workflow Scheduling in Grids YUAN Ying-Chun1),3) LI Xiao-Ping1),2) WANG Qian1),2) ZHANG Yi1),2)

¡¼No.2(282¡ª290)¡½

Combined Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets LUO Ji-Liang

¡¼No.2(291¡ª298)¡½

Active-Cycle Based Register File Design for Reduced Ports and Energy ZHAO Yu-LaiLI Xian-FengTONG DongSUN Han-XinCHEN JieCHENG Xu

¡¼No.2(299¡ª308)¡½

Using Instruction Fetch Policy to Control Performance of a Thread in SMT Processors SUN Cai-Xia ZHANG Min-Xuan

¡¼No.2(309¡ª317)¡½

An Optimized Strategy for Collective Communication in Data Parallelism WANG Jue HU Chang-Jun ZHANG Ji-Lin LI Jian-Jiang

¡¼No.2(318¡ª328)¡½

Efficient Rate Control Schemes for H.264/AVC YUAN Wu1) LIN Shou-Xun2) NIU Zhen-Dong1) LUO Hai-Yong2) ZHANG Yong-Dong2)

¡¼No.2(329¡ª339)¡½

Combining Variation and Wavelet Transform for Image Zooming FENG Xiang-Chu1) JIANG Dong-Huan2) XU Guang-Bao2)

¡¼No.2(340¡ª345)¡½

A New Particle Filter for Nonlinear Filtering Problems WANG Fa-Sheng ZHAO Qing-Jie

¡¼No.2(346¡ª352)¡½

A Survey on Overcoming Free Riding in Peer-to-Peer Networks YU Yi-Jiao JIN Hai

¡¼No.1(1¡ª15)¡½

Condition of Cyclic ALCN-Tbox Exists Model CAO Fa-Sheng1),3) YU Quan2),3) WANG Ju4) JIANG Yun-Cheng4)

¡¼No.1(16¡ª23)¡½

Rationalizing Algorithm and Automated Proving for a Class of Inequalities Involving Radicals XU Jia YAO Yong

¡¼No.1(24¡ª31)¡½

An Effective Coloring Algorithm for Close Relationship Between the Scales of Element Set and Color Set and Its Application WANG Jian-Xin LIU Yun-Long CHEN Jian-Er

¡¼No.1(32¡ª42)¡½

Combining Position-Specific-Value Method and SVM for Remote Protein Classification LI Yu-Gang1) ZHANG Fa2) LIU Zhi-Yong2)

¡¼No.1(43¡ª50)¡½

A Discrete Hopfield Neural Network Based MIS Finding Algorithm for Stems Selecting and Its Application in RNA Secondary Structure Prediction LIU Qi1) ZHANG Yin2) YE Xiu-Zi2) YU Rong-Dong1)

¡¼No.1(51¡ª58)¡½

A Family of Binary Sequences with 4ª²Valued Low Correlation and Large Linear Span JIANG Wenª²Feng1) ZENG Xiangª²Yong2)ªªHU Lei1)ªª

¡¼No.1(59¡ª64)¡½

Research and Implementation of Information Service Model on Grid with Multiple Autonomous Domains ZHANG Hai-Hui1) ZHOU Xing-She1) YANG Zhi-Yi1) WU Xiao-Jun2) YANG Gang1)

¡¼No.1(65¡ª76)¡½

A Fast Structural Join Algorithm Based on Partitioning WANG Guo-Ren QIAO Bai-You HAN Dong-Hong WANG Bin

¡¼No.1(77¡ª90)¡½

Inconsistency Measure of Database with Similarity Relation ZHANG Wei-Gang1),2) PAN Quan2) ZHANG Hong-Cai2)

¡¼No.1(91¡ª103)¡½

A New Business Process Management Model LI Xiang-Ning1),2) HAO Ke-Gang2) ZHAO Ke1)

¡¼No.1(104¡ª111)¡½

A Movement Trend Based Self-Adaptive Vertical Handoff Algorithm and Its Performance Evaluation LIU Min1),3) LI Zhong-Cheng1) GUO Xiao-Bing2) ZHENG Kun1),3)

¡¼No.1(112¡ª119)¡½

Communication Set Generation for a Special Case of Irregular Parallel Applications HU Chang-Jun LI Jing WANG Jue YAO Guang-Li LI Yong-Hong DING Liang LI Jian-Jiang

¡¼No.1(120¡ª126)¡½

Instruction Scheduling Algorithm for Register File Connectivity Clustered VLIW Architecture ZHOU Zhi-Xiong HE Hu YANG Xu ZHANG Yan-Jun SUN Yi-He

¡¼No.1(127¡ª132)¡½

MASA Stream Architecture and Evaluating for a Fluid Computing Application WU Nan WEN Mei HE Yi XUN Chang-Qing REN Ju CHAI Jun ZHANG Chun-Yuan

¡¼No.1(133¡ª141)¡½

The Detection of Multiple Targets with Low SNR Based on Greedy Algorithm ZHANG Hai-Ying1) WEN Xuan2) ZHANG Tian-Wen3)

¡¼No.1(142¡ª150)¡½

Multiple Objects Tracking Based on Online Sampling ZHU Lin ZHOU Jie SONG Jing-Yan

¡¼No.1(151¡ª160)¡½

Adaptive Spatial-Temporal-Spectral Filters for Point Target Detection HU Jing1) ZHANG Tian-Xu2) LIN Liang-Kui3)

¡¼No.1(161¡ª169)¡½

Analyzing the Structures of Coronary Artery Trees in Angiogram Images Based on Fuzzy Recognition Algorithm JIANG Gui-Ping1) ZHOU Shou-Jun2)

¡¼No.1(170¡ª175)¡½

Digital Multi-Signature Scheme and Its Security Proof WANG Xiao-Feng1),2) ZHANG Jing1) WANG Shang-Ping1),2)

¡¼No.1(176¡ª183)¡½

2007

An Improved Method for Calculating Activation Sets of Action Derived Preconditions JIANG Zhi-Hua1),2) JIANG Yun-Fei1)

¡¼No.12(2061¡ª2073)¡½

An Approximate Markov Blanket Feature Selection Algorithm CUI Zi-Feng1) XU Bao-Wen1) ZHANG Wei-Feng2) XU Jun-Ling1)

¡¼No.12(2074¡ª2081)¡½

A SAT-Based Arithmetic Circuit Bug-Hunting Method CHEN Yun-Ji1) ZHANG Jian2) SHEN Hai-Hua1) HU Wei-Wu1)

¡¼No.12(2082¡ª2089)¡½

Path Reduction for Multi-Constrained Quality-of-Service Routing ZHAO You-Jian ZHANG Tie-Lei CUI Yong

¡¼No.12(2090¡ª2100)¡½

A New VLSI Architecture for Fractional Motion Estimation of H.264/AVC ZHENG Zhao-Qing1) SANG Hong-Shi1) LAI Xiao-Ling1) SHEN Xu-Bang1),2)

¡¼No.12(2101¡ª2108)¡½

Constructive Neuron Networks Classification Algorithm Based on Biomimetic Pattern Recognition WANG Xian-Bao1),2) ZHOU De-Long1) WANG Shou-Jue2),3)

¡¼No.12(2109¡ª2114)¡½

Hierarchical Total Utility Modeling and Solution for Large-Scale Video Multicast System WANG Hui SHA Ji-Chang JIANG Zhi-Hong ZHANG Xin

¡¼No.12(2115¡ª2123)¡½

3D Model Remeshing Using Circular Parameter Domain and Importance Sampling FU Yan ZHU Xiao-Ming ZHOU Bing-Feng

¡¼No.12(2124¡ª2131)¡½

Quadratic B-Spline Interpolation Curves with Tangent Constraints on Data Points PAN Ri-Jing

¡¼No.12(2132¡ª2141)¡½

Cascaded HMM Training Algorithm for Continuous Character Recognition ZHAO Wei LIU Jia-Feng TANG Xiang-Long WU Rui

¡¼No.12(2142¡ª2150)¡½

Subspace Searching Based Generalized Principal Component Analysis CAO Yang LUO Yu-Pin YANG Shi-Yuan

¡¼No.12(2151¡ª2155)¡½

Improving Cross Trace-Based Algorithm for Fractal Image Coding HE Chuan-Jiang SHEN Xiao-Na

¡¼No.12(2156¡ª2163)¡½

A New PET Reconstruction Method Based on Fourier-Wavelet Moment HU Yi-Ning ZHOU Jian LUO Li-Min

¡¼No.12(2164¡ª2172)¡½

Road Extraction Algorithm for Aerial Images Based on Total Variations and Mathematical Morphology LI Shu-Xiao CHANG Hong-Xing

¡¼No.12(2173¡ª2180)¡½

Classification of Multi-Spectral Remote Sensing Image Based on Multiple-Valued Immune Network ZHONG Yan-Fei ZHANG Liang-Pei LI Ping-Xiang

¡¼No.12(2181¡ª2188)¡½

Range Image Registration Using a Hybrid Genetic Algorithm and Surface Mean Inter-Space Measure GAO Peng-Dong1),2) PENG Xiang1),3) LI A-Meng3) LIU Ze-Yi4)

¡¼No.12(2189¡ª2197)¡½

The Texture Image Retrieval Algorithm Combined Statistical Features of the Circular Symmetric Contourlet with Local Binary Pattern LIAN Qiu-Sheng LI Qin KONG Ling-Fu

¡¼No.12(2198¡ª2204)¡½

Multi-Modal Multi-View Video Coding Based on Correlation Analysis JIANG Gang-Yi1),2) ZHANG Yun1),2) YU Mei1),3)

¡¼No.12(2205¡ª2211)¡½

Modeling and Analysis of Software Rejuvenation Based on Non-Markovian Stochastic Petri Nets MENG Hai-Ning QI Yong HOU Di

¡¼No.12(2212¡ª2217)¡½

Application of Petri Nets to Bioinformatics LIN Chuang1) YANG Hong-Kun1) SHAN Zhi-Guang2)

¡¼No.11(1889¡ª1900)¡½

On-Line Scheduling and Placement of Real-Time Tasks for Reconfigurable Computing System ZHOU Xue-Gong LIANG Liang HUANG Xun-Zhang PENG Cheng-Lian

¡¼No.11(1901¡ª1909)¡½

An Approach for Identifying Software Vulnerabilities Based on Error Propagation Analysis LI Ai-Guo1) HONG Bing-Rong1) WANG Si2)

¡¼No.11(1910¡ª1921)¡½

Study of Task Allocation Problem Based on Agent Ability Confidence ZENG Guang-Zhou YANG Gong-Ping WANG Xiao-Lin

¡¼No.11(1922¡ª1929)¡½

A Kind of Game-Theoretic Control Mechanism of User Behavior Trust Based on Prediction in Trustworthy Network TIAN Li-Qin LIN Chuang

¡¼No.11(1930¡ª1938)¡½

Research on Component Parallel Technology Based on Fuzzy Clustering Analysis DU Jing1) AO Fu-Jiang2) YANG Xue-Jun1) YANG Can-Qun1)

¡¼No.11(1939¡ª1946)¡½

An O(1.414n) Volume Molecular Solutions for the Subset-Sum Problem on DNA-Based Supercomputing LI Ken-Li1),2) YAO Feng-Juan1) XU Jin2) LI Ren-Fa1)

¡¼No.11(1947¡ª1953)¡½

Deadlock-Free Adaptive Routing in Fault-Tolerant Mesh Networks XIANG Dong1) ZHANG Yue-Li2)

¡¼No.11(1954¡ª1962)¡½

A Framework and Critical Algorithm of Interdomain Egress Selection Optimization Based on Link States LIU Ya-Ping GONG Zheng-Hu HE Jun-Feng

¡¼No.11(1963¡ª1971)¡½

Dynamic Implicit Predication Based on Lite Trace Cache TANG Yu-Xing DENG Kun DOU Yong ZHOU Xing-Ming

¡¼No.11(1972¡ª1981)¡½

Inverse Kinematics Using Local Support Poses LI Chun-Peng1),2) WANG Zhao-Qi1) XIA Shi-Hong1) ZHU Deng-Ming1),2)

¡¼No.11(1982¡ª1988)¡½

A Reliable and Effective Tetrahedral Meshing Algorithm SHAN Ju-Lin GUAN Zhen-Qun SONG Chao

¡¼No.11(1989¡ª1997)¡½

Robust Detection of Region-Duplication Forgery in Digital Image LUO Wei-Qi1),2) HUANG Ji-Wu1),2) QIU Guo-Ping3)

¡¼No.11(1998¡ª2007)¡½

A Perceptual Grouping Algorithm Based on Global Salient Structure ZOU Qi LUO Si-Wei ZHONG Jing-Jing

¡¼No.11(2008¡ª2016)¡½

A Non-Uniform Clustering Synthesis Instances Pruning Approach for Corpus-Based TTS ZHANG Wei1),2) WU Xiao-Ru3) LIU Jiang3) WANG Ren-Hua2)

¡¼No.11(2017¡ª2024)¡½

Change Propagation Mechanism Analysis of Software Function Requirement WANG Ying-Hui

¡¼No.11(2025¡ª2032)¡½

Substitution Analysis of Web Service Composition via Process Algebra LIU Fang-Fang SHI Yu-Liang ZHANG Liang SHI Bo-Le

¡¼No.11(2033¡ª2039)¡½

A Novel Algorithm to Reduce the Gibbs Ringing Artifacts in Vivo MRI JIANG Gui-Ping HUANG Xin FENG Yan-Qiu CHEN Wu-Fan

¡¼No.11(2040¡ª2047)¡½

Multi-Document Automatic Summarization Technique Based on Information Fusion XU Yong-Dong XU Zhi-Ming WANG Xiao-Long

¡¼No.11(2048¡ª2054)¡½

Shape Analysis of Rational C-B¨¦zier Curve WU Rong-Jun1) YE Zheng-Lin2) LUO Wei-Min1)

¡¼No.11(2055¡ª2059)¡½

Industry Trends and Research in Dependable Computing SIEWIOREK Daniel P.1) YANG Xiao-Zong2) CHILLAREGE Ram3) KALBARCZYK Zbigniew T.4)

¡¼No.10(1645¡ª1661)¡½

FT51£ºA Soft Error Tolerant High Reliable Micro Controller GONG Rui CHEN Wei LIU Fang DAI Kui WANG Zhi-Ying

¡¼No.10(1662¡ª1673)¡½

Injecting Redundant Instructions Behind Branches for a Fault-Tolerant Architecture ZHANG Shi-Jian HU Wei-Wu

¡¼No.10(1674¡ª1680)¡½

Crosstalk-Induced Delay Oriented Static Timing Analysis and Its Application to VLSI Test ZHANG Min-Jin1),2) LI Hua-Wei1) LI Xiao-Wei1)

¡¼No.10(1681¡ª1688)¡½

A Scheme of LFSR Reseeding Based on Dividing Parity Bits of Test Cubes LIANG Hua-Guo1) ZHAN Kai-Hua1) JIANG Cui-Yun2) YI Mao-Xiang2)

¡¼No.10(1689¡ª1695)¡½

Fault Tolerance Configuration for Middleware Services LI Jun-Guo HUANG Gang ZOU Jian MEI Hong

¡¼No.10(1696¡ª1704)¡½

Component Integration Test Based on a Metadata Model of Coupling Testing Information MA Liang-Li GUO Fu-Liang LI Yong-Jie

¡¼No.10(1705¡ª1712)¡½

Study on Software Reliability Growth Model Considering Failure Dependency ZHAO Jing ZHANG Ru-Bo GU Guo-Chang

¡¼No.10(1713¡ª1720)¡½

A Data Placement Based on Toleration on Triple Failures Array Codes in RAID WAN Wu-Nan1) WU Zhen1) CHEN Yun1) WANG Xiao-Jing2)

¡¼No.10(1721¡ª1730)¡½

High-Availability Model Based-on SonD and Its Availability Allocation Algorithms TANG Hai-Ying1),2) XU Lu1)

¡¼No.10(1731¡ª1739)¡½

A Real-Time Fault-Tolerant Scheduling Algorithm of Periodic Tasks in Heterogeneous Distributed Systems LUO Wei YANG Fu-Min PANG Li-Ping TU Gang

¡¼No.10(1740¡ª1749)¡½

Study on Trust Evaluation Based Resource Scheduling in iVCE DENG Xiao-Heng1),2) LU Xi-Cheng1) WANG Huai-Min1)

¡¼No.10(1750¡ª1762)¡½

A Study of Algorithm for Testing Route Oscillation Based on Algebraic Method ZHAO Hui-Qun SUN Jing

¡¼No.10(1763¡ª1769)¡½

A Fault-Tolerant Algorithm for Event Region Detection in Wireless Sensor Networks CAO Dong-Lei CAO Jian-Nong JIN Bei-Hong

¡¼No.10(1770¡ª1776)¡½

A Simulation Analysis of Worm Defense Strategies Based on Topology Structure WANG Yue-Wu JING Ji-Wu XIANG Ji LIU Qi

¡¼No.10(1777¡ª1786)¡½

The Calculation of Networking Security Event in the Natural Colored Information Reconstruction Process SUN Mei-Feng1),3) PENG Yan-Bing2) GONG Jian1) YANG Wang1)

¡¼No.10(1787¡ª1797)¡½

DoS Attack Detection Scheme for Sensor Networks Based on Traffic Prediction CAO Xiao-Mei1),2) HAN Zhi-Jie3) CHEN Gui-Hai1)

¡¼No.10(1798¡ª1805)¡½

A New Network Access Control Method and Performance Analysis of Authentication Session LIU Wei1) YANG Lin2) DAI Hao1),2) HOU Bin2)

¡¼No.10(1806¡ª1812)¡½

Some General Results on Anonymity in Hybrid Encryption Schemes TIAN Yuan LI Ming-Chu CHEN Zhi-Yu

¡¼No.10(1813¡ª1826)¡½

Forgery Attack on PMAC and TMAC-V with Random Message CHEN Jie1) HU Yu-Pu1) WEI Yong-Zhuang1),2)

¡¼No.10(1827¡ª1832)¡½

Three-Party Password-Based Authenticated Key Exchange with Forward-Security WU Shu-Hua ZHU Yue-Fei

¡¼No.10(1833¡ª1841)¡½

Provably Secure Identity-Based Authenticated Key Agreement Protocols in the Standard Model WANG Sheng-Bao1),2) CAO Zhen-Fu1) DONG Xiao-Lei1)

¡¼No.10(1842¡ª1852)¡½

Mobile Ad Hoc Secure Routing Protocol Based on Trust Preserving FU Cai1) HONG Fan1) HONG Liang2) PENG Bing1) CUI Yong-Quan1)

¡¼No.10(1853¡ª1864)¡½

A Short Group Signature with IND-CCA2 Full-Anonymity ZHANG Yue-Yu CHEN Jie SU Wan-Li WANG Yu-Min

¡¼No.10(1865¡ª1871)¡½

The Research of Border Problems¡¯ Influence on Watermarking Algorithms Based on Wavelet Transform WANG Gang RAO Ni-Ni

¡¼No.10(1872¡ª1879)¡½

An Image Authentication Scheme Separating Tamper Detection from Tamper Location WANG Guo-Dong LIU Fen-Lin WANG Ping GENG Nan-Nan

¡¼No.10(1880¡ª1888)¡½

A Survey of Deep Web Data Integration LIU Wei1) MENG Xiao-Feng1) MENG Wei-Yi2)

¡¼No.9(1475¡ª1489)¡½

Ranking by Mutually Reinforcing Concepts and Relations in Ontology WU Gang ZHANG Kuo LI Juan-Zi WANG Ke-Hong

¡¼No.9(1490¡ª1499)¡½

PATCOM: Partition Tree-Based Consistency Maintenance for Unstructured P2P Systems LI Zhen-Yu1),2) XIE Gao-Gang1) LI Zhong-Cheng1)

¡¼No.9(1500¡ª1510)¡½

Rule Based Constrained Delegation Framework YIN Gang WANG Huai-Min SHI Dian-Xi TENG Meng

¡¼No.9(1511¡ª1519)¡½

Efficiently Processing XML Path Queries Using Automata WANG Guo-Ren YU Yong-Qian SUN Bing

¡¼No.9(1520¡ª1532)¡½

Supporting Creative Organizational Learning: Knowledge Applicability Management Based on Task Circumstance GAO Ji

¡¼No.9(1533¡ª1543)¡½

Topology Control of Wireless Sensor Networks Under an Average Degree Constraint CHEN Li-Jun1),2) MAO Ying-Chi1),2) CHEN Dao-Xu1),2) XIE Li1),2)

¡¼No.9(1544¡ª1550)¡½

Measure of Medium Truth Scale and Its Application (¢ò) HONG Long1),2) XIAO Xi-An3) ZHU Wu-Jia2)

¡¼No.9(1551¡ª1558)¡½

An Efficient Parallel Coupling Method for Multiphysics Numerical Simulations CHEN Jun MO Ze-Yao

¡¼No.9(1559¡ª1566)¡½

Low Power State Assignment of FSMs Targeting Multi-Level Logic Implementations YE Xi-En XIA Yin-Shui TAO Wei-Jiong

¡¼No.9(1567¡ª1572)¡½

A Power Optimization Approach to Real-Time Operating Systems Based on Discrete Hopfield Neural Networks GUO Bing1) SHEN Yan2) WANG Dian-Hui3) LI Zhi-Shu1) CHEN Xiang-Dong4)

¡¼No.9(1573¡ª1579)¡½

Mesh Optimization Based Image Texture Replacement GUO Yan-Wen1) SUN Han-Qiu2) PENG Qun-Sheng3) WU Gang-Shan1)

¡¼No.9(1580¡ª1587)¡½

Intersections of Planar Parametric Curves Based on Curvature Circle ZHANG Song-Hai1) HUANG Zhi-Yong2)

¡¼No.9(1588¡ª1593)¡½

3-D Reconstruction of Coronary Arterial Trees from Uncalibrated Monoplane Angiographic Images YANG Jian1) WANG Yong-Tian1) LIU Yue1) TANG Song-Yuan1) LI Yan-Hui2)

¡¼No.9(1594¡ª1602)¡½

A Multi-Object Tracking Indoor Positioning System for Smart Space GU Hong-Liang1) SHI Yuan-Chun2) SHEN Rui-Min1) CHEN Yu2)

¡¼No.9(1603¡ª1611)¡½

Overview of Researches on Multiple Description Coding ZHANG Yang ZHANG Nan YIN Bao-Cai

¡¼No.9(1612¡ª1624)¡½

Extracting Attack to LSB Steganography in Spatial Domain ZHANG Wei-Ming1),2) LI Shi-Qu1) LIU Jiu-Fen1)

¡¼No.9(1625¡ª1631)¡½

Visualization of Hierarchical Information Based on Venn Diagrams WANG Wei-Xin1) MING Chun-Ying2) WANG Hong-An1) DAI Guo-Zhong1)

¡¼No.9(1632¡ª1637)¡½

Analysis on Congestion Control Strategy Based on Time Series Deduction XU Li-Bo WU Guo-Xin

¡¼No.9(1638¡ª1644)¡½

A Comparative Study of Cost-Sensitive Classifiers LING Charles X. SHENG Victor S.

¡¼No.8(1203¡ª1212)¡½

ADE-Tri-training:Tri-training with Adaptive Data Editing DENG Chao GUO Mao-Zu

¡¼No.8(1213¡ª1226)¡½

Localized Proximal Support Vector Machine via Generalized Eigenvalues YANG Xu-Bing1) CHEN Song-Can1) YANG Yi-Min2)

¡¼No.8(1227¡ª1234)¡½

The Advances in the Covering Based Classification Algorithms HE Qing SHI Zhong-Zhi

¡¼No.8(1235¡ª1243)¡½

An Incremental Fuzzy Decision Tree Classification Method for Data Streams Mining Based on Threaded Binary Search Trees WANG Tao1) LI Zhou-Jun2) HU Xiao-Hua3) YAN Yue-Jin1) CHEN Huo-Wang1)

¡¼No.8(1244¡ª1250)¡½

Merging-Branches Impact on Decision Tree Induction WANG Xi-Zhao YANG Chen-Xiao

¡¼No.8(1251¡ª1258)¡½

A Comparative Study on Time Series Classification YANG Yi-Ming1) PAN Rong2) PAN Jia-Lin2) YANG Qiang1),2) LI Lei1)

¡¼No.8(1259¡ª1266)¡½

Privacy Preserving Naive Bayes Classification ZHANG Peng1) TANG Shi-Wei2)

¡¼No.8(1267¡ª1276)¡½

Improved Growing Learning Vector Quantification for Text Classification WANG Xiu-Jun SHEN Hong

¡¼No.8(1277¡ª1285)¡½

Object Classification Based on Latent Local Spatial Relations Learning HAN Dong-Feng LI Wen-Hui GUO Wu

¡¼No.8(1286¡ª1294)¡½

A Boosting Discriminative Model for Moving Cast Shadow Detection ZHA Yu-Fei1) CHU Ying2) WANG Xun1) MA Shi-Ping1) BI Du-Yan1)

¡¼No.8(1295¡ª1301)¡½

Mining Synchronous and Asynchronous Co-Regulated Gene Clusters from Time Series Microarray Data YIN Ying ZHAO Yu-Hai ZHANG Bin WANG Guo-Ren

¡¼No.8(1302¡ª1314)¡½

An Analysis of Diversity Measures in Clustering Ensembles LUO Hui-Lan1),2) KONG Fan-Sheng1) LI Yi-Xiao1)

¡¼No.8(1315¡ª1324)¡½

One-Cluster Clustering Based Data Description CHEN Bin1),2) FENG Ai-Min1) CHEN Song-Can1) LI Bin2),3)

¡¼No.8(1325¡ª1332)¡½

Nonparametric Model and Variational Bayesian Learning for Subspace Clustering QING Xiang-Yun WANG Xing-Yu

¡¼No.8(1333¡ª1343)¡½

The Convergence Speed of Ant Colony Optimization HUANG Han1) HAO Zhi-Feng1),2) WU Chun-Guo3) QIN Yong4)

¡¼No.8(1344¡ª1353)¡½

A Novel Text Clustering Algorithm Based on Inner Product Space Model of Semantic PENG Jing1),2) YANG Dong-Qing1) TANG Shi-Wei1) FU Yan1) JIANG Han-Kui2)

¡¼No.8(1354¡ª1363)¡½

A Heterogeneous Data Stream Clustering Algorithm YANG Chun-Yu ZHOU Jie

¡¼No.8(1364¡ª1371)¡½

Study on an Average Reward Reinforcement Learning Algorithm GAO Yang1) ZHOU Ru-Yi1) WANG Hao1) CAO Zhi-Xin2)

¡¼No.8(1372¡ª1378)¡½

Distributed Neural Network Learning Algorithm Based on Hebb Rule TIAN Da-Xin1),2) LIU Yan-Heng1),2) LI Bin3) WU Jing1),2)

¡¼No.8(1379¡ª1388)¡½

Trajectory Tracking and Recognition Using Bi-Directional Nonlinear Learning HU Zhao-Hua1),2) FAN Xin2) LIANG De-Qun2) SONG Yao-Liang1)

¡¼No.8(1389¡ª1397)¡½

An Efficient Feature Selection Algorithm Toward Building Lightweight Intrusion Detection System CHEN You1),2) SHEN Huaª²Wei1),2) LI Yang1),2) CHENG Xueª²Qi1)

¡¼No.8(1398¡ª1408)¡½

CSky: An Online Efficient Algorithm for Subspace Skyline Computation in High Dimensional Space ZHOU Hong-Fu GONG Xue-Qing ZHENG Kai ZHOU Ao-Ying

¡¼No.8(1409¡ª1417)¡½

Efficient Computation of Subspace Skylines over Data Streams SUN Sheng-Li HUANG Zhen-Hua LI Jin-Jiu GUO Jian-Kui ZHU Yang-Yong

¡¼No.8(1418¡ª1428)¡½

Quick Reduction Algorithm Based on Attribute Order HU Feng WANG Guoª²Yin

¡¼No.8(1429¡ª1435)¡½

Process Mining: An Extended ¦Á-Algorithm to Discovery Duplicate Tasks LI Jia-Fei LIU Da-You YANG Bo

¡¼No.8(1436¡ª1445)¡½

The Methodology of Mining Cognitive Maps Based on Data Resources CHEN Zhuang1) Montazemi Ali R.2)

¡¼No.8(1446¡ª1454)¡½

Study on Algorithms for Local Outlier Detection XUE An-Rong JU Shi-Guang HE Wei-Hua CHEN Wei-He

¡¼No.8(1455¡ª1463)¡½

Supervised Intrusion Detection Based on Active Learning and TCM-KNN Algorithm LI Yang1),2) FANG Bin-Xing1) GUO Li1) TIAN Zhi-Hong1)

¡¼No.8(1464¡ª1473)¡½

Human Computer Interaction for Ubiquitous/Pervasive Computing Mode XU Guang-You TAO Lin-Mi SHI Yuan-Chun ZHANG Xiang

¡¼No.7(1041¡ª1053)¡½

Power Consumption and Process Variations: Two Challenges to Design of Next-generation Ics LUO Zu-Ying

¡¼No.7(1054¡ª1063)¡½

Multicast Routing Algorithms with High Bandwidth Efficiency for LEO Satellite Networks CHENG Lian-Zhen LIU Kai ZHANG Jun

¡¼No.7(1064¡ª1073)¡½

Technology on Temporal XML Indexing YE Xiao-Ping CHEN Kai-Yuan TANG Yong TANG NaHU Su

¡¼No.7(1074¡ª1085)¡½

Discovering Signature of Potential Web Communities from Clusters of MCL YANG Nan LIN Song-Xiang GAO Qiang MENG Xiao-Feng

¡¼No.7(1086¡ª1093)¡½

The Relation Between Intrinsic Complexity and Generalization of a Model and the Geometric Curvature LU Zi-Ang LUO Si-Wei YANG Jian LIU Yun-Hui ZOU Qi

¡¼No.7(1094¡ª1103)¡½

Prefetching Policy Using Miss Queue Information HUAN Dan-Dan1),2) LI Zu-Song1),2) HU Wei-Wu1) LIU Zhi-Yong1)

¡¼No.7(1104¡ª1114)¡½

An Efficient Genetic Algorithm for System-Level Diagnosis DENG Wei YANG Xiao-Fan WU Zhong-Fu

¡¼No.7(1115¡ª1124)¡½

A Fast Diagnosis Algorithm on M?bius Cube Under the MM* Comparison Model YANG Hui YANG Xiao-Fan

¡¼No.7(1125¡ª1131)¡½

Algebra Theory of RDSOP Forms of Ternary Logic Functions and Its Implementation with T-Gates JIANG En-Hua JIANG Wen-Bin

¡¼No.7(1132¡ª1137)¡½

Predicate Abstraction of RT-Level Verilog Using Symbolic Simulation and Constraint Logic Programming LI Tun QU Wan-Xia GUO Yang LIU Gong-Jie LI Si-Kun

¡¼No.7(1138¡ª1144)¡½

Solving the Pinyin-to-Chinese-Character Conversion Problem Based on Hybrid Word Lattice ZHANG Sen

¡¼No.7(1145¡ª1153)¡½

Generalized BER Based Theory and Methodology of End-to-End Rate Control for MANET Streaming Media Transmission ZHU Xiao-Liang1),2) YANG Zong-Kai1) DU Xu1) CHENG Wen-Qing1)

¡¼No.7(1154¡ª1163)¡½

An Adaptively Annealing Genetic Algorithm based Scheduling Method of Workshop Daily Operating Planning LIU Min YAN Jun-Wei

¡¼No.7(1164¡ª1172)¡½

A Margin Based Feature Extraction Algorithm for the Small Sample Size Problem HUANG Rui HE Ming-Yi YANG Shao-Jun

¡¼No.7(1173¡ª1178)¡½

A Demosaicing Algorithm Based on Bayer Pattern and Local Correlation Model ZHOU Guo-Rui1) SUN Shi-Xin1) WANG Wen-Jiang2)

¡¼No.7(1179¡ª1185)¡½

Automatic Extraction of Road Network from SAR Imagery Based on Genetic Algorithm JIA Cheng-Li1) ZHAO Ling-Jun1) WU Qi-Chang2) KUANG Gang-Yao1)

¡¼No.7(1186¡ª1194)¡½

An Analytic Solution for the P5P Problem with an Uncalibrated Camera GUO Yang1) XU Xin-He2)

¡¼No.7(1195¡ª1200)¡½

DNA Computer Principle, Advances and Difficulties (¢ó): The Structure and Character of "Data" in DNA Computing XU Jin1),2) ZHANG She-Min2) FAN Yue-Ke2) GUO Yang-An3)

¡¼No.6(869¡ª880)¡½

DNA Computer Principle, Advances and Difficulties (¢ô): On the Models of DNA Computer XU Jin1),2) TAN Gang-Jun2) FAN Yue-Ke2) GUO Yang-An3)

¡¼No.6(881¡ª893)¡½