𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

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

✍ Scribed by Bertrand Meyer, Alexander Kogtenkov, Anton Akhi (auth.), Victor Pankratius, Michael Philippsen (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
Tongue
English
Leaves
101
Series
Lecture Notes in Computer Science 7303
Edition
1
Category
Library

⬇  Acquire This Volume

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, 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 papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.

✦ Table of Contents


Front Matter....Pages -
Processors and Their Collection....Pages 1-15
Tackling the Testing and Verification of Multicore and Concurrent Software as a Search Problem....Pages 16-17
Oversubscription of Computational Resources on Multicore Desktop Systems....Pages 18-29
Capturing Transactional Memory Application’s Behavior – The Prerequisite for Performance Analysis....Pages 30-41
A Comparison of the Influence of Different Multi-core Processors on the Runtime Overhead for Application-Level Monitoring....Pages 42-53
Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms....Pages 54-65
Non-intrusive Coscheduling for General Purpose Operating Systems....Pages 66-77
Automatic Parallelization Using AutoFutures....Pages 78-81
Invasive Computing: An Application Assisted Resource Management Approach....Pages 82-85
Parallel Graph Transformations on Multicore Systems....Pages 86-89
Reduction of Electronic Control Units in Electric Vehicles Using Multicore Technology....Pages 90-93
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
✍ 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

Software Composition: 11th International
✍ Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis (auth.), Thomas Gsch πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissi

Software Composition: 11th International
✍ Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis (auth.), Thomas Gsch πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissi

Tests and Proofs: 6th International Conf
✍ Andreas Kuehlmann (auth.), Achim D. Brucker, Jacques Julliand (eds.) πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers an

Objects, Models, Components, Patterns: 5
✍ GΓ‘bor Bergmann, Ábel HegedΓΌs, Ákos HorvΓ‘th (auth.), Carlo A. Furia, Sebastian Na πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. Th

Objects, Models, Components, Patterns: 5
✍ GΓ‘bor Bergmann, Ábel HegedΓΌs, Ákos HorvΓ‘th (auth.), Carlo A. Furia, Sebastian Na πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. Th