TY  - BOOK
AU  - Lourenço,João M.
AU  - Farchi,Eitan
ED  - SpringerLink (Online service)
TI  - Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642399558
AV  - TK7874.6 
U1  - 004.6 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Special purpose computers
KW  - Computer system failures
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Operating systems (Computers)
KW  - Computer Science
KW  - Special Purpose and Application-Based Systems
KW  - System Performance and Evaluation
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Operating Systems
KW  - Programming Techniques
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-39955-8
ER  -