Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

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

Description complète

Détails bibliographiques
Auteurs principaux : Lourenço João M. (Directeur de publication), Farchi Eitan (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2013
Cham : Springer Nature
Collection : Programming and Software Engineering ; 8063
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 Istex
Condition d'utilisation et de reproduction : Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017
Sujets :
Documents associés : Autre format: Multicore Software Engineering, Performance, and Tools
Autre format: Multicore Software Engineering, Performance, and Tools
  • 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.