Using the Cell for some operations in the DBM librery of UPPAAL

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Olivier MONSONEGO
In this project, we implemented a solution to optimize the resolution of a short path problem in view of accelerating the use of the model checker UPPAAL. Also, we presents the result of the experiments we made, and few solution to improve our implementation. In the best condition (big matrix), our program is able to make the calculation 3,85 times faster than the regular implementation.
SprogEngelsk
Udgivelsesdatojun. 2008
ID: 61072827