Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642399541, 9783642399558

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Modular Approach to Model-Based Testing of Concurrent Programs

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_8 ◽

2013 ◽

pp. 85-96 ◽

Cited By ~ 3

Author(s):

Richard Carver ◽

Yu Lei

Keyword(s):

Concurrent Programs ◽

Modular Approach ◽

Model Based ◽

Model Based Testing

Download Full-text

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

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_5 ◽

2013 ◽

pp. 49-60 ◽

Cited By ~ 1

Author(s):

Tiago M. Vale ◽

Ricardo J. Dias ◽

João M. Lourenço

Keyword(s):

Total Order ◽

Transactional Memories

Download Full-text

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

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_3 ◽

2013 ◽

pp. 25-36 ◽

Cited By ~ 3

Author(s):

Nuno Cardoso ◽

Rui Abreu

Keyword(s):

Search Algorithm ◽

Map Reduce ◽

Hitting Set

Download Full-text

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

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_9 ◽

2013 ◽

pp. 97-109 ◽

Cited By ~ 1

Author(s):

Jing Xu ◽

Yu Lei ◽

Richard Carver ◽

David Kung

Keyword(s):

Dynamic Approach ◽

Concurrent Program

Download Full-text

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

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_1 ◽

2013 ◽

pp. 1-12

Author(s):

Lars Lucas ◽

Tobias Schuele ◽

Wolfgang Schwitzer

Download Full-text

Automatically Repairing Concurrency Bugs with ARC

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_7 ◽

2013 ◽

pp. 73-84 ◽

Cited By ~ 3

Author(s):

David Kelk ◽

Kevin Jalbert ◽

Jeremy S. Bradbury

Keyword(s):

Concurrency Bugs

Download Full-text

How to Cancel a Task

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_6 ◽

2013 ◽

pp. 61-72 ◽

Cited By ~ 3

Author(s):

Alexey Kolesnichenko ◽

Sebastian Nanz ◽

Bertrand Meyer

Download Full-text

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

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_2 ◽

2013 ◽

pp. 13-24

Author(s):

Ryo Kawahara ◽

Kouichi Ono ◽

Takeo Nakada

Keyword(s):

Shared Memory ◽

Probabilistic Model ◽

Round Robin ◽

Predicting Performance

Download Full-text

Handling Parallelism in a Concurrency Model

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_4 ◽

2013 ◽

pp. 37-48 ◽

Cited By ~ 1

Author(s):

Mischael Schill ◽

Sebastian Nanz ◽

Bertrand Meyer

Keyword(s):

Concurrency Model

Download Full-text

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Modular Approach to Model-Based Testing of Concurrent Programs

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

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

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

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

Automatically Repairing Concurrency Bugs with ARC

How to Cancel a Task

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

Handling Parallelism in a Concurrency Model

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science
Latest Publications