Section: Software and Platforms

Calculating the set of corner points of a channel

Participants : Konstantinos Chatzikokolakis [correspondant] , Catuscia Palamidessi.

The corner points can be used to compute the maximum probability of error and to improve the Hellman-Raviv and Santhi-Vardy bounds. More information can be found in [30] and in the file README file width instructions at the URL http://www.lix.polytechnique.fr/comete/software/README-corners.html .

The software can be download at http://www.lix.polytechnique.fr/comete/software/corners.tar.gz . These scripts require Perl to run and have been tested in Linux. The GUI of the corners tool also requires the Perl/TK library. Finally some parts of the model generator tool require PRISM and gnuplot to be installed.