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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Wu, Chenggang (Editor ), Cohen, Albert (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Theoretical Computer Science and General Issues, 8299
Temas:
Software engineering.
Algorithms.
Computer networks .
Operating systems (Computers).
Compilers (Computer programs).
Software Engineering.
Computer Communication Networks.
Operating Systems.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares