Multicore Software Engineering, Performance, and Tools  International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings /  [electronic resource] : 
edited by João M. Lourenço, Eitan Farchi. 
 - 1st ed. 2013. 
 - X, 111 p. 37 illus.  online resource. 
 - Programming and Software Engineering,  8063  2945-9168 ; .
 - Programming and Software Engineering,  8063 .
<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/> 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. 
<br/><br/><label>ISBN: </label>9783642399558 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-39955-8  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers, Special purpose.<br/>Electronic digital computers--Evaluation.<br/>Software engineering.<br/>Compilers (Computer programs).<br/>Operating systems (Computers).<br/>Computer programming.<br/>Special Purpose and Application-Based Systems.<br/>System Performance and Evaluation.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Operating Systems.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA76.5-.73 
<br/><br/><label>Dewey Class. No.: </label>004