2012 13th International Conference on Parallel and Distributed Computing Applications and Technologies
(PDCAT 2012)
Beijing, China
14 – 16 December 2012
IEEE Catalog Number: CFP12536-POD ISBN: 978-1-4673-5704-3 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies PDCAT 2012 Table of Contents
Message from the General Chairs...... xv Message from the Program Committee Chair...... xvi Conference Organization...... xvii Program Committee...... xviii Message from the IHPCAS 2012 Workshop Chairs...... xix IHPCAS 2012 Workshop Organization...... xx External Reviewers...... xxi Keynote Abstracts...... xxii
Session 1A: Wireless Networks and Mobile Computing I Wireless Fair Intelligent Congestion Control—A QoS Performance Evaluation ...... 3 Fatima Furqan and Doan B. Hoang An Energy Driven Architecture for Wireless Sensor Networks ...... 10 Doan B. Hoang and Najmeh Kamyabpour A Component Based Hybrid Embedded Framework for Mobile Robot ...... 16 Wei Ren, Ding-Xin He, and Jin Zhao Statistical Analysis to Extract Effective Parameters on Overall Energy Consumption of Wireless Sensor Network (WSN) ...... 20 Najmeh Kamyabpour and Doan B. Hoang
Session 1B: Software Tools and Environments I Design and Implementation of a Scalable LBS Middleware Based on the PUBSUB Paradigm and Load Balancing Mechanism ...... 27 Wenhua Shao, Fang Zhao, Guoshi Wang, and Haiyong Luo Lightweight Dynamic Partitioning for Last Level Cache of Multicore Processor on Real System ...... 33 Ludan Zhang, Yi Liu, Rui Wang, and Depei Qian
v A Virtual Sample Generation Approach for Speculative Multithreading Using Feature Sets and Abstract Syntax Trees ...... 39 Bin Liu, Yinliang Zhao, Meirong Li, Yanzhao Liu, and Boqin Feng Layered Models for General Parallel Computation Based on Heterogeneous System ...... 45 Yanxiu Sheng, Lin Gui, Zhiqiang Wei, Jibing Duan, and Yingying Liu
Session 1C: Algorithms I An OpenCL Micro-Benchmark Suite for GPUs and CPUs ...... 53 Xin Yan, Xiaohua Shi, and Qingyue Sun Can We Make It Faster? Efficient May-Happen-in-Parallel Analysis Revisited ...... 59 Congming Chen, Wei Huo, Lung Li, Xiaobing Feng, and Kai Xing Solving Parameter Selection Problem of Helper Thread Prefetching via Realtime Hardware Performance Monitoring ...... 65 Jianxun Zhang, Zhimin Gu, Yan Huang, Min Cai, and Xiaohan Hu A Non-blocking Self-Organizing Linked List Algorithm ...... 71 Longfei Tan, Zhao Han, Chunguang Chen, Yinghua He, and Kunlong Zhang
Session 1D: Security and Privacy I A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols ...... 79 Frédéric Gava, Michaël Guedj, and Franck Pommereau Address Knocking: An Undetectable Authentication Based on IPv6 Address ...... 85 Huisheng Liu, Zhenxing Wang, and Yang Liu A Middleware for Access Control ...... 90 Xinfeng Ye and Colin Yip A Smart-Card-Based Remote User Authentication Protocol with Privacy Support ...... 96 Jian-Zhu Lu, Shengyuan Deng, Jipeng Zhou, Xiuwei Fan, and Hao Yang
Session 2A: Wireless Networks and Mobile Computing II Length-Constrained and Connected Tours for Sensor Networks ...... 105 Khaled Almi’ani, Mohammed A. Abuhelaleh, and Anastasios Viglas An Efficient Mobile Social Network for Enhancing Contents Sharing over Mobile Ad-hoc Networks ...... 111 He Li, Kyoungsoo Bok, and Jaesoo Yoo On Robust Multicast in Multi-channel Multi-radio Wireless Mesh Networks ...... 117 Rui Chen, Yidong Li, Yingpeng Sang, Hong Shen, Hui Tian, and Yanbo Wu Improving Application Availability in Wireless Sensor Networks with Energy-Harvesting Capability ...... 122 Ilias Rentifis, Nikos Tziritas, Petros Lampsas, Spyros Lalis, and Thanasis Loukopoulos
vi Session 2B: Software Tools and Environments II A Java Hybrid Compiler for Shared Memory Parallel Programming ...... 131 Abdourahmane Senghor and Karim Konate Towards Efficient Support for Parallel I/O in Java HPC ...... 137 Ammar Ahmad Awan, Muhammad Sohaib Ayub, Aamir Shafi, and Sungyoung Lee Exploring Deterministic Shared Memory Programming Model ...... 144 Yu Zhang and Wei Hu A Portable Javar with Automatic Handling of Primitive Variables ...... 150 Abdourahmane Senghor and Karim Konate Profiling Object Life Ranges for Detecting Memory Leaks in Java Virtual Machine ...... 154 Qingyue Sun, Xiaohua Shi, and Junru Xie
Session 2C: Algorithms II Network Load Analysis and Provisioning of MapReduce Applications ...... 161 Nikzad Babaii Rizvandi, Javid Taheri, Reza Moraveji, and Albert Y. Zomaya Implementation of 3D FFTs Across Multiple GPUs in Shared Memory Environments ...... 167 Nimalan Nandapalan, Jiri Jaros, Alistair P. Rendell, and Bradley Treeby A Decentralized Load Balancing Approach for Parallel Search-Tree Optimization...... 173 F.N. Abu-Khzam and A.E. Mouawad An OpenCL Approach of Prestack Kirchhoff Time Migration Algorithm on General Purpose GPU ...... 179 Peiyuan Sun and Xiaohua Shi Parallelized Similarity Flooding Algorithm for Processing Large Scale Graph Datasets with MapReduce ...... 184 Jian Zhang, Chunfeng Yuan, and Yihua Huang Lung Cancer Detection in Chest X-Ray Images with Parallel Genetic Algorithm ...... 189 Gang Peng, Li Liu, Kehan Zeng, Tian Li, and Shigeru Nakayama
Session 2D: Security and Privacy II Privacy Theft Malware Detection with Privacy Petri Net ...... 195 Lejun Fan, Yuanzhuo Wang, Xueqi Cheng, and Shuyuan Jin On the Formal Modeling of Inductive Verification for Cryptographical Protocols ...... 201 Yongjian Li, Xiaoyu Song, and Xiaojuan Li Breaking Weak 1024-bit RSA Keys with CUDA ...... 207 Kerry Scharfglass, Darrin Weng, Joseph White, and Christopher Lupo Managing Object Identity with Less I/O Operations ...... 213 Fábio Renato de Almeida, Carlos Roberto Valêncio, André Cid Ferrizzi, Mario Luiz Tronco, and Rogéria Cristiane Gratão de Souza
vii Analysis of Cryptographic Algorithms’ Characters in Binary File ...... 219 Ji-Zhong Li, Qing Yin, Lie-Hui Jiang, and Xin-Hai Jia
Session 3A: Interconnection Networks Cabinet Layout Optimization of Supercomputer Topologies for Shorter Cable Length ...... 227 Ikki Fujiwara, Michihiro Koibuchi, and Henri Casanova Throughput Fairness in Indirect Interconnection Networks ...... 233 Cruz Izu and Enrique Vallejo Embedding Virtual Infrastructure Based on Genetic Algorithm ...... 239 Xiuming Mi, Xiaolin Chang, Jiqiang Liu, Longmei Sun, and Bin Xing An Effective Congestion Control Scheme in Content-Centric Networking ...... 245 Tongmin Fu, Yang Li, Tao Lin, Hongyan Tan, Hui Tang, and Song Ci
Session 3B: Resource Allocation and Management Quantitatively Measuring the Memory Locality Leakage on NUMA Systems Based on Instruction-Based-Sampling ...... 251 Qiuming Luo, Chengjian Liu, Chang Kong, and Ye Cai Design and Implementation of a Fine-Grained NAND Flash Programmer ...... 257 Li Zhang, Wenming Wang, Yuan Tan, Xunhu Sun, Zhi Sun, and Yang Yang An Efficient Point-to-Point Deterministic Record-Replay Enhanced with Signatures ...... 262 Suxia Zhu, Zhenzhou Ji, Qing Wang, and Hao Wu Application Utility-Based Bandwidth Allocation Scheme for Data Center Networks ...... 268 Yangyang Li, Hongbo Wang, Jiankang Dong, and Shiduan Cheng
Session 3C: IHPCAS 2012 Workshop The Research of High Level Data Communication Middleware of Display Cluster Used in Real Time Simulation Environment ...... 277 Gang Li and Xinsheng Li The Ad-hoc Network Trustworthiness Evaluation Model Based on the Bayesian Network ...... 281 Xiaodong Wang, Shanfeng Hu, Yu Zho, and Qingwei Ye Design and Analysis of a Class of Simple Networks ...... 285 Tao Li, Huimin Du, Liguo Zhang, and Jungang Han An Improved Non-local Means Algorithm Based on Wave Decomposition ...... 290 Hongyu Zhao An Improved Adaptive Genetic Algorithm in Cloud Computing ...... 294 Baofang Hu, Xiuli Sun, Ying Li, and Hongfeng Sun Descent Search with Mean Direction Evolution Strategies Based on GPU with CUDA ...... 298 Pang Kunpeng, Li Yugang, and Liu Xiabi
viii An Automatic Computation and Data Decomposition Algorithm of Prioritized Dominant Array ...... 305 Rui Ding, Rongcai Zhao, and Lin Han
Session 3D: Security and Privacy III Mechanised Verification of Distributed State-Space Algorithms for Security Protocols ...... 311 Frédéric Gava, Arthur Hidalgo, and Jean Fortin Defining and Analyzing P2P Applications with a Data-Dependency Formalism ...... 317 Ayoub Ait Lahcen, Didier Parigot, and Salma Mouline Robust and Efficient Response to TCG TOCTOU Attacks in TPVM ...... 323 Xiaolin Chang, Bin Xing, Jiqiang Liu, Zhonglan Yuan, and Longmei Sun Mitigating Blackhole Attacks in Delay Tolerant Networks ...... 329 Aysha Al Hinai, Haibo Zhang, and Yawen Chen
Session 4A: Architectures I Accelerating High Performance Computing Applications: Using CPUs, GPUs, Hybrid CPU/GPU, and FPGAs ...... 337 Bin Liu, Dawid Zydek, Henry Selvaraj, and Laxmi Gewali Revisiting Snapshot Algorithms by Refinement-Based Techniques ...... 343 Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh A Hierarchical Work-Stealing Framework for Multi-core Clusters ...... 350 Yizhuo Wang, Weixing Ji, Qi Zuo, and Feng Shi Improving Performance of GPU Specific OpenCL Program on CPUs ...... 356 Qiang Lan, Changqing Xun, Mei Wen, Huayou Su, Lifang Liu, and Chunyuan Zhang
Session 4B: Task Scheduling I Dynamic VM Consolidation for Energy-Aware and SLA Violation Reduction in Cloud Computing ...... 363 Zhibo Cao and Shoubin Dong Integrated Heuristic for Hardware/Software Co-design on Reconfigurable Devices ...... 370 Peng Liu, Jigang Wu, and Yongji Wang Models to Solve the Duplication Problem in Treaty Systems ...... 376 Yining Zhao and Alan Wood An Approximation Scheme for Burst Scheduling in Time Slicing Mobile TVs ...... 382 Satoshi Fujita
ix Session 4C: Database Applications and Data Mining I Online Traffic Classification Based on Co-training Method ...... 391 Jinghua Yan, Xiaochun Yun, Zhigang Wu, Hao Luo, Shuzhuang Zhang, Shuyuan Jin, and Zhibin Zhang A Clustering Algorithm Based on Density-Grid for Stream Data ...... 398 Dandan Zhang, Hui Tian, Yingpeng Sang, Yidong Li, Yanbo Wu, Jun Wu, and Hong Shen Hybrid S-RAID: A Power-Aware Archival Storage Architecture ...... 404 Jingyu Liu, Yuanzhang Li, Suping Jia, Jiasheng Hong, Jingyong Yan, and Yufeng Guo Preliminary Search Engine for Open Protein Identification ...... 410 Wenli Zhang, Hao Chi, Yuanzheng Lu, Yuqing Huang, Xiaofang Zhao, and Simin He Cluster-Based Prototype Learning System for Multiple Applications with Flexible HW/SW Codesign ...... 416 Fengwei An and Hans Jürgen Mattausch
Session 4D: Cloud Computing I Non-clairvoyant Assignment of Bag-of-Tasks Applications Across Multiple Clouds ...... 423 M. Hoseiny Farahabady, Young Choon Lee, and Albert Y. Zomaya Performance Degradation-Aware Virtual Machine Live Migration in Virtualized Servers ...... 429 Wei Zhang, Mingfa Zhu, Tao Gong, Limi Xiao, Li Ruan, Yiduo Mei, Yuzhong Sun, and Xu Ji Flash Saver: Save the Flash-Based Solid State Drives through Deduplication and Delta-encoding ...... 436 Hongyan Li An Approach of Windows Synchronization Mechanism Simulation on Linux ...... 442 Rui Li, Nanjun Yang, and Shilong Ma A New Two-Layer Topology for Data Center Network ...... 446 Lei Chang, Huaxi Gu, Kun Wang, Gang Wu, and Ruoyan Liu
Session 5A: Architectures II LPFSC: A Light Weight Parallel Framework for Super Computing ...... 453 Yulong Ou, Bo Li, Zheng Yuan, Qiang Hao, Zhongzhi Luan, and Depei Qian Using Basic Block Based Instruction Prefetching to Optimize WCET Analysis for Real-Time Applications ...... 459 Fan Ni, Xiang Long, Han Wan, and Xiaopeng Gao HCCache: A Hybrid Client-Side Cache Management Scheme for I/O-intensive Workloads in Network-Based File Systems ...... 467 Xiuqiao Li, Bin Dong, Limin Xiao, Li Ruan, and Dongmei Liu
x A Hybrid Implementation of Two-Level Domain Decomposition Algorithm for Solving Elliptic Equation on CPU/GPUs ...... 474 Li Luo, Yubo Zhao, and Xiao-Chuan Cai
Session 5B: Task Scheduling II A QoS Scheduling Scheme with Availability Constraint in Distributed Systems ...... 481 Tong Zhao, Kenli Li, Zheng Xiao, and Qin Xiao First Experimental Assessments of the Adaptivity of the Scheduling with AS4DR ...... 487 Daniel Millot and Christian Parrot A User Preference Driven Approach for Multi-QoS Constrained Task Scheduling in Grid ...... 493 Ding Ding, Siwei Luo, Lihua Ai, and Yidong Li An Algorithm for Partitioning a Tree Into Sibling Subtree Clusters Weighted in a Given Range ...... 499 Hao Chen, Guangcun Luo, Ke Qin, Ningduo Peng, and Wen Hao
Session 5C: Database Applications and Data Mining II Using Fuzzy Method for Event-Driven Top-k Query in Multi-microenvironments Sensor Networks ...... 505 Yinglong Li, Hong Chen, and Shangfeng Mo Energy Aware Data Layout for De-duplication System ...... 511 Fang Yan, Yuan Tan, Qinggang Liang, Ningning Xing, Yaolei Wang, and Xiang Zhang Research on Extension LexRank in Summarization for Opinionated Texts ...... 517 Xu Liang, Youli Qu, and Guixiang Ma Parallelized Near-Duplicate Document Detection Algorithm for Large Scale Chinese Web Pages ...... 523 Yongzhuang Wei, Shuai Wang, Chunfeng Yuan, and Yihua Huang Time Series Analysis of the Dynamics of News Websites ...... 529 Maria Carla Calzarossa and Daniele Tessera
Session 5D: Cloud Computing II REST: A Redundancy-Based Energy-Efficient Cloud Storage System ...... 537 Hongyan Li An Adaptive Resource Scheduling Mechanism Based on User Behavior Feedback in Cloud Computing ...... 543 Ding Ding, Yidong Li, Lihua Ai, and Siwei Luo Energy-Aware Cache Partition Based on Way-Adaptable in CMP ...... 548 Fang Juan and Wang Shuai
xi Measuring and Visualizing Thread Communications for Pthread Applications ...... 552 Shasha Wen, Yi Liu, Tao Liu, Ping Song, Bo Li, and Depei Qian Storage Device Performance Prediction with Hybrid Regression Models ...... 556 Chengjun Dai, Guiquan Liu, Lei Zhang, and Enhong Chen
Session 6A: Networking and Communication I On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions ...... 563 Zhenguo Yang, Farong Zhong, and Jinfang Zhang An Augmented Lagrangian Optimization Method for VLSI Global Placement ...... 569 Weiguo Li, Jianli Chen, and Wenxing Zhu A New Construction of Z-complementary Codes ...... 574 Lifang Feng, Xianwei Zhou, and Xinyu Li AHP-based QoS Evaluation Model in the Internet of Things ...... 578 Dewei Peng and Youlin Ruan Research on Downlink Synchronization for TETRA Release II ...... 582 Hongpeng Liu, Dongping Yao, and Jiachun Liao BER Performance Analysis of the (16,5) Reed-Muller Code for TETRA ...... 586 Yuanyuan Gao, Dongping Yao, and Yue Wang
Session 6B: Task Scheduling III Scheduling Data on Data-Driven Master/Worker Platform ...... 593 Mohamed Labidi, Bing Tang, Gilles Fedak, Maher Khemakem, and Mohamed Jemni A MapReduce-Enabled Scientific Workflow Framework with Optimization Scheduling Algorithm ...... 599 Zhuo Tang, Min Liu, Kenli Li, and Yuming Xu An Improved Ant Colony Optimization Algorithm for Permutation Flowshop Scheduling to Minimize Makespan ...... 605 Zhiqiang Zhang and Zhang Jing A CPU-GPGPU Scheduler Based on Data Transmission Bandwidth of Workload ...... 610 Wen Huang, Licheng Yu, Mingjiao Ye, Tianzhou Chen, and Tongsen Hu TRT: Transactional Read Tracking ...... 614 Amir Ghanbari Bavarsad and Ehsan Atoofian
Session 6C: Reliability and Fault-Tolerance CBEEC: A Content-Based Error Estimation Coding Framework ...... 621 Jia Lu, Wei Yang, Baoliang Li, Junhui Wang, and Wenhua Dou
xii Efficient Approximation Algorithms for Computing k-Disjoint Minimum Cost Paths with Delay Constraint ...... 627 Longkun Guo and Hong Shen A Synchronization-Induced Checkpoint Protocol for Group-Synchronous Parallel Programs ...... 632 Zunce Wei and Dhrubajyoti Goswami Bidirectional Cache for P2P Traffic in WLAN ...... 638 Xuezhen Zhang, Yan Zhang, Dan Liao, Xu Zhou, Chaowei Tang, and Song Ci A New Fault-Tolerant Routing Scheme for N-dimesional Mesh ...... 642 Xin-Ming Duan and Ji-Gang Wu Garbage Collection for Service Oriented Distributed Reliable Environment D-ReServE ...... 646 Jerzy Brzeziński, Arkadiusz Danilecki, Mateusz Hołenko, Anna Kobusińska, and Piotr Zierhoffer
Session 6D: High-Performance Scientific Computing Modified Clipped Histogram Equalization for Contrast Enhancement ...... 653 Yuecheng Li and Hong Zhang Multithread Reconfiguration Algorithm for Mesh-Connected Processor Arrays ...... 659 Yuze Shen, Jigang Wu, and Guiyuan Jiang MetaExploArrays: A Large-Scale Oligonucleotide Probe Design Software for Explorative DNA Microarrays ...... 664 Faouzi Jaziri, David R.C. Hill, Nicolas Parisot, Jérémie Denonfoux, Eric Dugat-Bony, Eric Peyretaillade, and Pierre Peyret An Image Stabilization Algorithm for Intra Frame and Inter Frame of Video ...... 672 Shumin Wang, Aiwu Zhang, Fei Wang, and Shaoxing Hu Study on Quantum Parallel Processing by Adiabatic Quantum Computation in Bernstein-Vazirani Problem ...... 678 Shigeru Nakayama, Peng Gang, and Ichiro Iimura
Session 7A: Networking and Communication II A Hybrid TCAM + SRAM Scheme for Multi-match Packet Classification ...... 685 Ransheng Shen, Xianfeng Li, and Hui Li Analysis of a Forwarding Game without Payments ...... 691 George Karakostas and Anastasios Viglas Discovery and Routing of Degraded Fat-Trees ...... 697 Bartosz Bogdański, Bjørn Dag Johnsen, Sven-Arne Reinemo, and Frank Olaf Sem-Jacobsen An Improved Chord Based on Counting Bloom Filter and Topology-Aware Lookup ...... 703 Limin Zhao, Jun Wu, Hong Shen, Yidong Li, and Yingpeng Sang
xiii A QoE Based Performance Study of Mobile Peer-to-Peer Live Video Streaming ...... 707 Kwok-Chun Fung and Yu-Kwong Kwok SOLOS: All-Optical Label Switching Architecture for Next Generation Optical Internet ...... 713 Wen-Kang Jia, Zhao-Wei Wang, Yaw-Chung Chen, and Man-Gui Liang A Mesh-Connected Rings Topology for Network-on-Chip ...... 719 Youyao Liu and Jungang Han
Session 7B: Intelligent Computing and Neural Networks Elite Opposition-Based Differential Evolution for Solving Large-Scale Optimization Problems and Its Implementation on GPU ...... 727 Xinyu Zhou, Zhijian Wu, and Hui Wang Investigating the Effect of Fixing the Subset Length Using Ant Colony Optimization Algorithms for Feature Subset Selection Problems ...... 733 Nadia Abd-Alsabour, Marcus Randall, and Andrew Lewis Incorporating Manifold Ranking with Active Learning in Relevance Feedback for Image Retrieval ...... 739 Jun Wu, Yidong Li, Yingpeng Sang, and Hong Shen Monocular Human Action Recognition Utilizing Silhouette Feature Extraction and Skin Color Detection ...... 745 Junjie Zhang, Rentao Gu, Qing Ye, and Yuefeng Ji Pedestrian Detection Directing at the Region of Interest in Videos ...... 749 Hongmei Li, Rentao Gu, Qing Ye, and Yuefeng Ji
Session 7C: Simulation and Visualization Parallel Implementation of LBP Based Face Recognition on GPU Using OpenCL ...... 755 C.Y.N. Dwith and G.N. Rathna Statistical Performance Tuning of Parallel Monte Carlo Ocean Color Simulations ...... 761 Tamito Kajiyama, Davide D’Alimonte, and José C. Cunha Scalable Solvers for 2D Time Domain Electromagnetic Simulations ...... 767 Xiaohe Zhufu, Ruifeng Zhao, and Jin Xu Parallel FDTD Simulation of Photonic Crystals and Thin-Film Solar Cells ...... 773 Wu Wang, Xuebin Chi, Yangde Feng, and Yonghua Zhao A Test Generation Method Based on Model Reduction for Parallel Software ...... 777 Tao Sun, Xinming Ye, and Jing Liu
Author Index ...... 783
xiv