Nantilus
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...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Advanced parallel processing technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, revised selected papers / edited by Chenggang Wu, Albert Cohen |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 8299 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Sujets : | |
| Documents associés : | Autre format:
Advanced Parallel Processing Technologies Autre format: Advanced Parallel Processing Technologies |
| LEADER | 05841clm a2200673 4500 | ||
|---|---|---|---|
| 001 | PPN176118047 | ||
| 003 | http://www.sudoc.fr/176118047 | ||
| 005 | 20241001155500.0 | ||
| 010 | |a 978-3-642-45293-2 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-45293-2 |2 DOI |
| 035 | |a (OCoLC)870330732 | ||
| 035 | |a Springer978-3-642-45293-2 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-45293-2 | ||
| 035 | |a Springer-11645-978-3-642-45293-2 | ||
| 100 | |a 20140205f20 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Advanced parallel processing technologies |e 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, revised selected papers |f edited by Chenggang Wu, Albert Cohen | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 8299 | |
| 330 | |a 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. | ||
| 359 | 1 | |a 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. | |
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 8299 | |
| 452 | | | |t Advanced Parallel Processing Technologies |b Texte imprimé |y 9783642452925 | |
| 452 | | | |t Advanced Parallel Processing Technologies |b Texte imprimé |y 9783642452949 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Computer Communication Networks | |
| 610 | 2 | |a Operating Systems | |
| 610 | 2 | |a Algorithms | |
| 610 | 2 | |a Compilers and Interpreters | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.758 | ||
| 700 | 1 | |a Wu |b Chenggang |4 651 | |
| 701 | 1 | |a Cohen |b Albert Henri |f 1973-.... |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230412 |g AACR2 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-45293-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-45293-2 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-79L4NDZP-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830863125 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-45293-2 | |
| 915 | |5 441099901:830863125 |b SPRING13-01272 | ||
| 930 | |5 441099901:830863125 |b 441099901 |j g | ||
| 991 | |5 441099901:830863125 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:18 | ||
| 997 | |a NUM |b SPRING13-01272 |d NUMpivo |e EM |s d | ||
| 998 | |a 979173 | ||