Multicore software engineering, performance, and tools : international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19- 20, 2013, proceedings

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.