Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013. The 30 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers cover a wide range of topics capturing some of the state of the art and practice in parallel architecture, parallel software, concurrent and distributed systems, and cloud computing, with a highlight on computing systems for big data applications.

Inference and Declaration of Independence in Task-Parallel Programs.- BDDT: Block-Level Dynamic Dependence Analysis for Task-Based.- A User-Level NUMA-Aware Scheduler for Optimizing Virtual Machine Performance.- Towards RTOS: A Preemptive Kernel Basing on Barrelfish.- Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.- Pruning False Positives of Static Data-Race Detection via Thread Specialization.- G-Paradex: GPU-Based Parallel Indexing for Fast Data Deduplication.- Research on SPH Parallel Acceleration Strategies for Multi-GPU Platform.- Binarization-Based Human Detection for Compact FPGA Implementation.- HPACS: A High Privacy and Availability Cloud Storage Platform with Matrix Encryption.- ECAM: An Efficient Cache Management Strategy for Address Mappings in Flash Translation Layer.- A Performance Study of Software Prefetching for Tracing Garbage Collectors.- Adaptive Implementation Selection in the SkePU Skeleton Programming Library.- Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification.- Hierarchical Clustering Routing Protocol Based on Optimal Load Balancing in Wireless Sensor Networks.- An Efficient Parallel Mechanism for Highly-Debuggable Multicore Simulator.- Data Access Type Aware Replacement Policy for Cache Clustering Organization of Chip Multiprocessors.- Agent-Based Credibility Protection Model for Decentralized Network Computing Environment.- A Vectorized K-Means Algorithm for Intel Many Integrated Core Architecture.- Towards Eliminating Memory Virtualization Overhead.- An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable Compiler.- ACF: Networks-on-Chip Deadlock Recovery with Accurate Detection and Elastic Credit.- An Auction and League Championship Algorithm Based Resource Allocation Mechanism for Distributed Cloud.- Accelerating Software Model Checking Based on Program Backbone.- A Cloud Computing System for Snore Signals Processing.- Research on Optimum Checkpoint Interval for Hybrid Fault Tolerance.- Programming Real-Time Image Processing for Manycores in a High-Level Language.- Self-adaptive Retransmission for Network Coding with TCP.