Using the Cell for some operations in the DBM librery of UPPAAL
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
- Olivier MONSONEGO
10. semester, Master Software Systems Engineering SSE
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.
Sprog | Engelsk |
---|---|
Udgivelsesdato | jun. 2008 |