Acta Electronica Sinica 2010 Issue 8 Detecting Integer Bugs Based on Static and Dynamic Program Analysis

Detecting Integer Bugs Based on Static and Dynamic Program Analysis
CHEN Ping;HAN Hao;SHEN Xiao-bing;YIN Xin-chun;MAO Bing;XIE Li

..............page:1741-1747

The Application of Multisim in Superconductive Electronics
FAN Bin;ZHOU Tie-ge;YAN Shao-lin;YUE Hong-wei;WANG Zheng;SONG Feng-bin

..............page:1886-1891

Study on A Novel Microwave Multichip Module Based on LTCC Cavity Structure
YAN Wei;SUN Zhao-peng

..............page:1862-1866

Application of Multi-Agent Reinforcement Learning in Robot Soccer
LIU Chun-yang;TAN Ying-qing;LIU Chang-an;MA Ying-wei

..............page:1958-1962

Equivalent Computational Methods of Finite Element Model\'s Parameters for Vibration Analysis of Electronic Module
DU Ping-an;LIU Jian-tao;LIU Xiao-bao

..............page:1867-1873

An Opportunistic Routing for MANET Based on Partial Network Coding
WANG Xiao-dong;HUO Guang-cheng;SUN Hai-yan;MENG Xiang-xu;SUN Yan-qiang

..............page:1736-1740

Image Retrieval Relevance Feedback Algorithm Based on Particle Swarm Optimization
XU Xiang-li;ZHANG Li-biao;LIU Xiang-dong;YU Zhe-zhou;ZHOU Chun-guang

..............page:1935-1940

Probability Distribution of the Contention Window Size in the IEEE 802.11 Based Mobile Ad Hoc Networks
GE Yong-ming;ZHU Yi-hua;LONG Sheng-chun;PENG Jing

..............page:1841-1844

Research on a Novel Fuzzy Theory Based Localization Model in WSNs
ZHU Jian;ZHAO Hai;XU Jiu-qiang;LI Da-zhou

..............page:1845-1851

An Audio Information Hiding Algorithm with High-Capacity Which Based on Chaotic and Wavelet Transform
TAN Liang;WU Bo;LIU Zhen;ZHOU Ming-tian

..............page:1812-1818,1824

3D Facial Caricaturing Based on Sparse Morphable Model
SHU Guang;YAO Li-xiu;YANG Xiao-chao;ZUO Xin;YANG Jie

..............page:1798-1802

Network Coding Based Data Dissemination in Wireless Ad Hoc Network
HUANG Chen;WANG Fu-rong;DAI Bin;YANG Jun;ZHANG Bo

..............page:1852-1857

Removing Noise of Color Images Based on Edge Detection and Bilateral Filter
ZHANG Chuang;CHI Jian-nan;ZHANG Zhao-hui;WANG Zhi-liang

..............page:1776-1783

Research of Path Coverage Generation Techniques Based Function Call Graph
ZHANG Zhi-hua;MU Yong-min

..............page:1808-1811

Survey on Distributed Control in a Router
XU Ming-Wei;JIANG Xue-Zhi;CHEN Wen-Long

..............page:1892-1899

Dynamic Multi-group Self-adaptive Differential Evolution Algorithm with Local Search for Function Optimization
ZHANG Xue-xia;CHEN Wei-rong;DAI Chao-hua

..............page:1825-1830

An Algorithm for Frequent Pattern Mining in Biological Networks
ZHAO Jian-bang;DONG An-guo;GAO Lin

..............page:1803-1807

A Congestion Control Method with Quick Fairness Convergence Speed
PENG Li-hong;ZHANG He-ying;JIANG Xin-wen;DOU Wen-hua

..............page:1918-1922

A Cluster Head Selecting and Scheduling Strategy in Sensor Networks

..............page:1770-1775

Chip Implementation for PDH over 622 Mb/s SDH/SONET Mapper
YE Bo;LI Tian-wang;MANG Li-jun;LUO Min

..............page:1945-1951

