Advanced Parallel Processing Technologies  10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /  [electronic resource] : 
edited by Chenggang Wu, Albert Cohen. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XII, 410 p. 187 ill.) 
 - Lecture Notes in Computer Science,  8299  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642452932 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Operating systems (Computers).<br/>Algorithms.