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

Student thesis: Master thesis (including HD thesis)

  • 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.
LanguageEnglish
Publication dateJun 2008
ID: 61072827