Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings: 8063 - Brossura

Brossura

ISBN 10: 3642399541 ISBN 13: 9783642399541

Casa editrice: Springer, 2013

Riassunto

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MUSEPAT 2013, held in Saint Petersburg, Russia, in August 2013. The 9 revised papers were carefully reviewed and selected from 25 submissions. The accepted papers are organized into three main sessions and cover topics such as software engineering for multicore systems; specification, modeling and design; programing models, languages, compiler techniques and development tools; verification, testing, analysis, debugging and performance tuning, security testing; software maintenance and evolution; multicore software issues in scientific computing, embedded and mobile systems; energy-efficient computing as well as experience reports.

Su questo libro

Contenuti

Performance Analysis and Algorithms.- Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages.- MVA-based Probabilistic Model of Shared Memory with Round Robin Arbiter for Predicting Performance With Heterogeneous.- Workload.- MHS2 : A Map-Reduce heuristic-driven minimal hitting set search algorithm.- Programming Models and Optimization.- Handling Parallelism in a Concurrency Model.- On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories.- How to Cancel a Task.- Testing and Debugging.- Automatically Repairing Concurrency Bugs with ARC.- A Modular Approach to Model-Based Testing of Concurrent Programs.- A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 3642399541
• ISBN 13: 9783642399541
• Rilegatura: Copertina flessibile
• Numero di pagine: 124
• Redattore: Lourenço João M., Farchi Eitan
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania