|title:||Playing Parity Games on the Playstation 3|
|keywords:||Playstation 3, Cell Broadband Engine, Small Progress Measures, Parity Game, Model Checking|
The Small Progress Measures parity game algorithm, developed by Marcin Jurdzin ́ski, is perfectly suitable for parallel execution. The current parallel algorithm is programmed for the x86 computer architecture. In this paper, a clustering approach is introduced, as well as a variation on the Small Progress Measures algorithm, to enable execution on the IBM Cell Broadband Architecture.