Knowledge Reduction Algorithm under Graph View
MIAO Duo-qian;CHEN Yu-ming;WANG rui-zhi;ZHANG Hong-yun

..............page:1952-1957

A New and Fast Segmentation Algorithm for MR Brain Images with Bias Field Correction and Neighborhood Constrains
LI Wei;CHEN Wu-fan

..............page:1784-1790,1797

The Study of Pseudolie Receiver that Can Restrain Near-Far Effect
AI Shu-feng;Yu Qun-ai;FENG Ji-ning;YANG Xiao-bo

..............page:1837-1840

A VCG-Auction Based Distributed Mechanism for Network Resource Allocation
LIU Zhi-xin;SHEN Yan-yan;GUAN Xin-ping

..............page:1929-1934

A Sparsity Adaptive Subspace Pursuit Algorithm for Compressive Sampling
YANG Cheng;FENG Wei;FENG Hui;YANG Tao;HU Bo

..............page:1914-1917

A New DNA Computing\'s Algorithm for 3-Dimensional Matching Problem Based on Divide and Conquer Strategy
ZHOU Xu;LI Ken-li;YUE Guang-xue;YANG Zhi-bang

..............page:1831-1836

Iterative Crosstalk Cancellation Algorithm for Upstream Transmission
LI You-ming;SHEN Wei;ZHANG Jing-yan;XU Tie-feng

..............page:1941-1944

Review of Sensor Management
LUO Kai-ping;JIANG Wei;LI Yi-jun

..............page:1900-1907

Feature-Point Detection and Geometry Calibration for an Autostereoscopic Tiled Display System Using Multiple Projectors
LUO Jian-li;QIN Kai-huai;ZHOU Yan-xia

..............page:1729-1735

Research on Spatial Data Retrieval Based on Sketch
SHEN Shi-qun;LIU Da-you;WANG Sheng-sheng;ZHU Li-na

..............page:1819-1824

Illumination Normalization of Human Face Based on the Second-Order Polynomial Model
XIE Xiao-hua;LAI Jian-huang;ZHENG Wei-shi

..............page:1791-1797

Public Key Encryption Scheme Based on the Ergodic Matrices
PEI Shi-hui;ZHAO Yong-zhe;ZHAO Hong-wei

..............page:1908-1913

Automatic Spectral Clustering Based on Eigengap and Orthogonal Eigenvector
KONG Wan-zeng;SUN Zhi-hai;YANG Can;DAI Guo-jun;SUN Changsihe

..............page:1880-1885,1891

Dual-Containing Determination Method for Non-Primitive BCH Codes over Finite Field
XIAO Fang-ying;CHEN Han-wu;LIU Zhi-hao;LI Zhi-qiang;LIU Wen-jie

..............page:1858-1861

Analysis and Detection of Translation-Based Steganography
MENG Peng;HUANG Liu-sheng;CHEN Zhi-li;YANG Wei;YANG Ming

..............page:1748-1752

Fine-Grained Role Delegation Model Based on Mapping Mechanism
CAI Wei-hong;WEI Gang;XIAO Shui

..............page:1753-1758

An Energy and Location Aware ACO Based Routing Algorithm for Wireless Sensor Networks
WANG Xiao-ming;AN Xiao-ming

..............page:1763-1769

Dynamic Description Logic Based Web Service Composition and QoS Model
WAN Chang-lin;HAN Xu;NIU Wen-jia;WANG Wen-jie;SHI Zhong-zhi

..............page:1923-1928

REDu:A New Active Queue Management Algorithm for Detection and Punishment of Unresponsive Flows
HUANG Lei;WU Chun-ming;JIANG Ming;ZHANG Dong

..............page:1759-1762

DCA Based Multi-level Small Fault Diagnosis Method
ZHOU Fu-na;WEN Cheng-lin;CHEN Zhi-guo;LENG Yuan-bao

..............page:1874-1879

A Novel Passive Soft Switching Converter
CHU En-hui;Jin Sheng;ZHANG Hua-guang

..............page:1963-1968