Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen.

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.