Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

✍ Scribed by Lars Lucas, Tobias Schuele, Wolfgang Schwitzer (auth.), João M. Lourenço, Eitan Farchi (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2013
Tongue: English
Leaves: 119
Series: Lecture Notes in Computer Science 8063
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages....Pages 1-12
MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous Workload....Pages 13-24
MHS 2 : A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm....Pages 25-36
Handling Parallelism in a Concurrency Model....Pages 37-48
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories....Pages 49-60
How to Cancel a Task....Pages 61-72
Automatically Repairing Concurrency Bugs with ARC....Pages 73-84
A Modular Approach to Model-Based Testing of Concurrent Programs....Pages 85-96
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions....Pages 97-109
Back Matter....Pages -

✦ Subjects

Special Purpose and Application-Based Systems; System Performance and Evaluation; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Programming Techniques

📜 SIMILAR VOLUMES

Multicore Software Engineering, Performa

📁 Multicore Software Engineering, Performance, and Tools: International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

✍ Bertrand Meyer, Alexander Kogtenkov, Anton Akhi (auth.), Victor Pankratius, Mich 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The p

Multicore Software Engineering, Performa

📁 Multicore Software Engineering, Performance, and Tools: International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

✍ Bertrand Meyer, Alexander Kogtenkov, Anton Akhi (auth.), Victor Pankratius, Mich 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Search Based Software Engineering: 5th I

📁 Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

✍ Westley Weimer (auth.), Günther Ruhe, Yuanyuan Zhang (eds.) 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the Fifth International Symposium on Search-Based Software Engineering, SSBSE 2013, held in St. Petersburg, Russia. The 14 revised full papers, 6 revised short papers, and 6 papers of the graduate track presented together with 2 keynotes, 2 challe

Software Technology: Methods and Tools:

📁 Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

✍ Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62

Software Engineering Approaches for Offs

📁 Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings

✍ Ivar Jacobson (auth.), Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Tere 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the proceedings of the Fourth International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2010, held in St. Petersburg, Russia, June 17-18, 2010. The four long plus the four short papers presented together with two keynote speech

Knowledge Engineering and the Semantic W

📁 Knowledge Engineering and the Semantic Web: 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings

✍ Zinaida Apanovich, Alexander Marchuk (auth.), Pavel Klinov, Dmitry Mouromtsev (e 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 4th Conference on Knowledge Engineering and the Semantic Web, KESW 2013, held in St. Petersburg, Russia, in October 2013. The 18 revised full papers presented together with 7 short system descriptions were carefully reviewed and selected from