Difference between revisions of "Publications/guenezan.19.seminar/fr"
From LRDE
(Created page with "{{CSIReportFR | authors = Paul Guénézan | titre = Exploration d'espace d'état distribué | year = 2019 | number = 1904 | resume = Dans le domaine du "model checking", les s...") |
|||
| Line 4: | Line 4: | ||
| year = 2019 |
| year = 2019 |
||
| number = 1904 |
| number = 1904 |
||
| − | | resume = Dans le domaine du "model checking", les structures de données utilisées pour représenter un programme ne peuvent être stockées en mémoire à cause l'explosion combinatoire. Pour accélérer l'exploration de structures de données aussi |
+ | | resume = Dans le domaine du "model checking", les structures de données utilisées pour représenter un programme ne peuvent être stockées en mémoire à cause l'explosion combinatoire. Pour accélérer l'exploration de structures de données aussi grandes, nous pouvons utiliser des algorithmes parallèles ou distribuès. Dans ce rapport, nous présenterons une implemention d'un algorithme d'exploration d'espace d'état distribuè proposè par Camille. Nous le comparerons avec un algorithme synchrone et un algorithme asynchrone utilisant des threads pour communiquer sur la même machine." |
| type = techreport |
| type = techreport |
||
| id = guenezan.19.seminar |
| id = guenezan.19.seminar |
||
Latest revision as of 18:22, 9 November 2020
- Auteurs
- Paul Guénézan
- Type
- techreport
- Année
- 2019
- Numéro
- 1904
Résumé
Dans le domaine du "model checking", les structures de données utilisées pour représenter un programme ne peuvent être stockées en mémoire à cause l'explosion combinatoire. Pour accélérer l'exploration de structures de données aussi grandes, nous pouvons utiliser des algorithmes parallèles ou distribuès. Dans ce rapport, nous présenterons une implemention d'un algorithme d'exploration d'espace d'état distribuè proposè par Camille. Nous le comparerons avec un algorithme synchrone et un algorithme asynchrone utilisant des threads pour communiquer sur la même machine."