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

Format:

Book

Contributor:

Wu, Chenggang., Editor.

Cohen, Albert., Editor.

SpringerLink (Online service)

Series:

Computer Science (SpringerNature-11645)

LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 8299

Theoretical Computer Science and General Issues, 2512-2029 ; 8299

Language:

English

Subjects (All):

Software engineering.

Algorithms.

Computer networks.

Operating systems (Computers).

Compilers (Computer programs).

Software Engineering.

Computer Communication Networks.

Operating Systems.

Compilers and Interpreters.

Local Subjects:

Software Engineering.

Algorithms.

Computer Communication Networks.

Operating Systems.

Compilers and Interpreters.

Physical Description:

1 online resource (XII, 410 pages) : 187 illustrations

Edition:

1st ed. 2013.

Contained In:

Springer Nature eBook

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-642-45293-2

9783642452932

Access Restriction:

Restricted for use by site license.