Computer Systems & Applications 2015 Issue 11 Adaptive Random Testing for Multi-Threaded Concurrent Programs

Adaptive Random Testing for Multi-Threaded Concurrent Programs
YUE Han;,WU Peng;

..............page:1-6

Survey on the Technology of Hypersonic Vehicle Tracking
WANG Bo;,HE Zheng-Hong;,ZHANG Jing;,ZHAO Min;

..............page:7-13

Application of Optimize Membership Function in Intermediate Storage Bunker Ball Mill
LIU Jun;,WEN Ting;

..............page:14-21

Fast Context Switch Based on Dual Data Paths
QUAN Yan-Qing;,CHEN Xiang-Lan;

..............page:22-30

Features Extraction and Dimensions Reduction in Metagenomic Binning Problem
CHEN Bo;,XU Yun;

..............page:31-37

High-Speed Barcode Recognition System
FENG Wan-Xiang;,WU Xi-Sheng;,LIU Dong-Cheng;

..............page:38-43

Visual Organization Method for Chinese Medical Information
XU Tian-Ming;,FAN Yin-Ting;,MA Cui-Xia;,TENG Dong-Xing;

..............page:44-51

Cross-Platform Integration Framework for HMI Software
CHEN Hong-Jun;,LIU Ke-Jin;,ZHANG Lei;,WANG Guo-Dong;

..............page:52-57

3D Animation Real-Time Playing Based on WebGL
YANG Run-Bin;,LIANG Wen-Zhang;,CHEN Shu;

..............page:58-63

Design of Embedded System Debugging Tool Based on Eclipse
WANG Ting;,RUI Guo-Jun;

..............page:64-68

Enterprise Push Notification System Based on MQTT
GAI Rong-Li;,QIAN Yu-Lei;,LI Hong-Bin;,JIA Jun-Ying;

..............page:69-75

Camera Control System Based on 8250 under the Freeway Video Surveillance
LIAO Jian-Shang;

..............page:76-80

Multi-Transport Mode IP Network Video Monitoring System Based on H.264
ZHAO Tai-Fei;,SUN Xiao-Bin;,LOU Jun-Peng;

..............page:81-87

Remote Medical Oriented Crowd Participatory Network Based Streaming Media Transmission
GUO Jing;,WANG Qing;,CHEN Ze-Ya;

..............page:88-92

Teaching Video Online Reservation System Based on Android
CHEN Qian-Guo;,LIU Kui;,ZU Shen-Cong;

..............page:93-98

New Method for Compression and Reconstruction of Acceleration Signal Using EMD and Wavelet Denoising
WU Jian-Ning;,XU Hai-Dong;

..............page:99-106

ji suan ji xi tong ying yong gao yue

..............page:封3

Web Page Re-Ranking Algorithm for Specific Domain Based on Domain Model
PAN Cheng;,WU Gong-Qing;,LI Lei;,HU Xue-Gang;

..............page:107-114

Online Scheduling Algorithm of Continuous Berth and Quay Crane of Container Terminal With QCs Transfer
QIU Ming;,YANG Zhi-Ying;

..............page:115-123

Dynamic Dual-Threshold Cooperative Spectrum Sensing Method
ZHANG Hai-Jun;,HUANG Liu-Sheng;,XU Hong-Li;

..............page:124-128

Advanced Image Retrieval Method Based on Color and SIFT Feature
ZHENG Qi-Cai;,ZENG Zhi-Yong;,CHI Yan-Ling;

..............page:129-133

Application of an Improved Apriori Algorithm in Intelligence Greenhouse System
ZHUANG Yan-Bin;,DONG Yu;,XIAO Xian-Jian;,PAN Qun;

..............page:134-139

Acceleration Method for Communication Between Microkernel Based Virtual Machines
QIAO Ruo-Xuan;,WU Tao;,YANG Qiu-Song;

..............page:140-145

Performance Enhancement of MODV Memory Consistency Model Verifitcation Tool
ZHAO Xiao-Kai;,SUN Lu-Ming;

