Publication details
Parallel Algorithms for Mean
-Payoff Games: An Experimental Evaluation
| Basic information | |
|---|---|
| Original title: | Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation |
| Author: | Jakub Chaloupka |
| Further information | |
|---|---|
| Citation: | CHALOUPKA, Jakub. Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation. In Algorithms - European Symposium on Algorithms (ESA) 2009. Berlin : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-04127-3, pp. 599-610. 2009, Kodaň. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | mean-payoff games; parallel algorithms; experimental evaluation |
Mean-payoff games (MPGs) have many applications, especially in the synthesis, analysis and verification of computer systems. Because of the size of these systems, there is a need to solve very large MPGs. Existing algorithms for solving MPGs are sequential, hence limited by the power of a single computer. In this paper, we propose several parallel algorithms based on the sequential ones. We also evaluate and compare the parallel algorithms experimentally.
Related projects:
- Highly Parallel and Distributed Computing Systems
- Verification and Analysis of Large-Scale Computer Systems
