Parallel Computing Technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT 2013, held in St. Petersburg, Russia, during September 30-October 4, 2013. The 41 full papers presented together with 2 invited papers were carefully reviewed and selected from 83 subm...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Malyshkin Victor (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Parallel Computing Technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , [20..]
Cham : Springer Nature
Collection : Theoretical computer science and general issues (Online)
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: Parallel Computing Technologies
Autre format: Parallel Computing Technologies
LEADER 08086clm a2200769 4500
001 PPN172428807
003 http://www.sudoc.fr/172428807
005 20241001155400.0
010 |a 978-3-642-39958-9 
017 7 0 |a 10.1007/978-3-642-39958-9  |2 DOI 
035 |a (OCoLC)868198006 
035 |a Springer978-3-642-39958-9 
035 |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-39958-9 
035 |a Springer-11645-978-3-642-39958-9 
100 |a 20131018f20 k |0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE 
105 |a y z 100yy 
106 |a s 
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 Parallel Computing Technologies  |e 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings  |f edited by Victor Malyshkin. 
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 7979 
330 |a This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT 2013, held in St. Petersburg, Russia, during September 30-October 4, 2013. The 41 full papers presented together with 2 invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on all technological aspects of the applications of parallel computer systems High level parallel programming languages and systems, methods and tools for parallel solution of large-scale problems, languages, environments and software tools supporting parallel processing, operating systems, scheduling, mapping, load balancing, general architectural concepts, cellular automata, performance measurement and analysis tools, teaching parallel processing, software for grid and cloud computing, scalable computing, fragmentation and aggregation of algorithms and programs as well as programs assembling and reuse. 
359 1 |a Keynotes -- Bi-Objective Optimization for Scheduling in Parallel Computing Systems -- Robust Computing Systems -- Parallel Computing Methods and Algorithms -- Strassen's Communication-Avoiding Parallel Matrix Multiplication Algorithm for All-Port 2D Torus Networks Classical and Quantum Parallelism in the Quantum Fingerprinting Method -- Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling -- Parallelization Properties of Preconditioners for the Conjugate Gradient Methods -- Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops -- Cliff-Edge Consensus: Agreeing on the Precipice -- Hybrid Multi-GPU Solver Based on Schur Complement Method -- Formal Verification of Programs in the Pifagor Language -- Characterization and Understanding Machine-Specific Interconnects -- Multi-core Implementation of Decomposition-based Packet Classification Algorithms -- Slot Selection Algorithms in Distributed Computing with Non-dedicated and Heterogeneous Resources -- Parallel Programming Tools -- Determination of Dependence of Performance from Specifications of Separate Components of the Hybrid Personal Computing System Based on GPU-Processors -- Design of Distributed Parallel Computing Using by MapReduce/MPI Technology -- PowerVisor: A Toolset for Visualizing Energy Consumption and Heat Dissipation Processes in Modern Processor Architectures -- SVM Regression Parameters Optimization Using Parallel Global Search Algorithm -- Secure and Unfailing Services -- FuPerMod: a Framework for Optimal Data Partitioning for Parallel Scientific Applications on Dedicated Heterogeneous HPC Platforms -- DISBench: Benchmark for Memory Performance Evaluation of Multicore Multiprocessors -- Fast and Scalable, Lock-free k-FIFO Queues -- Development of Basic Approach and Software Package for Effective Parallel Computing of Continuum Mechanics Problems on Hybrid Architecture Systems -- On-line parallelizable task scheduling on parallel processors -- Organizing of Parallel Processing User-Friendly Dataflow-Oriented Environment for User Tasks Execution on Cluster -- SeloGPU: A Selective O®-loading framework for High Performance GPGPU Execution -- Efficient Domain Decomposition of Dissipative Particle Dynamics via Choice of Pseudorandom Number Generator -- SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems -- Cellular Automata -- Cellular Automata Model of Some Organisms Population in Lake Baikal -- 3-D Cellular Automata Model of Fluid Permeation through Porous Material -- Temporal-impulse description of complex images based on cellular automata -- 3D Heart Modeling With Cellular Automata, Mass-Spring System and CUDA -- Towards the Introduction of Parallelism in the MakkSim Pedestrian Simulator -- CA Agents for All-to-All Communication are Faster in the Triangulate Grid -- Parallel Implementation of Totalistic Cellular Automata Model of Stable Patterns Formation -- cupSODA: a CUDA-powered Simulator of Mass-Action Kinetics -- Reconstructing Images with Nature Inspired Algorithms -- Analysis and Application of the Pedestrian Permeation Through the Crowd via Cellular Automata -- An Isotropic Optimum-Time FSSP Algorithm for Two-Dimensional Cellular Automata -- Application -- MathCloud: Publication and Reuse of Scientific Applications as RESTful-Web Services -- Enhanced Differential Evolution Entirely Parallel Method for Biomedical Applications -- TCP TIPS: TCP Variant with Proactive Congestion Avoidance -- The Unified Algorithmic Platform for Solving Complex Problems of Computational Geometry -- Rigid Body Molecular Dynamics within the Domain Decomposition framework of DL POLY 4 -- OPTNOC: An Optimized 3D Network-on-Chip Design for Fast Memory Access. 
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 
452 | |t Parallel Computing Technologies  |y 9783642399572 
452 | |t Parallel Computing Technologies  |y 9783642399596 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
610 1 |a Computer Science 
610 2 |a Software Engineering  |a Programming and Operating Systems 
610 2 |a Algorithm Analysis and Problem Complexity 
610 2 |a Numeric Computing 
610 2 |a Simulation and Modeling 
610 2 |a Performance and Reliability 
610 2 |a Computer Systems Organization and Communication Networks 
610 1 |a Software Engineering 
610 2 |a Algorithms 
610 2 |a Numerical Analysis 
610 2 |a Computer Modelling 
610 2 |a Hardware Performance and Reliability 
610 2 |a Computer Engineering and Networks 
615 |a @Computer Science  |n 11645  |2 Springer 
676 |a 005.1  |v 23 
680 |a QA76.758 
701 1 |a Malyshkin  |b Victor  |4 651 
701 1 |a Malyshkin  |b Victor  |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-39958-9  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://doi.org/10.1007/978-3-642-39958-9  |z Accès sur la plateforme de l'éditeur (Springer) 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-M4H1F76V-F  |z Accès sur la plateforme Istex 
856 4 |5 441099901:830860797  |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-39958-9 
915 |5 441099901:830860797  |b SPRING13-01060 
930 |5 441099901:830860797  |b 441099901  |j g 
991 |5 441099901:830860797  |a Exemplaire créé en masse par ITEM le 30-09-2024 16:16 
997 |a NUM  |b SPRING13-01060  |d NUMpivo  |e EM  |s d 
998 |a 978905