..............page:146-151

Receiver Initiated MAC Protocol for Underwater Acoustic Sensor Networks
TANG Shu-Chen;,LIU Guang-Zhong;,XU Ming;

..............page:152-156

Methods of Dealing With Massive Small Files in Hadoop
LI Xu;,LI Chang-Yun;,ZHANG Qing-Qing;,HU Shu-Xin;,ZHOU Ling-Fang;

..............page:157-161

Web Name Disambiguation Approach Based on Combined Features
XIN Tao;,CHENG Shao-Yin;,JIANG Fan;

..............page:162-166

Static Analysis Method of Generating Function Call Relations Based on CFG
HUANG Shuang-Ling;,HUANG Zhang-Jin;,GU Nai-Jie;

..............page:167-172

Verification of German Cache Coherence Protocol by Searching Invariants
CAO Shen;,LI Yong-Jian;

..............page:173-178

Unsupervised Method to Remove Physiological Noise in fMRI Signals Based on the Temporal and Spatial Information
WU Chao;,ZENG Wei-Ming;,WANG Ni-Zhuan;,CHEN Yan-Yang;

..............page:179-184

Rapid Image Matting Method Based on Categorized Video Sequences
XIANG Fang-Li;

..............page:185-189

Improvement and Quick Simulation of Single-Source Shortest Path Algorithm Based on XML-Tree
DAI Li-Ping;,HUANG Long-Jun;

..............page:190-194

Reliable Transmission Mechanism of Wireless Monitoring System Based on ARMA Prediction
YANG Huai-De;,CAO Wen-Liang;

..............page:195-198

Products Recommendation Based on Improved Weight Increment Apriori Analysis
WANG Xin-Yan;,WANG Xiao-Feng;

..............page:199-203

Soldier's Personalized Learning Based on Dynamic Ant-Genetic Algorithm
LI Dong;,WANG Hu-Qiang;

..............page:204-208

Embedded E-mail Notification Software Base on SMTP Protocol
ZHANG Xian;

..............page:209-212

Detection and Recognition the Signals of Vehicle Taillight
TIAN Qiang;,KONG Bin;,SUN Cui-Min;,WANG Can;

..............page:213-218

Application of an Improved FCM Clustering Algorithm on Weka Platform
WANG Jing;,YU Wei-Wei;

..............page:219-224

Based on BFGS Algorithm Improved GVF Snake Model Field Calculation and its Application
JIANG Xiao-Bo;,LIANG Jiu-Zhen;

..............page:225-229

Applying Decision Tree Algrithm in College Students' Mental Health Assessment System
QI Wen-Juan;,YAN Jie;

..............page:230-234

Power-Saving of Cloud Computing Based on Hadoop
WU Yue;

..............page:235-241

Interrogative Sentence Generation and Dialogue Management for Intelligent Tutoring System in Limited Domain
SHANG Xiong-Wei;,ZHANG Zhi-Xiang;

..............page:242-246

Model Reference Adaptive Attitude Control Method for Quadrotor UAV
CHEN Guo-Ding;,CHENG Jia-Hui;,ZHANG Xiao-Feng;,LIU Zheng-Yang;

..............page:247-251

Monocular to Realize Binocular Visual Positioning Based on SURF Algorithm
HAN Feng;

..............page:252-256

Application of Extreme Learning Machine Algorithm in Predicting the Airport Passenger Throughput
LIAO Hong-Yi;,WANG Xin;

..............page:257-261

Shadow Detection and Removal of Blade Based on YCbCr Color Space
ZHANG Hua-Nan;,FENG Quan;,YANG Mei;,LI Miao-Qi;

..............page:262-265

Report System Based on Flex Technology
WANG Ya-Ling;,GUO Xin-Bo;,HU Mu;

..............page:266-270

Application of Neural Network in the Digital Campus Safety Testing
ZHANG Ling;

..............page:271-275