Difference between revisions of "Publications/remaud.19.seminar/fr"
From LRDE
(Created page with "{{CSIReportFR | authors = Arthur Remaud | titre = Compression d'états dans Spot | year = 2019 | number = 1902 | resume = Pour rerpśenter un système par un automate, il faut...") |
|||
| Line 4: | Line 4: | ||
| year = 2019 |
| year = 2019 |
||
| number = 1902 |
| number = 1902 |
||
| − | | resume = Pour |
+ | | resume = Pour représenter un système par un automate, il faut sauvegarder toutes les valeurs des variables du système pour chaque état de l'automate. Cela peut prendre beaucoup de place en mémoire lorsqu'il y a beaucoup de variables et/ou d'étatset de fait ralenti le temps d'exécution à cause des défauts de cache. Pour contourner ce problème dans Spot, on utilise une simple compression du tableau contenant les variables d'un état, et ce pour chaque état, ce qui réduit la mémoire utilisée et aussi le temps d'exécution. Dans ce rapport, nous présentons une structure de données qui améliore la compression des variables en utilisant la redondance des valeurs présentent dans différents états, et les différents problèmes rencontrés lors de son ajout dans Spot. |
| type = techreport |
| type = techreport |
||
| id = remaud.19.seminar |
| id = remaud.19.seminar |
||
Revision as of 18:19, 14 January 2019
- Auteurs
- Arthur Remaud
- Type
- techreport
- Année
- 2019
- Numéro
- 1902
Résumé
Pour représenter un système par un automate, il faut sauvegarder toutes les valeurs des variables du système pour chaque état de l'automate. Cela peut prendre beaucoup de place en mémoire lorsqu'il y a beaucoup de variables et/ou d'étatset de fait ralenti le temps d'exécution à cause des défauts de cache. Pour contourner ce problème dans Spot, on utilise une simple compression du tableau contenant les variables d'un état, et ce pour chaque état, ce qui réduit la mémoire utilisée et aussi le temps d'exécution. Dans ce rapport, nous présentons une structure de données qui améliore la compression des variables en utilisant la redondance des valeurs présentent dans différents états, et les différents problèmes rencontrés lors de son ajout dans Spot.