Multicore Software Engineering, Performance, and Tools  International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /  [electronic resource] : 
edited by João M. Lourenço, Eitan Farchi. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 111 p. 37 ill.) 
 - Lecture Notes in Computer Science,  8063  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642399558 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Special purpose computers.<br/>Computer system failures.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Operating systems (Computers).