


default search action
MUSEPAT 2013: St. Petersburg, Russia
- João Lourenço

, Eitan Farchi:
Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Lecture Notes in Computer Science 8063, Springer 2013, ISBN 978-3-642-39954-1
Performance Analysis and Algorithms
- Lars Lucas, Tobias Schuele, Wolfgang Schwitzer:

Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages. 1-12 - Ryo Kawahara, Kouichi Ono, Takeo Nakada:

MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous Workload. 13-24 - Nuno Cardoso, Rui Abreu

:
MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm. 25-36
Programming Models and Optimization
- Mischael Schill, Sebastian Nanz, Bertrand Meyer:

Handling Parallelism in a Concurrency Model. 37-48 - Tiago M. Vale

, Ricardo J. Dias
, João Lourenço
:
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. 49-60 - Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer:

How to Cancel a Task. 61-72
Testing and Debugging
- David Kelk, Kevin Jalbert, Jeremy S. Bradbury

:
Automatically Repairing Concurrency Bugs with ARC. 73-84 - Richard H. Carver, Yu Lei:

A Modular Approach to Model-Based Testing of Concurrent Programs. 85-96 - Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung:

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. 97-109

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














