Abstract is missing.
- Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel StagesLars Lucas, Tobias Schuele, Wolfgang Schwitzer. 1-12 [doi]
- MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous WorkloadRyo Kawahara, Kouichi Ono, Takeo Nakada. 13-24 [doi]
- MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search AlgorithmNuno Cardoso, Rui Abreu. 25-36 [doi]
- Handling Parallelism in a Concurrency ModelMischael Schill, Sebastian Nanz, Bertrand Meyer. 37-48 [doi]
- On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional MemoriesTiago M. Vale, Ricardo J. Dias, João Lourenço. 49-60 [doi]
- How to Cancel a TaskAlexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer. 61-72 [doi]
- Automatically Repairing Concurrency Bugs with ARCDavid Kelk, Kevin Jalbert, Jeremy S. Bradbury. 73-84 [doi]
- A Modular Approach to Model-Based Testing of Concurrent ProgramsRichard H. Carver, Yu Lei. 85-96 [doi]
- A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program ExecutionsJing Xu, Yu Lei, Richard H. Carver, David Chenho Kung. 97-109 [doi]