Using the Cell for some operations in the DBM librery of UPPAAL
Author
MONSONEGO, Olivier
Term
10. Term
Education
Publication year
2008
Abstract
I dette projekt udviklede vi en optimering, der gør det hurtigere at løse et stifindingsproblem (at finde en kort rute i et netværk eller en graf) med målet at accelerere arbejdet med model checker UPPAAL (et softwareværktøj, der automatisk kontrollerer modeller). Vi præsenterer resultaterne af vores eksperimenter og skitserer nogle måder at forbedre vores implementering. Under de bedste betingelser (med store matricer) udfører programmet beregningen op til 3,85 gange hurtigere end den almindelige implementering.
In this project, we developed an optimization to speed up solving a path-finding problem (finding a short route in a network or graph), with the goal of accelerating work with the model checker UPPAAL (a software tool that automatically checks models). We present the results of our experiments and outline a few ways to improve our implementation. Under the best conditions (with large matrices), our program performs the calculation up to 3.85 times faster than the regular implementation.
[This abstract was generated with the help of AI]
Documents