Using the Cell for some operations in the DBM librery of UPPAAL
Translated title
Author
Term
10. Term
Education
Publication year
2008
Submitted on
2012-02-14
Abstract
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.
Documents