| Conference |
MUSEPAT (Conference) (2013 : Saint Petersburg, Russia)
|
| Series |
Lecture notes in computer science, 0302-9743 ; 8063 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ;
8063.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Subject |
Software engineering -- Congresses.
|
|
Software.
|
| Alt Name |
Lourenço, João,
|
|
Farchi, Eitan,
|
| Description |
1 online resource (viii, 109 pages) : illustrations (black and white). |
|
polychrome rdacc |
| Contents |
Performance Analysis and Algorithms. Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages / Lars Lucas, Tobias Schuele and Wolfgang Schwitzer -- MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous Workload / Ryo Kawahara, Kouichi Ono and Takeo Nakada -- MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm / Nuno Cardoso and Rui Abreu -- Programming Models and Optimization. Handling Parallelism in a Concurrency Model / Mischael Schill, Sebastian Nanz and Bertrand Meyer -- On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories / Tiago M. Vale, Ricardo J. Dias and Joao M. Lourenco -- How to Cancel a Task / Alexey Kolesnichenko, Sebastian Nanz and Bertrand Meyer -- Testing and Debugging. Automatically Repairing Concurrency Bugs with ARC / David Kelk, Kevin Jalbert and Jeremy S. Bradbury -- A Modular Approach to Model-Based Testing of Concurrent Programs / Richard Carver and Yu Lei -- A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions / Jing Xu, Yu Lei, Richard Carver and David Kung. |
| Bibliography Note |
Includes bibliographical references and index. |
| Summary |
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. |
| Note |
Print version record. |
| ISBN |
9783642399558 (electronic bk.) |
|
364239955X (electronic bk.) |
|
3642399541 (print) |
|
9783642399541 (print) |
|
9783642399541 |
| ISBN/ISSN |
10.1007/978-3-642-39955-8 |
| OCLC # |
860707905 |
| Additional Format |
Print version: MUSEPAT (Conference) (2013 : Saint Petersburg, Russia). Multicore software engineering, performance, and tools 9783642399541 (OCoLC)855689004 |
|
Search 
Search 
Previous Item
Permanent Link
