Skip to main content
SpringerLink
Log in
Book cover

Multicore Software Engineering, Performance, and Tools

International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. João M. Lourenço

    1. Departamento de Informática FCT-UNL, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eitan Farchi

    1. IBM Haifa Research Laboratory, Haifa University, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceeding of MUSEPAT 2013

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8063)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MUSEPAT 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Download chapter PDF

  2. Performance Analysis and Algorithms

    1. Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages

      • Lars Lucas, Tobias Schuele, Wolfgang Schwitzer
      Pages 1-12

    2. MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous Workload

      • Ryo Kawahara, Kouichi Ono, Takeo Nakada
      Pages 13-24

    3. MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm

      • Nuno Cardoso, Rui Abreu
      Pages 25-36

  3. Programming Models and Optimization

    1. Handling Parallelism in a Concurrency Model

      • Mischael Schill, Sebastian Nanz, Bertrand Meyer
      Pages 37-48

    2. On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories

      • Tiago M. Vale, Ricardo J. Dias, João M. Lourenço
      Pages 49-60

    3. How to Cancel a Task

      • Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer
      Pages 61-72

  4. Testing and Debugging

    1. Automatically Repairing Concurrency Bugs with ARC

      • David Kelk, Kevin Jalbert, Jeremy S. Bradbury
      Pages 73-84

    2. A Modular Approach to Model-Based Testing of Concurrent Programs

      • Richard Carver, Yu Lei
      Pages 85-96

    3. A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions

      • Jing Xu, Yu Lei, Richard Carver, David Kung
      Pages 97-109

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Multicore Software Engineering, Performance, and Tools

Keywords

About this book

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.

Editors and Affiliations

  • Departamento de Informática FCT-UNL, Universidade Nova de Lisboa, Caparica, Portugal

    João M. Lourenço

  • IBM Haifa Research Laboratory, Haifa University, Haifa, Israel

    Eitan Farchi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation