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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Lourenço, João M. (Editor), Farchi, Eitan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 8063
• Subjects: Computer science.; Special purpose computers.; Computer system failures.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Programming Techniques.

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

Table of Contents:

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