Jorne Kandziora - Playing Parity Games on the Playstation 3

author:Jorne Kandziora
title:Playing Parity Games on the Playstation 3
keywords:Playstation 3, Cell Broadband Engine, Small Progress Measures, Parity Game, Model Checking
committee:?
graduation date:January 2009


Abstract

 

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.