Advanced Parallel Processing Technologies

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